|
Savannah, Georgia, USA
|
|
January 19-20, 2009
|
MONDAY, January 19, 2009
Breakfast (8:00-9:00)
Invited talk (9:00-10:00):
- On Preferring and Inspecting Abductive Models.
Luís Moniz Pereira (presenting) (Universidade Nova de Lisboa), Pierangelo Dell'Acqua (Linköping University) Gonçalo Lopes (Universidade Nova de Lisboa).
Break (10:00-10:30)
Session 1 (10:30-12:00):
- Declarative Programming of User Interfaces.
Michael Hanus, Christof Kluß (Institut für Informatik, CAU Kiel).
- Huge Data but Small Programs: Visualization Design via Multiple Embedded DSLs.
D.J. Duke, R. Borgo (University of Leeds), M. Wallace, C. Runciman (University of York).
- Toward a Practical Module System for ACL2.
Carl Eastlund, Matthias Felleisen (Northeastern University).
Lunch (12:00-1:30) (on your own)
Session 2 (1:30-3:00):
- Declarative Network Verification.
Anduo Wang (University of Pennsylvania), Prithwish Basu (Network Research Group, BBN Technologies), Boon Thau Loo, Oleg Sokalsky (University of Pennsylvania).
- Operational Semantics for Declarative Networking.
Juan A. Navarro, Andrey Rybalchenko (Max Planck Institute for Software Systems).
- Ad Hoc Data and the Token Ambiguity Problem.
Qian Xi (Princeton University), Kathleen Fisher (AT&T Research), David Walker, Kenny Q. Zhu (Princeton University).
Break (3:00-3:30)
Session 3 (3:30-5:00):
- High Level Thread-Based Competitive Or-Parallelism in Logtalk.
Paulo Moura (University of Beira Interior), Richard Rocha (University of Porto), Sara C. Madeira (University of Beira Interior).
- Implementing Thread Cancellation in Multithreaded Prolog Systems.
Atef Suleiman, John Miller (Washington State University).
- Interoperating Logic Engines.
Paul Tarau (University of North Texas) and Arun Majumdar (Vivamind Intelligence, Inc.).
PADL Dinner (6:30) (paid by PADL): Location TBA
TUESDAY, January 20, 2009
Breakfast (8:00-9:00)
Invited talk (9:00-10:00):
- Applying Declarative Languages to Commercial Hardware Design.
Jeff Lewis, (Signali Inc.).
Break (10:00-10:30)
Session 1 (10:30-12:00):
- High-level interaction with relational databases in logic programming.
Antònio Porto (University of Porto).
- Typed Datalog.
David Zook, Emir Pasalic, Beata Sarna-Starosta (LogicBlox, Inc.).
- Using Bloom filters for large scale gene sequence analysis in Haskell.
Ketil Malde (Institute of Marine Research) and Bryan O'Sullivan (Serpentine Green Design).
Lunch (12:00-1:30) (on your own)
Session 2 (1:30-3:00):
- One Table Fits All.
Jorge Costa, Ricardo Rocha (University of Porto).
- Recycle Your Arrays!
Roman Leshchinskiy (University of New South Wales).
- Towards a Complete Scheme for Tabled Execution Based on Program Transformation.
Pablo Chico de Guzman, Manuel Carro, Manuel V. Hermenegildo (Univ. Politècnica de Madrid).
Break (3:00-3:30)
Session 3 (3:30-5:00):
- Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications.
Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son (New Mexico State Univeristy).
- Layered Models Top-Down Querying of Normal Logic Programs.
Luís Moniz Pereira, Alexandre Miguel Pinto (Universidade Nova de Lisboa).
- Secure Implementation of Meta-predicates.
Paulo Moura (University of Beira Interior).