| 2007 | Manticore: a heterogeneous parallel language. | Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao |
| 2007 | Lock allocation. | Michael Emmi, Jeffrey S. Fischer, Ranjit Jhala, Rupak Majumdar |
| 2007 | A query language for data parallel programming: invited talk. | Joe Duffy |
| 2007 | Modular type classes. | Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller |
| 2007 | Proving that programs eventually do something good. | Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi |
| 2007 | A typed intermediate language for compiling multiple inheritance. | Juan Chen |
| 2007 | Data parallel Haskell: a status report. | Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow |
| 2007 | Context logic as modal logic: completeness and parametric inexpressivity. | Cristiano Calcagno, Philippa Gardner, Uri Zarfaty |
| 2007 | Secure implementations of typed channel abstractions. | Michele Bugliesi, Marco Giunti |
| 2007 | Variance analyses from invariance analyses. | Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2007 | From implementation to theory in product synthesis. | Don S. Batory |
| 2007 | Semantics of static pointcuts in aspectJ. | Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere |
| 2007 | A very modal model of a modern, major, general type system. | Andrew W. Appel, Paul-Andr Mellis, Christopher D. Richards, Jrme Vouillon |
| 2006 | A hierarchical model of data locality. | Chengliang Zhang, Chen Ding, Mitsunori Ogihara, Yutao Zhong, Youfeng Wu |
| 2006 | Polymorphic regular tree types and patterns. | Jerome Vouillon |
| 2006 | Associating synchronization constraints with data in an object-oriented language. | Mandana Vaziri, Frank Tip, Julian Dolby |
| 2006 | Frame rules from answer types for code pointers. | Hayo Thielecke |
| 2006 | The next mainstream programming language: a game developer's perspective. | Tim Sweeney |
| 2006 | The essence of command injection attacks in web applications. | Zhendong Su, Gary Wassermann |
| 2006 | Specifying C++ concepts. | Gabriel Dos Reis, Bjarne Stroustrup |
| 2006 | Stratified type inference for generalized algebraic data types. | Franois Pottier, Yann Rgis-Gianas |
| 2006 | Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. | Reuben Olinsky, Christian Lindig, Norman Ramsey |
| 2006 | The Scala experiment: can we provide better language support for component systems? | Martin Odersky |
| 2006 | Certified assembly programming with embedded code pointers. | Zhaozhong Ni, Zhong Shao |
| 2006 | Environment analysis via Delta CFA. | Matthew Might, Olin Shivers |