![]() |
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 |