OOPSLA '04

Program
Technical Program
  Invited Speakers
  Technical Papers
  Onward!
  Panels
  Practitioner Reports
  Tutorials
Workshops
DesignFest
Educators' Symposium
Demonstrations
Posters
Doctoral Symposium
Exhibits
Student Research Comp.
FlashBoF
 
Turing Lecture
 
Social Events
 
Week at a Glance
 
Final Program (1.5M .pdf)

Find in Program
 

Page
Printer-friendly
Show details

Basket
view, help
Object-Oriented Programming, Systems, Languages and Applications
Home    Program    Housing & Transportation    Registration    Submissions    Wiki    Maps
 
  > Technical Program > Technical Papers

 : Thursday

Verification and Validation

Meeting Rooms 1-3
Thursday, 10:30, 1 hour 30 minutes
 


 
7·8·9·10·11·12·13·14·15·16·17·18·19·20·21

Session Chair: Martin Odersky, EPFL

Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM
Philip Fong

Thursday, 10:30, 30 minutes, Meeting Rooms 1-3

Finding and Preventing Run-Time Error Handling Mistakes
Westley Weimer, George Necula

Thursday, 11:00, 30 minutes, Meeting Rooms 1-3

Chianti: A Tool for Change Impact Analysis of Java Programs
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara Ryder, Ophelia Chesley

Thursday, 11:30, 30 minutes, Meeting Rooms 1-3