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....