[Prev][Next][Index][Thread]

PADL'02

You are cordially invited to the Fourth International Symposium on
Practical Aspects of Declarative Languages that will be held on Jan 19-20,
2002 right after ACM POPL. The program includes invited talks by three
distinguished speakers: J. Strother Moore of the University of Texas at
Austin, Catherine Meadows of the Naval Research Labs, and Veronica Dahl of
Simon Fraser University. Very low registration rates ($150 regular and
$100 student) and low conference hotel rates have been secured to make the
event affordable. The program ends by late afternoon on Sunday to let
attendees return home on Sunday itself. If you are attending ACM POPL, we
especially encourage you to plan to attend PADL.

More details can be found at:
	http://www.cs.sunysb.edu/~padl2002

---------------------------------------------------------------------

		Fourth International Symposium on 
	    Practical Aspects of Declarative Languages
   			 (PADL '02) 
   	      Portland, Oregon, USA  Jan 19-20, 2002 
                   Co-located with POPL 2002 

---------------------------------------------------------------------

Conference Program
================== 

Jan 19th

8:45-9:00 Opening Remarks 

9:00-10:00 Invited Talk #1 
Using a Declarative Language to Build an Experimental Analysis Tool 
Catherine Meadows (Naval Research Laboratory), 

10:00-10:30 Coffee Break 

10:30-12:30 Session-I: 

Modeling Engineering Structures using Constrained Objects 
Bharat Jayaraman and Pallavi Tambay 

Compiler Construction in Higher Order Logic Programming 
Chuck Liang 

Declarative Programming with Application to Clinical Medicine: 
	On the Use of Gisela in the MedView Project. 
Olof Torgersson 

Semantics-based Filtering: Logic Programming's Killer App? 
Gopal Gupta, Hai-Feng Guo, Arthur Karshmer, 
	Enrico Pontelli, Desh Ranjan, B. Milligan, 
	N. Datta, O. El Khatib, M. Noamany, and X. Zhou 

12:30-1:30 Lunch 

1:30-2:30 Invited Talk #2 
How to Talk to Your Computer So That it Will Listen 
Veronica Dahl (Simon Fraser University), 

2:45-4:15 Session-II: 

Linear Scan Register Allocation in a High-Performance Erlang Compiler 
Erik Johansson and Konstantinos Sagonas 

Typed Combinators for Generic Traversal 
Ralf Laemmel and Joost Visser 

Event-Driven FRP. 
Zhanyong Wan, Walid Taha, and Paul Hudak 

4:15-4:30 Coffee Break 

4:30-6:00 Session-III: 

Compiling Embedded Programs to Byte Code. 
Morten Rhiger, 

Exploiting Efficient Control and Data Structures in Logic Programs. 
Rong Yang and Steve Gregory, 

Memory Management and Scheduling in a Tabling Engine 
Luis F. Castro and Terrance Swift and David S. Warren 

--------------------------------------------------------------------------------
Jan 20th

9:00-10:00 Invited Talk #3: 
Single-Threaded Objects in ACL2. 
J. Strother Moore (University of Texas, Austin)

10:00-10:30 Coffee Break 

10:30-12:30 Session-IV: 

Adding Apples and Oranges 
Martin Erwig and Margaret Burnett 

WASH/CGI: Server-side Web Scripting with Sessions and Typed, 
		Compositional Forms. 
Peter Thiemann

A better XML parser through functional programming. 
Oleg Kiselyov 

Functional Approach to Texture Generation. 
Jerzy Karczmarczuk 

12:30-1:30 Lunch 

1:30-3:30 Session-V: 

Abstract Interpretation over Non-Deterministic Finite 
	Tree Automata for Set-Based Analysis of Logic Programs. 
John Gallagher, German Puebla, 

A High-Level Generic Interface to External Programming Languages for ECLiPSe. 
Kish Shen, Joachim Schimpf, Stefano Novello, Josh Singer, 

Segment Order Preserving and Generational Garbage Collection for Prolog. 
Ruben Vandeginste, Konstantinos Sagonas, and Bart Demoen, 

A Debugging Scheme for Declarative Equation Based Modeling Languages. 
Peter Bunus, Peter Fritzson