Fourteenth International Symposium on
Practical Aspects of Declarative Languages
PADL'12
Philadelphia, Pennsylvania, USA
January 23-24, 2012
Co-located with ACM's
Principles of Programming Languages
, January 25-27, 2012
Monday, January 23, 2012
Breakfast (8:00-9:00)
Invited Talk (9:00-10:00)
Chair:
Neng-Fa Zhou
Boon Thau Loo
Recent Advances in Declarative Networking
Break (10:00-10:30)
Session 1: Applications (10:30-12:00)
Chair:
Jonathan P.E. Hodgson
Mayer Goldberg and Guy Wiener
A Declarative Approach for Software Modeling
Sergio Antoy and Michael Hanus
Contracts and Specifications for Functional Logic Programming
Pedro M. Martins, Julie A. McCann and Susan Eisenbach
The Environment as an Argument
Lunch (not provided) (12:00-13:30)
Session 2: Logic Programming (13:30-15:30)
Chair:
Gopal Gupta
Yuliya Lierler, Shaden Smith, Mirek Truszczynski and Alex Westlund
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving
Marcello Balduccini and Yuliya Lierler
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools
Christian Theil Have and Henning Christiansen
Efficient tabling of structured data using indexing and program transformation
Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation
Break (15:30-16:00)
Session 3: Parallelism and Concurrency (16:00-17:00)
Chair:
Paul Tarau
Elvira Albert, Puri Arenas and Miguel Gomez-Zamalloa
Symbolic Execution of Concurrent Objects in CLP
Pablo Chico De Guzmán, Amadeo Casas, Manuel Carro and Manuel Hermenegildo
A Segment-Swapping Approach for Executing Trapped Computations
Informal PADL Dinner (Place:
TBA
)
Tuesday, January 24, 2012
Breakfast (8:00-9:00)
Invited Talk (9:00-10:00)
Chair:
Claudio Russo
Don Stewart
Make Things Now! Pragmatic Functional Programming in Haskell
Break (10:00-10:30)
Session 4: Domain Specific Languages I (10:30-12:00)
Chair:
John Hughes
Kenny Zhu, Kathleen Fisher and David Walker
LearnPADS++: Incremental Inference of Ad Hoc Data Formats
Jeroen Bransen, Arie Middelkoop, Atze Dijkstra and S. Doaitse Swierstra
The Kennedy-Warren algorithm revisited: ordering Attribute Grammars
Nicholas Coleman
Distributed Policy Specification and Interpretation with Classified Advertisements
Lunch (not provided) (12:00-13:30)
Session 5: Domain Specific Languages II (13:30-15:30)
Chair:
Kwangkeun (Kwang) Yi
Andy Gill and Bowe Neuenschwander
Handshaking in Kansas Lava using Patch Logic
Daniel Winograd-Cort, Hai Liu and Paul Hudak
Virtualizing Real-World Objects in FRP
Edwin Brady and Kevin Hammond
Resource-safe Systems Programming with Embedded Domain Specific Languages
David Broman and Henrik Nilsson
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages
Break (15:30-16:00)
Session 6: Numerics (16:00-17:30)
Chair:
Tom Schrijvers
Paul Tarau
A Declarative Specification of Tree-based Symbolic Arithmetic Computations
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt and Matthias Felleisen
Typing the Numeric Tower
Michael Lesniak
Palovca: Describing and Executing Graph Algorithms in Haskell
(this is a talk on parallelism, re-scheduled for this slot due to illness)
Michael LesniakMichael Lesniak