| Upcoming Paper/Presentation | Date | Title | Authors | Source |
| Presentation | 10/05/05 | Developing Embedded Multi-threaded Applications with CATAPULTS, a Domain-specific Language for Generating Thread Schedulers | Matt Roper (joint with Ronald A. Olsson) | CASES 05 |
| Presentation | 10/05/05 | On Deriving Unknown Vulnerabilities from Zero-Day Polymorphic and Metamorphic Worm Exploits | Jedidiah R. Crandall (joint work with Zhendong Su, S. Felix Wu, and Frederic T. Chong) | CCS 05 |
| Presentation | 10/10/05 | Automated Bug Isolation via Program Chipping | Chad Sterling (joint work Ronald A. Olsson) | AADEBUG 2005 |
| Presentation | 10/10/05 | Hierarchical Delta Debugging | Ghassan Misherghi (joint work Zhendong Su) | submitted to ICSE 06 |
| Presentation | 10/26/05 | Building Optimally Tuned Software (BOTS) (e-mail Chris or Jeff for a pdf of the paper) | Jeff Wu (joint work with Raju Pandey) | submitted to ICSE 06 |
| Presentation | 11/2/05 | MOBYL: MOdel-driven BYpassing of middleware Layers | Omer Demir (joint work with Prem Devanbu) | |
| Presentation | 11/9/05 | VM*: Synthesizing Scalable Runtime Environments for Sensor Networks | Joel Koshy (joint work with Raju Pandey) | Accepted and presented at ACM SenSys 2005 |
| Presentation | 12/14/05 | Reverse Engineering of Design Patterns from Java Source Code | Nija Shi (joint work with Ron Olsson) | Submitted to ICSE |
| pAPER | 1/25/06 | Programming by Sketching for Bit-Streaming Programs | Armando Solar-Lezama, Rodric Rabbah, Rastislav Bodik, Kemal Ebcioglu | Best Paper award at PLDI '05 |
| Paper | 2/8/06 | Constructing Component-Based Extension Interfaces in Legacy Systems Code Here are some presentation (slides) | Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, and Mario Sudholt, University of Copenhagen and OBASCO group/INRIA | SIGOPS 2004 |
| Paper | 2/14/06 | Verification of Safety Properties for Concurrent Assembly Code | Dr. Dachuan Yu, DoCoMo Labs | ICFP '04 |
| Paper | 2/14/06 | XLinq: XML Programming Refactored (The Return Of The Monoids) | Dr. Erik Meijer and Dr. Brian Beckman, Microsoft Research | |
| Presentation | 2/22/06 | Safety Verification for Assembly Code (abstract) | Dr. Dachuan Yu, DoCoMo Labs | |
| Presentation | 3/1/06 | Configurable Model Driven Development (abstract) | Prof. Joanne Atlee, U of Waterloo | |
| Paper | 4/12/06 | Micro Patterns in Java Code | Joseph Gil and Itay Maman, Israel Institute of Technology | OOPSLA 2005 | Practice Talk | 4/26/06 | Osprey: A Practical Type System for Validating Dimensional Unit Correctness of C Programs | Lingxiao Jiang and Zhendong Su | ICSE '06 |
| Paper | 4/26/06 | Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams | Randal E. Bryant, Carnegie-Mellon University | ACM Surveys on Computing |
| talk | 8/3/06 | Random Walks for Selected Constraint Satisfaction Problems | K. Subramani, West Virginia University |
| Upcoming Paper/Presentation | Date | Title | Authors | Source |