| 2008 | Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. | Shin-Cheng Mu |
| 2008 | Semi-inversion of functional parameters. | Torben . Mogensen |
| 2008 | Data dependencies and program slicing: from syntax to abstract semantics. | Isabella Mastroeni, Damiano Zanardini |
| 2008 | Tool support for refactoring functional programs. | Huiqing Li, Simon J. Thompson |
| 2008 | Securing web applications with static and dynamic information flow tracking. | Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley |
| 2008 | Closing the stage: from staged code to typed closures. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 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 | 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 | Jones optimality and hardware virtualization: a report on work in progress. | Boris Feigin, Alan Mycroft |
| 2008 | Static elaboration of recursion for concurrent software. | Stephen A. Edwards, Jia Zeng |
| 2008 | Aspects preserving properties. | Simplice Djoko Djoko, Rmi Douence, Pascal Fradet |
| 2008 | Software synthesis with sketching. | Rastislav Bodk |
| 2007 | Towards constructing reusable specialization components. | Ping Zhu, Siau-Cheng Khoo |
| 2007 | A reversible programming language and its invertible self-interpreter. | Tetsuo Yokoyama, Robert Glck |
| 2007 | Quasi-terminating logic programs for ensuring the termination of partial evaluation. | Germn Vidal |
| 2007 | Efficient implementation of tuple pattern based retrieval. | Tom Rothamel, Yanhong A. Liu |
| 2007 | Behavioral similarity matching using concrete source code templates in logic queries. | Coen De Roover, Theo D'Hondt, Johan Brichau, Carlos Noguera, Laurence Duchien |
| 2007 | Poly-controlled partial evaluation in practice. | Claudio Ochoa, Germn Puebla |
| 2007 | Object-oriented queries over software systems: (abstract of invited talk). | Oege de Moor, Elnar Hajiyev, Mathieu Verbaere |
| 2007 | XML graphs in program analysis. | Anders Mller, Michael I. Schwartzbach |
| 2007 | Bidirectional interpretation of XQuery. | Dongxi Liu, Zhenjiang Hu, Masato Takeichi |
| 2007 | Style normalization for canonical X-to-O mappings. | Ralf Lmmel |
| 2007 | Distillation: extracting the essence of programs. | Geoff W. Hamilton |
| 2007 | Concoqtion: indexed types now! | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha |