People
MSc Thesis @ SRI
Research
Publications
Spin-offs
Teaching
Hiring
Contact
Tuning Java on a DSP
Martin Vechev and Peter Petrov
GSPX 2004
Research Projects