| 2005 | ICSE | Is mutation an appropriate tool for testing experiments? |
| 2005 | ICSE | Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks |
| 2005 | ICSE | Data structure repair using goal-directed reasoning |
| 2005 | IJCAI | A Probabilistic Model of Redundancy in Information Extraction |
| 2005 | IJCAI | Solving Checkers |
| 2005 | IJCAI | Evolino: Hybrid Neuroevolution/Optimal Linear Search for Sequence Learning |
| 2005 | IJCAI | Learning Coordination Classifiers |
| 2005 | IJCNLP | High Efficiency Realization for a Wide-Coverage Unification Grammar |
| 2005 | IMC | Measurement-based Characterization of a Collection of On-line Games |
| 2005 | INFOCOM | Perfect Simulation and Stationarity of a Class of Mobility Models |
| 2005 | InfoVis | Dig-CoLa: directed graph layout through constrained energy minimization |
| 2005 | INTERSPEECH | On the Integration of Speech Recognition and Statistical Machine Translation |
| 2005 | INTERSPEECH | Multi-class composite N-gram language model |
| 2005 | ISLPED | FinFET-based SRAM design |
| 2005 | ISPD | Multilevel generalized force-directed method for circuit placement |
| 2005 | ISQED | A New Method for Design of Robust Digital Circuits |
| 2005 | ISQED | A Min-Variance Iterative Method for Fast Smart Dummy Feature Density Assignment in Chemical-Mechanical Polishing |
| 2005 | ISQED | Noise Library Characterization for Large Capacity Static Noise Analysis Tools |
| 2005 | ISQED | A Mask Reuse Methodology for Reducing System-on-a-Chip Cost |
| 2005 | ITC | Structural Tests for Jitter Tolerance in SerDes Receivers |
| 2005 | JCDL | Developing practical automatic metadata assignment and evaluation tools for internet resources |
| 2005 | JCDL | Digital libraries' support for the user's 'information journey' |
| 2005 | KDD | Graphs over time: densification laws, shrinking diameters and possible explanations |
| 2005 | LISA | Reducing Downtime Due to System Maintenance and Upgrades |
| 2005 | LISA | Toward a Cost Model for System Administration |
| 2005 | LISA | Toward an Automated Vulnerability Comparison of Open Source IMAP Servers |
| 2005 | MICRO | A Dynamic Compilation Framework for Controlling Microprocessor Energy and Performance |
| 2005 | Mobisys | Reincarnating PCs with portable SoulPads |
| 2005 | NSDI | Botz-4-Sale: Surviving Organized DDoS Attacks That Mimic Flash Crowds |
| 2005 | NSDI | Detecting BGP Configuration Faults with Static Analysis |