| 2008 | A practical and precise inference and specializer for array bound checks elimination. Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
| 2008 | A practical type analysis for verification of modular prolog programs. Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
| 2008 | Aspects preserving properties. Simplice Djoko Djoko, Rémi Douence, Pascal Fradet |
| 2008 | Automating branch-and-bound for dynamic programs. Jakob Puchinger, Peter J. Stuckey |
| 2008 | Closing the stage: from staged code to typed closures. Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2008 | Data dependencies and program slicing: from syntax to abstract semantics. Isabella Mastroeni, Damiano Zanardini |
| 2008 | Generic framework for integration of programming languages into netbeans ide. Jan Jancura, Daniel Prusa |
| 2008 | Heap recycling for lazy languages. Jurriaan Hage, Stefan Holdermans |
| 2008 | Jones optimality and hardware virtualization: a report on work in progress. Boris Feigin, Alan Mycroft |
| 2008 | Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. Shin-Cheng Mu |
| 2008 | Mechanical verification of refactorings. Nik Sultana, Simon J. Thompson |
| 2008 | Packrat parsers can support left recursion. Alessandro Warth, James R. Douglass, Todd D. Millstein |
| 2008 | Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008 Robert Glück, Oege de Moor |
| 2008 | Proof optimization for partial redundancy elimination. Ando Saabas, Tarmo Uustalu |
| 2008 | Proving correctness via free theorems: the case of the destroy/build-rule. Janis Voigtländer |
| 2008 | Securing web applications with static and dynamic information flow tracking. Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley |
| 2008 | Semi-inversion of functional parameters. Torben Æ. Mogensen |
| 2008 | Software synthesis with sketching. Rastislav Bodík |
| 2008 | Specialization for applications using shared libraries. Ping Zhu, Siau-Cheng Khoo |
| 2008 | Static elaboration of recursion for concurrent software. Stephen A. Edwards, Jia Zeng |
| 2008 | Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. Jennifer Gillenwater, Gregory Malecha, Cherif R. Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary |
| 2008 | Tool support for refactoring functional programs. Huiqing Li, Simon J. Thompson |
| 2008 | Unparsed patterns: easy user-extensibility of program manipulation tools. Nic Volanschi, Christian Rinderknecht |