[ o Apologies for multiple messages. o Please register and make hotel reservations as soon as possible since both deadlines are approaching fast (Dec. 27th) ]. 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