News 2022
Workshop October 2022:
We enjoyed co-hosting the 9th Workshop on Dependable and Secure Software Systems, Oct 7-8 2022, once again in person. For those who missed it, the talk slides and videos are available on the workshop website.
Srdjan Capkun and Zhendong Su named IEEE Fellows
Srdjan Capkun and Zhendong Su, professors at the Department of Computer Science, have been named IEEE Fellows. The prestigious grade of IEEE Fellow is conferred upon a person with an outstanding record of accomplishments in any of the IEEE fields of interest.
Meta Security Research Award for Zhendong Su and Shaohua Li
Professor Zhendong Su and his doctoral student Shaohua Li have been awarded a 2022 Meta Security Research Award for their project proposal on “Solidifying sanitizer implementations via automated testing”. Congratulations!
Zhendong Su receives Amazon Research Award
Professor Zhendong Su, along with his group members Dominik Winterer and Chengyu Zhang, has received the prestigious Amazon Research Award for their work in the field of automated reasoning.
Nikolaj Bjørnerwith will give a talk in our next Future of Software Seminar on "Supercharging Plant Configurations using Z3", July 28 | Talk details >>
Marcel Boehme will give a talk in our next Future of Software Seminar on May 18 for his talk on "Automatic Vulnerability Discovery at Scale" | Talk details >>
2022 ICSE MIP Award for Zhendong Su
Professor Zhendong Su is awarded the prestigious ICSE Most Influential Paper Award for the paper "On the Naturalness of Software". The paper emerged from a collaboration with former students and colleagues at UC Davis.
ASPLOS'22 Papers February 2022:
Download Finding Missed Optimizations through the Lens of Dead Code Elimination (PDF, 631 KB). Theodoros Theodoridis, Manuel Rigger, Zhendong Su. In external page Proceedings of ASPLOS, Lausanne, Switzerland, February-March 2022. external page GitHub repo
Distinguished Artifact Award at ASPLOS 2022
Understanding and Exploiting Optimal Function Inlining. Theodoros Theodoridis, Tobias Grosser, Zhendong Su. In external page Proceedings of ASPLOS, Lausanne, Switzerland, February-March 2022. external page Artifact
Best Paper Award at ASPLOS 2022
Two ASPLOS awards for Theodoros Theodoridis
Theodoros Theodoridis, doctoral student in the Advanced Software Technologies Lab, has won two awards at the ASPLOS 2022 conference.