| Date | Title | Authors | Conference |
| ?? | Region-Based Shape Analysis with Tracked Locations | Hackett, Rugina | POPL 2005 |
| 3/16/05 | From Symptom to Cause: Localizing Errors in Counterexample Traces | Ball, Naik, Rajamani | POPL 2003 |
| 3/9/05 | Automatic Discovery of API-Level Exploits | Ganapathy, Seshia, Jha, Reps, Bryant | ICSE 2005 |
| 3/2/05 | Static Program Analysis via 3-Valued Logic, (talk) | Reps, Sagiv, Wilhelm | CAV 2004 |
| 2/9/05 | Scalable Error Detection Using Boolean Satisfiability | Guest speaker: Yichen Xie | POPL 2005 |
| 2/2/05 | Using Model Checking to Find Serious File System Errors | Yang, Twohey, Engler, Musuvathi | OSDI 2004 |
| 1/26/05 | Incremental Execution of Transformation Specifications | Sittampalam, de Moor, Larsen | POPL 2004 |
| 1/12/05 | Automatic verification of finite-state concurrent systems using temporal logic specifications | Clarke, Emerson, Sistla | TOPLAS 1986 |
| 12/07/04 | Analyzing Memory Accesses in x86 Executables | Balakrishnan, Reps | CC 2004 |
| 11/30/04 | Testing Malware Detectors | Christodorescu, Jha | ISSTA 2004 |
| 11/16/04 | Simplifying and Isolating Failure-Inducing Input (Delta Debugging) | Zeller | TSE 2002 |
| 11/09/04 | Conference Report by Hao Chen, Erdem Demir, Gary Wassermann, Prem Devanbu, and Zhendong Su | CCS, FSE 2004 | |
| 11/02/04 | Seminar Cancelled | ||
| 10/26/04 | Scalable Error Detection Using Boolean Satisfiability | Xie, Aiken | POPL 2005 |
| 10/12/04 | The Future of Software Analysis | Jackson, Rinard | ACM Press 2000 |
| 08/18/04 | Soft Typing | Cartwright, Fagan | PLDI 1991 |
| 08/11/04 | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams | Whaley, Lam | PLDI 2004 |
| 07/27/04 | Systems: html, pdf; Security: home page, html, pdf. | CRA Grand Challenges | |
| 05/26/04 | Seminar Postponed | ||
| 05/19/04 | The Set Constraint/CFL Reachability Connection in Practice | Kodumal, Aiken | PLDI 2004 |
| 05/12/04 | KISS: Keep It Simple and Sequential | Qadeer, Wu | PLDI 2004 |
| 05/05/04 | Seminar Cancelled | ||
| 04/28/04 | Parametric Regular Path Queries | Liu, Rothamel, Yu, Stoller, Hu | PLDI 2004 |
| 04/21/04 | Finding Latent Code Errors via Machine Learning over Program Executions | Brun, Ernst | ICSE 2004 |
| 04/14/04 | Validating the Unit Correctness of Spreadsheet Programs | Antoniu, Steckler, Krishnamurthi, Neuwirth, Felleisen | ICSE 2004 |