|
| OSQ Project 2003 Retreat |
(Some of the) Presentations:
| Krishnendu Chatterjee (c_krish@cs) | Stack Size Analysis for Interrupt-Driven Programs |
| Jeremy Condit (jcondit@cs) | Compiler Support for Multhreading |
| Sumit Gulwani (gulwani@cs) | Global Value Numbering Using Random Interpretation |
| Ranjit Jhala (jhala@cs) | Thread-modular Abstraction Refinement |
| Ben Liblit (liblit@cs) | Bug Isolation via Remote Program Sampling |
| David Mandelin (mandelin@cs) | Debugging Temporal Specifications with Cable |
| Scott McPeak (smcpeak@cs) | Static Verification of Memory Safety for Device Drivers |
| David Schmidt (schmidt@cis.ksu.edu) | Abstract Models of Shape: Branching- (and Linear-) Time |
| Robert R. Schneck (schneck@math.berkeley.edu) | Extensible Untrusted Code Verification |
| Manu Sridharan (manu_s@cs) | Towards an Assertive Alias Analysis |
| Tachio Terauchi (tachio@cs) | Static Access Control of Dynamic Resources |
(Some of the) "Five-Minute Madness" Presentations:
| Arindam Chakrabarti (arindam@cs) | Resource Interfaces |
| Evan Chang (bec@cs) | Coolaid: Debugging Compilers with Untrusted Code Verification |
| Kirsten Chevalier (krc@cs) | Implementing Type-Inference-Based Deforestation |
| Sumit Gulwani (gulwani@cs) | Yet Another Pointer/Shape Analysis |
| Matt Harren (matth@cs) | CCured in the Real World |
| Scott McPeak (smcpeak@cs) | An Appeal for a Language |
| AJ Shankar (aj@eecs) | Transparent Program Specialization |
| Wes Weimer (weimer@cs) | Run-Time Error Handling |
Return to the main OSQ
page.