Dynamic Compilation and Adaptive Optimization in Virtual Machines
WCET : Timing Analysis of Embedded Software
AVASP: Automatic Validation of Security Protocols
Design by Contract and Automatic Verification for Java with JML and ESC/Java2
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.