| 2008 | A Simple Model of Separation Logic for Higher-Order Store. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang |
| 2008 | Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. | Martin Berger, Kohei Honda, Nobuko Yoshida |
| 2008 | Sound 3-Query PCPPs Are Long. | Eli Ben-Sasson, Prahladh Harsha, Oded Lachish, Arie Matsliah |
| 2008 | Distance Oracles for Unweighted Graphs: Breaking the Quadratic Barrier with Constant Additive Error. | Surender Baswana, Akshay Gaur, Sandeep Sen, Jayant Upadhyay |
| 2008 | Scheduling for Speed Bounded Processors. | Nikhil Bansal, Ho-Leung Chan, Tak Wah Lam, Lap-Kei Lee |
| 2008 | Truthful Unification Framework for Packing Integer Programs with Choices. | Yossi Azar, Iftah Gamzu |
| 2008 | Improved Approximation Algorithms for Budgeted Allocations. | Yossi Azar, Benjamin E. Birnbaum, Anna R. Karlin, Claire Mathieu, C. Thach Nguyen |
| 2008 | Analyzing Context-Free Grammars Using an Incremental SAT Solver. | Roland Axelsson, Keijo Heljanko, Martin Lange |
| 2008 | How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs). | Chen Avin, Michal Kouck, Zvi Lotker |
| 2008 | The Smoothed Complexity of Edit Distance. | Alexandr Andoni, Robert Krauthgamer |
| 2008 | On Black-Box Ring Extraction and Integer Factorization. | Kristina Altmann, Tibor Jager, Andy Rupp |
| 2008 | Optimal Monotone Encodings. | Noga Alon, Rani Hod |
| 2008 | On List Update with Locality of Reference. | Susanne Albers, Sonja Lauer |
| 2007 | On the Complexity of LtlModel-Checking of Recursive State Machines. | Salvatore La Torre, Gennaro Parlato |
| 2007 | Co-Logic Programming: Extending Logic Programming with Coinduction. | Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta |
| 2007 | Modular Algorithms for Heterogeneous Modal Logics. | Lutz Schrder, Dirk Pattinson |
| 2007 | Credentials-Based Authorization: Evaluation and Implementation. | Fred B. Schneider |
| 2007 | Conservative Ambiguity Detection in Context-Free Grammars. | Sylvain Schmitz |
| 2007 | Low Distortion Spanners. | Seth Pettie |
| 2007 | Private Locally Decodable Codes. | Rafail Ostrovsky, Omkant Pandey, Amit Sahai |
| 2007 | Approximation by DNF: Examples and Counterexamples. | Ryan O'Donnell, Karl Wimmer |
| 2007 | Estimating Sum by Weighted Sampling. | Rajeev Motwani, Rina Panigrahy, Ying Xu |
| 2007 | Deterministic History-Independent Strategies for Storing Information on Write-Once Memories. | Tal Moran, Moni Naor, Gil Segev |
| 2007 | A Lower Bound on Entanglement-Assisted Quantum Communication Complexity. | Ashley Montanaro, Andreas J. Winter |
| 2007 | Size Competitive Meshing Without Large Angles. | Gary L. Miller, Todd Phillips, Donald R. Sheehy |