| 2011 | Nitpicking C++ concurrency. | Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar |
| 2011 | Typing control operators in the CPS hierarchy. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet |
| 2011 | Linearity and recursion in a typed Lambda-calculus. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2010 | Precise complexity analysis for efficient datalog queries. | K. Tuncay Tekle, Yanhong A. Liu |
| 2010 | Graph queries through datalog optimizations. | K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
| 2010 | Declarative modeling of finite mathematics. | Paul Tarau |
| 2010 | A meta-programming approach to realizing dependently typed logic programming. | Zachary Snow, David Baelde, Gopalan Nadathur |
| 2010 | HSS: a compiler for cascading style sheets. | Manuel Serrano |
| 2010 | Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules. | Thierry Martinez |
| 2010 | Deriving predicate statistics in datalog. | Senlin Liang, Michael Kifer |
| 2010 | Equational axiomatization of call-by-name delimited control. | Yukiyoshi Kameyama, Asami Tanaka |
| 2010 | Generic record combinators with static type checking. | Wolfgang Jeltsch |
| 2010 | Rewrite-based verification of XML updates. | Florent Jacquemard, Michal Rusinowitch |
| 2010 | Dimensions in program synthesis. | Sumit Gulwani |
| 2010 | Relating nominal and higher-order abstract syntax specifications. | Andrew Gacek |
| 2010 | Tabling for transaction logic. | Paul Fodor, Michael Kifer |
| 2010 | Permissive-nominal logic. | Gilles Dowek, Murdoch James Gabbay |
| 2010 | Declarative workflows to efficiently manage flexible and advanced business processes. | Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof |
| 2010 | Typed and unambiguous pattern matching on strings using regular expressions. | Claus Brabrand, Jakob G. Thomsen |
| 2010 | On theorem proving for program checking: historical perspective and recent developments. | Maria Paola Bonacina |
| 2010 | Towards a jitting VM for prolog execution. | Carl Friedrich Bolz, Michael Leuschel, David Schneider |
| 2010 | A declarative approach to robust weighted Max-SAT. | Miquel Bofill, Ddac Busquets, Mateu Villaret |
| 2010 | Two notions of sub-behaviour for session-based client/server systems. | Franco Barbanera, Ugo de'Liguoro |
| 2010 | Optimality for dynamic patterns. | Thibaut Balabonski |
| 2010 | Type inference in intuitionistic linear logic. | Patrick Baillot, Martin Hofmann |