| 2009 | Ad Hoc Data and the Token Ambiguity Problem. Qian Xi, Kathleen Fisher, David Walker, Kenny Qili Zhu |
| 2009 | Declarative Network Verification. Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
| 2009 | Declarative Programming of User Interfaces. Michael Hanus, Christof Kluß |
| 2009 | High Level Thread-Based Competitive Or-Parallelism in Logtalk. Paulo Moura, Ricardo Rocha, Sara C. Madeira |
| 2009 | High-Level Interaction with Relational Databases in Logic Programming. António Porto |
| 2009 | Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman |
| 2009 | Implementing Thread Cancellation in Multithreaded Prolog Systems. Atef Suleiman, John Miller |
| 2009 | Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son |
| 2009 | Interoperating Logic Engines. Paul Tarau, Arun K. Majumdar |
| 2009 | Layered Models Top-Down Querying of Normal Logic Programs. Luís Moniz Pereira, Alexandre Miguel Pinto |
| 2009 | On Preferring and Inspecting Abductive Models. Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes |
| 2009 | One Table Fits All. Jorge Costa, Ricardo Rocha |
| 2009 | Operational Semantics for Declarative Networking. Juan Antonio Navarro Pérez, Andrey Rybalchenko |
| 2009 | Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Andy Gill, Terrance Swift |
| 2009 | Recycle Your Arrays! Roman Leshchinskiy |
| 2009 | Secure Implementation of Meta-predicates. Paulo Moura |
| 2009 | Toward a Practical Module System for ACL2. Carl Eastlund, Matthias Felleisen |
| 2009 | Towards a Complete Scheme for Tabled Execution Based on Program Transformation. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | Typed Datalog. David Zook, Emir Pasalic, Beata Sarna-Starosta |
| 2009 | Using Bloom Filters for Large Scale Gene Sequence Analysis in Haskell. Ketil Malde, Bryan O'Sullivan |