News & Events

---

Distinguished paper at AES 2016

Zvonimir Pavlinovic has won a Distinguished Paper Award at the IEEE/ACM International Conference on Automated Software Engineering for his paper, "Inferring Annotations for Device Drivers from Verification Histories". Congratulations!