AST Lab News
October 2023: Congratulations to Cong Li, Zhendong Su and co-authors on their Best Paper Award at SOSP 2023!
Validating JIT Compilers via Compilation Space Exploration. Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su. In Proceedings of SOSP, Koblenz, Germany, October 23-26, 2023.
[external pageACM Digital Library]
Best Paper Award
October 2023: Congratulations to Shaohua Li and Zhendong Su on their Distinguished Paper Award at SPLASH/OOPSLA 2023!
Accelerating Fuzzing through Prefix-Guided Execution, Shaohua Li, Zhendong Su, In external pageProceedings of SPLASH/OOPSLA, October 22-27, 2023. [external pageACM Digital Library] [external pagePDF] [external pageCode]
2023 ACM SIGPLAN Distinguished Paper Award at OOPSLA’23 [external pageLink]
July 2023: Congratulations to Yiheng Xiong, Ting Su, Jue Wang, Zhendong Su and co-authors on their recent Distinguished Paper Award at external pageISSTA 2023!
An Empirical Study of Functional Bugs in Android Apps. Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su. In external pageProceedings of ISSTA 2023, July 17-21, 2023. [external pageACM Digital Library] Distinguished Paper Award
Torsten Hoefler, Marc Pollefeys and Zhendong Su named ACM Fellows
Torsten Hoefler, Marc Pollefeys and Zhendong Su, professors at the Department of Computer Science, have been named ACM Fellows. The distinction recognises the extensive research contributions in their respective fields. Congratulations!
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:
DownloadFinding Missed Optimizations through the Lens of Dead Code Elimination (PDF, 631 KB). Theodoros Theodoridis, Manuel Rigger, Zhendong Su. In external pageProceedings of ASPLOS, Lausanne, Switzerland, February-March 2022. external pageGitHub repo
Distinguished Artifact Award at ASPLOS 2022
Understanding and Exploiting Optimal Function Inlining. Theodoros Theodoridis, Tobias Grosser, Zhendong Su. In external pageProceedings of ASPLOS, Lausanne, Switzerland, February-March 2022. external pageArtifact
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.