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.