| Time |
Monday |
Tuesday |
Wednesday |
Thursday |
| 10:00 |
|
|
Bryan Payne (10:00)
Porting Open EAP to Cyclone for Extensibility |
|
| 10:15 |
|
|
|
| 12:30 |
|
|
|
Piyush Kumar Bhagat
Implementing a Static Linker in Java |
| 12:45 |
|
|
|
| 1:00 |
|
Prashant Lamba (1:00)
Implementing a Static Linker |
|
|
| 1:15 |
|
|
Brian Krznarich (1:15)
Type-safe Linking for C programs |
| 1:30 |
|
|
|
| 1:45 |
|
Polyvios Pratikakis (1:45)
Interface Checking for Cyclone |
|
|
| 2:00 |
|
|
Mujtaba Ali (2:00)
Type-safe Dynamic Linking for Cyclone |
| 2:15 |
|
|
|
| 2:30 |
|
|
|
| 2:45 |
|
|
|
Jeff Odom (2:45)
Dynamic Software Updating for Linux |
| 3:00 |
|
|
|
| 3:15 |
|
|
|
James Rose (3:20)
Dynamic Determination of Locking Relationships in Java programs |
| 3:30 |
|
|
|
| 3:45 |
|
|
|
|
| 4:00 |
|
|
|
|
| 4:15 |
|
|
|
|
| 4:30 |
|
|
|
|