Main content

About Us

The Advanced Software Technologies Lab is led by Professor Zhendong Su.  We are part of the Institute for Programming Languages and Systems in the Department of Computer Science at ETH Zurich.  We work in the areas of programming languages and compilers, software engineering, computer security, deep learning and education technologies.  Specific research projects that we are actively involved in can be found on our Research page.  

Recent Publications

Understanding and Exploiting Optimal Function Inlining (PDF, 939 KB). Theodoros Theodoridis, Tobias Grosser, Zhendong Su. In Proceedings of ASPLOS, Lausanne, Switzerland, February-March 2022.  Artifact 
Best Paper Award at ASPLOS 2022.


Finding Missed Optimizations through the Lens of Dead Code Elimination (PDF, 631 KB). Theodoros Theodoridis, Manuel Rigger, Zhendong Su. In Proceedings of ASPLOS, Lausanne, Switzerland, February-March 2022.  GitHub repo  
Distinguished Artifact Award at ASPLOS 2022.


Generative Type-Aware Mutation for Testing SMT Solvers. Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su. In Proceedings of SPLASH/OOPSLA, Chicago, USA, October 2021.


Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs. Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su. In Proceedings of SPLASH/OOPSLA, Chicago, USA, October 2021.


Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. Sverrir Thorgeirsson and Zhendong Su. In Proceedings of VL/HCC, Saint Louis, USA, October 2021. (short paper)


Benchmarking Automated GUI Testing for Android against Real-world Bugs. Ting Su, Jue Wang and Zhendong Su. In Proceedings of ESEC/FSE 2021, Virtual, August 2021. Themis GitHub repo 
Join us for our talk Aug 26 & Aug 27: ESEC/FSE 2021 Program


Understanding and Finding System Setting-Related Defects in Android Apps. Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie and Zhendong Su. In Proceedings of ISSTA 2021, Virtual, July 2021.


SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, and Zhendong Su.  In Proceedings of OSDI, Virtual, July 2021. SanRazor GitHub repo | Talk Slides (pdf)


Testing Machine Translation via Referential Transparency. Pinjia He, Clara Meister, and Zhendong Su. In Proceedings of ICSE, Virtual, May 2021


Testing Database Engines via Pivoted Query Synthesis. Manuel Rigger and Zhendong Su. In Proceedings of OSDI, Virtual, November 2020


Finding Bugs in Database Systems via Query Partitioning. Manuel Rigger and Zhendong Su. In Proceedings of SPLASH/OOPSLA, Virtual, November 2020


On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers. Dominik Winterer, Chengyu Zhang, and Zhendong Su. In Proceedings of SPLASH/OOPSLA, Virtual, November 2020

To our publications

Bachelor and Master Thesis

Our group has a wide range of possible topics for bachelor's and master's theses at ETH and we are always looking for motivated and enthusiastic students.  Possible thesis topics include software/system building, empirical investigations, to algorithmic and theoretical explorations.  Excellent work should lead to high-impact (practical, conceptual, or theoretical) results and publications at relevant top computer science venues.  Interested students are encouraged take a look at our publications and various projects, such as the EMI compiler testing project, the SQLancer project, and Project Yin-Yang.

Please contact
Prof. Zhendong Su to discuss your interest.     

News


February 2022: Future of Software Seminar Series
We're kicking off our Future of Software Seminar Series this Friday, February 25 at 15:00.  Caroline Lemieux, postdoc at Microsoft Research and incoming professor at UBC will give a talk on her recent work on fuzzing with the RL and generating input Grammars with MLPlease contact Dominik Winterer for the Zoom link if you’d like to join.  


October 2021: We enjoyed hosting this year's 8th ETH workshop on Dependable and Secure Software Systems (online) on Oct 25-26 with 8 excellent speakers.  

Talk recordings and slides: 
www.sri.inf.ethz.ch/workshop2021


July 2021: Mind the GAP!  The GAP Interviewing Series, hosted by Manuel Rigger, aims to bridge the gap of transitioning to a computer science faculty position.  Recently appointed faculty share their invaluable insights and experience about the interviewing process in this new series on YouTube.  Getting Academic Positions (GAP) Interviewing Series:  Playlist on YouTube.


June 2021: We are happy to share that Zhendong Su has been elected to the Academia Europaea (the Academy of Europe). 
Academie Europaea announcement | List of new members 2021


April 2021: We are excited to announce that our Yin-Yang project has been awarded a Google Open Source Peer Bonus.  Congratulations to Dominik WintererChengyu Zhang and Zhendong Su.  Project page: Yin-Yang for SMT Solvers


January 2021: How Are Award-winning Systems Research Artifacts Prepared?

As more and more systems research conferences start to adopt artifact evaluation (AE), Manuel Rigger and Arpan Gujarati were invited to share their practices and experience on preparing award-winning systems research artifacts in the recent ACM SIGOPS blog post


November 2020: 🏆 Distinguished Artifact Award

Congratulations to Manuel Rigger and Zhendong Su on their Distinguished Artifact Award at OOPSLA 2020 for Ternary Logic Partitioning (TLP)! 

Finding Bugs in Database Systems via Query Partitioning Manuel Rigger, Zhendong Su, Proc. ACM Program. Lang.



A complete list of our News & Events

JavaScript has been disabled in your browser