| 2009 | ICSE | Does distributed development affect software quality? An empirical case study of Windows Vista |
| 2009 | ICSE | Automatically finding patches using genetic programming |
| 2009 | ICSE | How we refactor, and how we know it |
| 2009 | ICSE | Effective static deadlock detection |
| 2009 | ICSE | Invariant-based automatic testing of AJAX user interfaces |
| 2009 | IJCAI | Consequence-Driven Reasoning for Horn SHIQ Ontologies |
| 2009 | IJCAI | Learning Conditional Preference Networks with Queries |
| 2009 | IJCNLP | Concise Integer Linear Programming Formulations for Dependency Parsing |
| 2009 | IJCNLP | Reinforcement Learning for Mapping Instructions to Actions |
| 2009 | IJCNLP | K-Best A* Parsing |
| 2009 | INFOCOM | Queuing Network Models for Multi-Channel P2P Live Streaming Systems |
| 2009 | InfoVis | ABySS-Explorer: Visualizing Genome Sequence Assemblies |
| 2009 | InfoVis | Mapping Text with Phrase Nets |
| 2009 | INTERSPEECH | Sequencing of Articulatory Gestures using Cost Optimization |
| 2009 | INTERSPEECH | A Deterministic plus Stochastic Model of the Residual Signal for Improved Parametric Speech Synthesis |
| 2009 | INTERSPEECH | On the Semi-Supervised Learning of Multi-Layered Perceptrons |
| 2009 | INTERSPEECH | Automatic speech recognition and speech variability: A Review |
| 2009 | IPSN | Monitoring heritage buildings with wireless sensor networks: The Torre Aquila deployment |
| 2009 | IPSN | Secure and highly-available aggregation queries in large-scale sensor networks via set sampling |
| 2009 | ISLPED | PPT: joint performance/power/thermal management of DRAM memory for multi-core systems |
| 2009 | ISLPED | Low power circuit design based on heterojunction tunneling transistors (HETTs) |
| 2009 | ISPD | Synthesizing a representative critical path for post-silicon delay prediction |
| 2009 | ISQED | Small embeddable NBTI sensors (SENS) for tracking on-chip performance decay |
| 2009 | ISQED | 3D-GCP: An analytical model for the impact of process variations on the critical path delay distribution of 3D ICs |
| 2009 | ISQED | Power & variability test chip architecture and 45nm-generation silicon-based analysis for robust, power-aware SoC design |
| 2009 | ISSTA | HAMPI: a solver for string constraints |
| 2009 | ISSTA | Precise interface identification to improve testing and analysis of web applications |
| 2009 | ITC | Voltage Transient Detection and Induction for Debug and Test |
| 2009 | ITC | A Robust Method for Identifying a Deterministic Jitter Model in a Total Jitter Distribution |
| 2009 | JCDL | Automatically characterizing resource quality for educational digital libraries |