| 2008 | Systems biology, models, and concurrency. | Walter Fontana |
| 2008 | From dirt to shovels: fully automatic tool generation from ad hoc data. | Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White |
| 2008 | Lightweight semiformal time complexity analysis for purely functional data structures. | Nils Anders Danielsson |
| 2008 | Enhancing modular OO verification with separation logic. | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
| 2008 | Subcubic algorithms for recursive state machines. | Swarat Chaudhuri |
| 2008 | Relational inductive shape analysis. | Bor-Yuh Evan Chang, Xavier Rival |
| 2008 | A theory of contracts for web services. | Giuseppe Castagna, Nils Gesbert, Luca Padovani |
| 2008 | Cyclic proofs of program termination in separation logic. | James Brotherston, Richard Bornat, Cristiano Calcagno |
| 2008 | Boomerang: resourceful lenses for string data. | Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt |
| 2008 | Engineering formal metatheory. | Brian E. Aydemir, Arthur Charguraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich |
| 2008 | The intensional content of Rice's theorem. | Andrea Asperti |
| 2008 | Extensible encoding of type hierarchies. | Hamed S. Alavi, Seth Gilbert, Rachid Guerraoui |
| 2008 | Imperative self-adjusting computation. | Umut A. Acar, Amal Ahmed, Matthias Blume |
| 2008 | Semantics of transactional memory and automatic mutual exclusion. | Martn Abadi, Andrew Birrell, Tim Harris, Michael Isard |
| 2007 | Application-level concurrency: combining events and treads: invited talk. | Steve Zdancewic |
| 2007 | JavaScript instrumentation for browser security. | Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov |
| 2007 | Extracting queries by static analysis of transparent persistence. | Ben Wiedermann, William R. Cook |
| 2007 | Preferential path profiling: compactly numbering interesting paths. | Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi |
| 2007 | Types, bytes, and separation logic. | Harvey Tuch, Gerwin Klein, Michael Norrish |
| 2007 | Perl 6: reconciling the irreconcilable. | Audrey Tang |
| 2007 | A complete, co-inductive syntactic theory of sequential control and state. | Kristian Stvring, Sren B. Lassen |
| 2007 | Cost semantics for space usage in a parallel language. | Daniel Spoonhower |
| 2007 | First-class nonstandard interpretations by opening closures. | Jeffrey Mark Siskind, Barak A. Pearlmutter |
| 2007 | Locality approximation using time. | Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding |
| 2007 | Specialization of CML message-passing primitives. | John H. Reppy, Yingqi Xiao |