| 2006 | A fixpoint calculus for local and global program flows. Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
| 2006 | A hierarchical model of data locality. Chengliang Zhang, Chen Ding, Mitsunori Ogihara, Yutao Zhong, Youfeng Wu |
| 2006 | A logic for information flow in object-oriented programs. Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee |
| 2006 | A polymorphic modal type system for lisp-like multi-staged languages. Ik-Soon Kim, Kwangkeun Yi, Cristiano Calcagno |
| 2006 | A verifiable SSA program representation for aggressive compiler optimization. Vijay Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Leaf Petersen |
| 2006 | A virtual class calculus. Erik Ernst, Klaus Ostermann, William R. Cook |
| 2006 | Adventures in time and space. Norman Danner, James S. Royer |
| 2006 | Associating synchronization constraints with data in an object-oriented language. Mandana Vaziri, Frank Tip, Julian Dolby |
| 2006 | Autolocker: synchronization inference for atomic sections. Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
| 2006 | Certified assembly programming with embedded code pointers. Zhaozhong Ni, Zhong Shao |
| 2006 | Compiler-directed channel allocation for saving power in on-chip networks. Guangyu Chen, Feihui Li, Mahmut T. Kandemir |
| 2006 | Decidability and proof systems for language-based noninterference relations. Mads Dam |
| 2006 | Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
| 2006 | Environment analysis via Delta CFA. Matthew Might, Olin Shivers |
| 2006 | Fast and loose reasoning is morally correct. Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons |
| 2006 | Formal certification of a compiler back-end or: programming a compiler with a proof assistant. Xavier Leroy |
| 2006 | Frame rules from answer types for code pointers. Hayo Thielecke |
| 2006 | Harmless advice. Daniel S. Dantas, David Walker |
| 2006 | Hybrid type checking. Cormac Flanagan |
| 2006 | Interruptible iterators. Jed Liu, Aaron Kimball, Andrew C. Myers |
| 2006 | Modular set-based analysis from contracts. Philippe Meunier, Robert Bruce Findler, Matthias Felleisen |
| 2006 | On flow-sensitive security types. Sebastian Hunt, David Sands |
| 2006 | Polymorphic regular tree types and patterns. Jerome Vouillon |
| 2006 | Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006 J. Gregory Morrisett, Simon L. Peyton Jones |
| 2006 | Protecting representation with effect encapsulation. Yi Lu, John Potter |
| 2006 | Simplifying reductions. Gautam Gupta, Sanjay V. Rajopadhye |
| 2006 | Small bisimulations for reasoning about higher-order imperative programs. Vasileios Koutavas, Mitchell Wand |
| 2006 | Specifying C++ concepts. Gabriel Dos Reis, Bjarne Stroustrup |
| 2006 | Staged allocation: a compositional technique for specifying and implementing procedure calling conventions. Reuben Olinsky, Christian Lindig, Norman Ramsey |
| 2006 | Stratified type inference for generalized algebraic data types. François Pottier, Yann Régis-Gianas |
| 2006 | The Scala experiment: can we provide better language support for component systems? Martin Odersky |
| 2006 | The essence of command injection attacks in web applications. Zhendong Su, Gary Wassermann |
| 2006 | The next 700 data description languages. Kathleen Fisher, Yitzhak Mandelbaum, David Walker |
| 2006 | The next mainstream programming language: a game developer's perspective. Tim Sweeney |
| 2006 | Verifying properties of well-founded linked lists. Shuvendu K. Lahiri, Shaz Qadeer |
| 2006 | Why dependent types matter. James McKinna |