Dynamic Compilation and Adaptive Optimization in Virtual Machines
WCET : Timing Analysis of Embedded Software
(cancelled)
AVASP: Automatic Validation of Security Protocols
Design by Contract and Automatic Verification for Java with JML and ESC/Java2
CMSB
Open Tutorials
The Computational Methods in Systems Biology (CMSB) workshop has a day of tutorials on Sunday 3rd April, open to all ETAPS participants. There is no need to register, just turn up.
Programme details...
.