-> OSQ Project 2003 Retreat
On Tuesday, May 13 the third annual OSQ retreat was held in Santa Cruz.

(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.


Last modified: Sun May 18 13:36:59 PDT 2003