| 2011 | A Declarative API for Particle Systems. Pavel Krajcevski, John H. Reppy |
| 2011 | Analysing a Publish/Subscribe System for Mobile Ad Hoc Networks with ProbLog. Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay, Yolande Berbers |
| 2011 | Combinators for Message-Passing in Haskell. Neil C. C. Brown |
| 2011 | Declarative Belief Set Merging Using Merging Plans. Christoph Redl, Thomas Eiter, Thomas Krennwallner |
| 2011 | Detection of Asynchronous Message Passing Errors Using Static Analysis. Maria Christakis, Konstantinos Sagonas |
| 2011 | Determining Actual Response Time in P-FRP. Chaitanya Belwal, Albert M. K. Cheng |
| 2011 | Explicitly Recursive Grammar Combinators - A Better Model for Shallow Parser DSLs. Dominique Devriese, Frank Piessens |
| 2011 | Integrating XPath with the Functional-Logic Language Toy. Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
| 2011 | Intel Core Roope Kaivola |
| 2011 | Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. Tomas Petricek, Don Syme |
| 2011 | Kanor - A Declarative Language for Explicit Communication. Eric Holk, William E. Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan, Andrew Lumsdaine |
| 2011 | Learning Language from Its Perceptual Context. Raymond J. Mooney |
| 2011 | Nettle: Taking the Sting Out of Programming Network Routers. Andreas Voellmy, Paul Hudak |
| 2011 | On the Portability of Prolog Applications. Jan Wielemaker, Vítor Santos Costa |
| 2011 | Plato: A Compiler for Interactive Web Forms. Timothy L. Hinrichs |
| 2011 | Practical Aspects of Declarative Languages - 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings Ricardo Rocha, John Launchbury |
| 2011 | Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. Edison Mera, Teresa Trigo, Pedro López-García, Manuel V. Hermenegildo |
| 2011 | Results on Out-of-Order Event Processing. Paul Fodor, Darko Anicic, Sebastian Rudolph |
| 2011 | Sloth - A Tool for Checking Minimal-Strictness. Jan Christiansen |
| 2011 | The F# Asynchronous Programming Model. Don Syme, Tomas Petricek, Dmitry Lomov |
| 2011 | Using Constraints for Intrusion Detection: The NeMODe System. Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu |