Austin, Texas, USA |
January 24-25, 2011 |
Breakfast (8:00-9:00)
Invited Talk (9:30-10:30)
Chair: John Launchbury
- Roope Kaivola
Intel Core i7 Intel Core i7 Processor Execution Engine Validation in a Functional Language Based Formal Framework
Break (10:30-11:00)
Session 1: Message-Passing and Mobile Networks (11:00-12:15)
Chair: Manuel Hermenegildo
- Maria Christakis and Konstantinos Sagonas
Detection of Asynchronous Message-Passing Errors Using Static Analysis
- Neil C. C. Brown
Combinators for Message-Passing in Haskell
- Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay and Yolande Berbers
Analysing a Publish/Subscribe System for Mobile Ad hoc Networks with ProbLog
Lunch (on your own) (12:15-14:00)
Session 2: Profiling and Implementation (14:00-15:30)
Chair: Konstantinos Sagonas
- Edison Mera, Teresa Trigo, Pedro Lopez-Garcia and Manuel Hermenegildo
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs
- Timothy L. Hinrichs
Plato: A Compiler for Interactive Web Forms
- Jan Wielemaker and Vítor Santos Costa
On the Portability of Prolog Applications
Break (15:30-16:00)
Session 3: Grammars, Merging and Constraint Programming (16:00-17:30)
Chair: Vítor Santos Costa
- Dominique Devriese and Frank Piessens
Explicitly Recursive Grammar Combinators - A better model for shallow parser DSLs
- Christoph Redl, Thomas Eiter and Thomas Krennwallner
Declarative Belief Set Merging using Merging Plans
- Pedro Salgueiro, Daniel Diaz, Isabel Brito and Salvador Abreu
Using Constraints for Intrusion Detection: the NeMODe System
Informal PADL Dinner (Place: TBA)
Breakfast (8:00-9:00)
Invited Talk (9:30-10:30)
Chair: Ricardo Rocha
- Raymond J. Mooney
Learning Language from its Perceptual Context
Break (10:30-11:00)
Session 4: Language Extensions and Tools (11:00-12:30)
Chair: Salvador Abreu
- Pavel Krajcevski and John Reppy
A Declarative API for Particle Systems
- Rafael Caballero, Yolanda Garcia-Ruiz and Fernando Saenz-Perez
Integrating XPath with the Functional-Logic Language Toy
- Jan Christiansen
Sloth – A Tool for Checking Minimal-Strictness
Lunch (on your own) (12:30-14:00)
Session 5: Concurrent and Parallel Programming (14:00-15:30)
Chair: John Reppy
- Don Syme, Tomas Petricek and Dmitry Lomov
The F# Asynchronous Programming Model
- Eric Holk, William Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan and Andrew Lumsdaine
Kanor: A Declarative Language for Explicit Communication
- Tomas Petricek and Don Syme
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Break (15:30-16:00)
Session 6: Event Processing and Reactive Programming (16:00-17:30)
Chair: Neng-Fa Zhou
- Paul Fodor, Darko Anicic and Sebastian Rudolph
Results on Out-of-Order Event Processing
- Andreas Voellmy and Paul Hudak
Nettle: Taking the Sting Out of Programming Network Routers
- Chaitanya Belwal and Albert Cheng
Determining Actual Response Time in P-FRP