 |
Vibha Sazawal, Systems under stress |
|
Marc Zimmerman, Consistency and completeness in requirements specification languages |
|
Jake Cockrell, Instrumenting to support dynamic invariant inference |
|
Aaron Davis, Using PVS to prove properties about Java |
|
Mathieu Blanchette & Vassili Sukharev, Scavenging chess programs to build a Bughouse program |
|
Mike Esler & Ken Yasuhara, Extending Apache to support multiple transport mechanisms |
|
Chris Prince, Porting an application using RIGI |
|
Jonathan Aldrich & Geoff Hulten, Extreme programming |
|
Tashana Landray, A case study of software inspections |
|
Jeffery Hightower, Specifying, Verifying, and Simulating Network Protocols |
|
Daniel Lloyd & Jason Hartline, A Face-off Between Functional and OO Languages |