Members
Prof. Zhendong Su
Zhendong Su is a full professor and leads the AST Lab in the Department of Computer Science at ETH Zurich. He is also an adjunct professor at UC Davis, where he was a full professor in Computer Science and a Chancellor's Fellow until June 2019. His research spans programming languages and compilers, software engineering, computer security, deep learning and education technologies.
Contact details: Zhendong Su
https://people.inf.ethz.ch/suz/
Dr. Chengyu Zhang
Chengyu’s research interests are in software engineering, programming languages, and formal methods. Before joining AST, he was focusing on ensuring the reliability of static analysis and verification tools.
Contact details: Chengyu Zhang
external pagehttps://chengyuzhang.com/
Dr. Thodoris Sotiropoulos
Thodoris's interests include software engineering and programming languages. He is currently focusing on making the implementations of strongly-typed programming languages type-safe, type-precise, and robust.
Contact details: Thodoris Sotiropoulos
external pagehttps://theosotr.github.io
Yann Girsberger
Yann is currently interested in understanding and testing optimizing compilers. Yann completed his Master's thesis with our group in Fall 2022 on "DEAD: Dead Code Elimination based Automatic Differential Testing" and started his PhD in January 2023.
Contact details: Yann Girsberger
Zu-Ming Jiang
Zu-Ming's research interests span computer security, operating systems and software engineering. Currently he is researching the security and reliability problems of system software using software testing techniques (e.g. fuzzing).
Contact details: Zu-Ming Jiang
external pagehttps://jzuming.github.io/
Shaohua Li
Shaohua is currently interested in developing new ways of dynamic program analysis, especially in test oracle automation and program runtime verification. He also has a broad interest in applying deep learning in the field of software engineering and program languages.
Contact details: Shaohua Li
external pagehttps://shao-hua-li.github.io
Hao Sun
Hao’s research focuses on operating system kernels, with an emphasis on Linux. The fundamental goal of his research is to improve the correctness of OS kernels, one of the most complicated software, via finding and eliminating the bugs with the approaches including fuzz testing and symbolic execution.
Contact details: Hao Sun
external pagehttps://haosun.info
Theo Theodoridis
Theo's research focuses on optimizing compilers and search-based program optimization. In particular, he is interested in understanding the compiler performance landscape, blurring the lines between compilers and autotuners, and aiding compiler performance engineering and development.
Contact details: Theodoros Theodoridis
external pagehttps://thetheodor.github.io/
Sverrir Thorgeirsson
Sverrir's research interests include computer science education, educational technology, machine learning, computational neuroscience and cognitive science.
Contact details: Sverrir Thorgeirsson
external pagehttp://algot.org
Michel Weber
Michel's research interests are currently focused on compiler diagnostics and analysis, but extend to Multi-Level Rewriting and DSL-Compilation.
Contact details: Michel Weber
Dominik Winterer
Dominik is interested in formal methods problems in Programming Languages and Software Engineering. Dominik is researching techniques on testing SMT solvers and making them more reliable and performant.
Contact details: Dominik Winterer
external pagehttps://wintered.github.io/
Yuchen Gu
Yuchen Gu is a Direct Doctorate student in our group, and is currently completing his course work.
Contact details:
Yiheng Xiong
Yiheng is a visiting Ph.D. student in Computer Science at external pageECNU (East China Normal University), under the supervision of Prof. external pageTing Su and Prof. external pageGeguang Pu. His research interests include but are not limited to software testing and software analysis.
Contact details: external pagehttps://xyiheng.github.io/
Zixi Liu
Zixi is a visiting Ph.D. student at the Software Institute at external pageNJU, under the supervision of external pageProf. Yang Feng and external pageProf. Baowen Xu. She is currently working on testing/analyzing the Rust compiler.
Contact details:
Amar Shah
Amar is an intern and recently finished his undergrad at the external pageUniversity of California, Berkeley. He is interested in building safe and verifiable software. Specifically, he aims to develop better tools for software engineering, formal verification, and programming languages.
Contact details: external pagehttps://amarshah1.github.io
Dongwei Xiao
Dongwei is a visiting PhD student from external pagethe Hong Kong University of Science and Technology (HKUST) under the supervision of external pageProf. Shuai Wang. He is interested in software engineering, especially in testing complex software systems like compilers.
Contact details: external pagehttps://dongwei-xiao.github.io/
Zongjie Lee
Zongjie is a visiting PhD student from external pagethe Hong Kong University of Science and Technology (HKUST) under the supervision of external pageProf. Shuai Wang. He is interested in software engineering, especially in building better large code models.
Contact details: external pagehttps://tszdanger.github.io/
- Oliver Graf: Advanced Visual Debugging and Dynamic Program Representation in Algot, Semester Project. Co-supervisor: Sverrir Thorgeirsson.
- Ignacio Bricchi: A deep dive into understanding and evaluating LLVM's inliner, Master's Project. Co-supervisor: Theo Theodoridis
- David Bernhard: Impact of compiler optimizations on Linux kernel performance, Bachelor Thesis. Co-supervisor: Theo Theodoridis.
- Georgy Mitenkov: Gas Standard: Scalable and Precise Gas Charging Scheme for Smart Contracts, Master's Thesis. Co-supervisor: Theo Theodoridis.
- Marc Carigiet: Bounded Exhaustive Testing of Foundational Software for Correctness and Performance, Bachelor Thesis. Co-supervisor: Dominik Winterer
- Simon Hrabec: WebAssembly Feasibility in IoT and Real-Time Scenarios, Master's Thesis. Co-supervisor: Shaohua Li
- Michael Mörschell: Fully-Fledged Type-checking for and Data-centric Fuzzing with the SMT Solver Fuzzing Framework Yinyang, Bachelor Thesis. Co-supervisor: Dominik Winterer
- Ishaan Shamanna: Adaptation of Algot to an introductory online programming course, Master's Thesis. Co-supervisor: Sverrir Thorgeirsson.
- Nicola Dardanis and Lucas Weitzendorf: Synthesizing Fusion Functions for SMT Solver Testing, Master's project. Co-supervisor: Chengyu Zhang
- Christopher Meier: Testing transactions in DBMS using Graybox fuzzing techniques, Semester Project. Co-supervisor Zu-Ming Jiang
Contact
Dep. Informatik
Universitätstrasse 6
8092
Zürich
Switzerland
Contact
Dep. Inf.techno.u.Elektrotechnik
Gloriastrasse 35
8092
Zürich
Switzerland
- external pageDr. Heqing Huang, Postdoctoral Scholar, 08.2023 - 12.2023, left to: Assistant Professor, external pageCity University of Hong Kong,
- external pageShengcheng Yu, Visiting PhD student, external pageNanjing University, 07.2023 - 10.2023
- external pageYuanyuan Yuan, Visiting PhD student, HKUST, 09.2022 - 09.2023.
- Vince Szabo, ETH summer fellowship intern, TU Delft, summer 2023.
- external pageCong Li, Visiting PhD student, external pageNanjing University, 10.2021 – 10.2022.
- Yifei Lu, Visiting PhD student, external pageNanjing University, 10.2021 – 10.2022.
- external pageDr. Daming Zou, Postdoctoral Scholar, 10.2020 – 09.2022.
- Dr. Reza Sefidgar, Postdoctoral Scholar, 08.2021 – 09.2022, left to: external pageAvaloq
- external pageJiwon Park, Research Assistant, 09.2021 – 08.2022, mentor: Dominik Winterer
Current employment: PhD student, UC Berkeley - external pageDr. Manuel Rigger, Postdoctoral Scholar, 02.2019 – 07.2022, left to: Assistant Professor, external pageNational University of Singapore
- Yue Zhao, Visiting PhD student, 05.2021 – 10.2021
- external pageDr. Pinjia He, Postdoctoral Scholar, 01.2019 – 08.2021
Current employment: Assitant Professor, The Chinese University of Hong Kong, Shenzhen. - external pageJiwon Park, Research Assistant, 01.2021 – 03.2021, mentor: Dominik Winterer
- external pageDr. Ting Su, Postdoctoral Scholar, 06.2019 – 09.2020, left to: Professor, East China Normal University (external pageECNU)
- external pageAriane Nake, Administrative Assistant, 10.2018 – 09.2020
- external pageJue Wang, Visiting PhD student, 01.2019 – 01.2020
- external pageRoxana Mafteiu-Scai, Undergraduate intern, 02.2020 – 07.2020;
Summer research fellow, 07.2019 – 08.2019, left to: Fullstack developer, external pagefiskaly - external pageClara Meister, Research assistant, 01.2019 – 02.2020, left to: PhD student, ETH Zurich
- external pageIshaan Ghandi, Undergraduate intern, 02.2020 – 06.2020
- Xi Deng, Visiting PhD Student, 10.2019 – 03.2020
- external pageYichen Yan, Visiting PhD Student, 05.2019 – 12.2019
- external pageSahil Verma, Undergraduate intern, 06.2019 – 09.2019
Current employment: PhD student, University of Washington - external pageDr. Daming Zou, Visiting PhD student, 09.2018 – 09.2019
Current employment: Postdoc, ETH Zurich - external pageDr. Shuai Wang, Postdoctoral Scholar, 08.2018 – 07.2019
Current employement: Assistant Professor, external pageHKUST - external pageShashij Gupta, Undergraduate intern, 09.05.2019 – 14.07.2019
- Jiang Zhang, Undergraduate intern, 01.03.2019 – 30.06.2019
Completed BSc/MSc Theses, ETH
Bachelor Students
- Oliver Graf: Towards Robust Debugging and Enhanced Control-Flow in Algot, 2023. Mentor: Sverrir Thorgeirsson.
- Svenja Scherrer: Leveraging Value Range Analysis to find Missed Optimizations, 2023. Mentors: Yann Girsberger, Shaohua Li
- Lennart Lais: Algot as a Tool for Recursion Instruction in Secondary Education: A Comparative Study, 2023. Mentor: Sverrir Thorgeirsson.
- Oliver Wright: Implementing a Foreign Function Interface for Algot, 2023. Mentor: Sverrir Thorgeirsson.
- Dominic Wüst: Dinkel: Fuzzing GDBMSs Using Complex and Valid Queries, 2023. Mentor: Zu-Ming Jiang
- Andreas Bur: Optimizing the search for missed compiler optimizations, 2023: Mentors: Theo Theodoridis, Yann Girsberger
- Niels Saurer: Do Modern Compilers Benefit from Better Alias Analysis Information? 2023. Mentor: Theo Theodoridis
- Marvin Thomet: Transforming C programs into deterministic program templates, 2023. Mentor: Theo Theodoridis
- Theo Weidmann: Bridging the Syntax-Semantics Gap of Programming, 2022. Mentor: Sverrir Thorgeirsson
- Daniel Nezamabadi: Program Synthesis in the Visual Programming Environment Algot, 2022. Mentor: Sverrir Thorgeirsson.
- Yves Hostettler: Extending an Autotuner Approach for Inlining by Leveraging Call-Graph and Independency Properties, 2022, mentor: Theo Theodoridis.
- Benjamin Gundersen: Input/Output based Semantic Code Search, 2021, mentor: Shaohua Li.
- Giorgio Piatti: An Implementation of Prorogued Programming in Python, 2021, mentor: Sverrir Thorgeirsson
- Damiano Mombelli: Specification-free Faulty Execution Detection in Defects4J, 2021, mentor: Shaohua Li
- Matthew Weingarten: Modeling functional programming in MLIR, 2021, mentor: Tobias Grosser.
- Tim Matter: Utilizing SMT Solvers for Database System Testing, 2021, mentor: Manuel Rigger
- Bachmann Jules: Detecting Correctness Regression Bugs in DBMS, 2020, mentor: Manuel Rigger
- Jonas Müntener: A Reduction Tool for SQL, 2020, mentor: Manuel Rigger
- Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries, 2020, mentor: Manuel Rigger
- Andrin Bertschi: A PHP Implementation Built on GraalVM, 2020, mentor: Manuel Rigger
- Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing, 2020, mentor: Manuel Rigger
- Andy Nguyen: Detecting Vulnerabilities in Real-World Software with Fuzz Testing, 2019, mentor: Shuai Wang
- Loris Reiff: Context-Aware Obfuscation - A Step Towards Defeating Adversary Symbolic Analysis, 2019, mentor: Shuai Wang
Master Students
- Ziqiao Kong: Effective Fuzzing with Sanitizers by Selectively Feeding Inputs, 2023. Mentor: Shaohua Li
- Patrick Ziegler: WebAssembly Code Generation from Java Bytecode, 2023. Mentor: Theo Theodoridis
- Matteo Kamm: Metamorphic Testing of Graph Databases, 2023. Mentors: Manuel Rigger and Chengyu Zhang
- Mike Marti: Translating Between Graph Database Query Languages, 2022. Mentors: Manuel Rigger and Zu-Ming Jiang.
- Wang Shenyi: Graasp Explorer: An Online Library for Open Educational Resources, 2022, mentor: Sverrir Thorgeirsson.
- Christian Fania: Alternative Approaches to Whole Program Optimization in LLVM, 2022, mentor: Theodoros Theodoridis
- Yann Girsberger: DEAD: Dead Code Elimination based Automatic Differential Testing, 2022, mentor: Theodoros Theodoridis
- Philippe Voinov: Forest: Structural Code Editing with Multiple Cursors, 2022, mentor: Manuel Rigger
- Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases, 2021, mentor: Manuel Rigger
- Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases, 2021, mentor: Manuel Rigger
- Jack Clark: Verifying Serializability Protocols With Version Order Recovery, 2021, mentor: Manuel Rigger
- Mauro Bringolf: Fuzz Testing SMT Solvers with Formula Weakening and Strengthening, 2021, mentor: Dominik Winterer
- Konstantinos Triantafyllou: A Performance Study of Inlining, 2021, mentor: Theodoros Theodoridis
- Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems, 2020, mentor: Manuel Rigger
- Dylan Wolff: Value Mutation Testing for SMT Solvers, 2020, mentor: Dominik Winterer
- Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code, 2020, mentor: Manuel Rigger