|
||
|
||
|
|
||
|
|
|
|
> 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
Philip Fong
Thursday, 10:30, 30 minutes, Meeting Rooms 1-3
Finding and Preventing Run-Time Error Handling Mistakes
Westley Weimer, George Necula
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
Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara Ryder, Ophelia Chesley
Thursday, 11:30, 30 minutes, Meeting Rooms 1-3
