| 2006 | Type inference for spreadsheets. | Robin Abraham, Martin Erwig |
| 2005 | Isolation-only transactions by typing and versioning. | Pawel T. Wojciechowski |
| 2005 | Automatic type inference via partial evaluation. | Aaron Tomb, Cormac Flanagan |
| 2005 | Trace effects and object orientation. | Christian Skalka |
| 2005 | Abstract interpretation for constraint handling rules. | Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
| 2005 | Incremental and demand-driven points-to analysis using logic programming. | Diptikalyan Saha, C. R. Ramakrishnan |
| 2005 | Heuristics, optimizations, and parallelism for protein structure prediction in CLP( | Alessandro Dal Pal, Agostino Dovier, Enrico Pontelli |
| 2005 | Security analysis of network protocols: logical and computational methods. | John C. Mitchell |
| 2005 | ReactiveML: a reactive extension to ML. | Louis Mandel, Marc Pouzet |
| 2005 | Efficiently compiling a functional language on AMD64: the HiPE experience. | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
| 2005 | Monadic concurrent linear logic programming. | Pablo Lpez, Frank Pfenning, Jeff Polakow, Kevin Watkins |
| 2005 | Inverting abstract unification for set-sharing. | Xuan Li, Lunjin Lu |
| 2005 | Formal validation of pattern matching code. | Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles |
| 2005 | Timed constraint programming: a declarative approach to usage control. | Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |
| 2005 | Abstraction carrying code and resource-awareness. | Manuel V. Hermenegildo, Elvira Albert, Pedro Lpez-Garca, Germn Puebla |
| 2005 | Optimization with mode-directed preferences. | Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu |
| 2005 | A new calculus of contexts. | Murdoch Gabbay |
| 2005 | Nominal rewriting with name generation: abstraction vs. locality. | Maribel Fernndez, Murdoch Gabbay |
| 2005 | Security policy in a declarative style. | Rachid Echahed, Frdric Prost |
| 2005 | A compositional semantics for CHR. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2005 | Self-tuning resource aware specialisation for prolog. | Stephen-John Craig, Michael Leuschel |
| 2005 | A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. | Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu |
| 2005 | Program transformation by templates based on term rewriting. | Yuki Chiba, Takahito Aoto, Yoshihito Toyama |
| 2005 | A gentle introduction to semantic subtyping. | Giuseppe Castagna, Alain Frisch |
| 2004 | Semi-naive evaluation in linear tabling. | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |