Prof. Zhendong Su Department of Computer Science, ETH Zurich CNB H 102, Universitätstrasse 6, 8092 Zürich, Switzerland maps and directions Phone: +41 44 633 77 72 Email: zhendong.su@inf.ethz.ch Web: https://people.inf.ethz.ch/suz/ Ph.D. (2002) Computer Science, UC Berkeley Team    Papers    Service    Talks    Courses

Fall 2024 teaching: Compiler Design, Software Engineering Seminar

Open positions (PhD students, post-docs, research engineers, visitors)

Available bachelor's and master's thesis topics

DBMS Testing: 400+ bugs in widely-used DBMS
(SQLite, MySQL, MariaDB, PostgreSQL, CockroachDB, and TiDB)

Project Yin-Yang for SMT Solver Testing: [Z3/CVC4 bugs: 1,560 (total) / 1,061 (fixed)]
[Reports: YinYang, OpFuzz, TypeFuzz]

EMI & SPE Compiler Testing: [GCC/LLVM bugs: 1,634 (total) / 1,076 (fixed)]
[Reports: GCC (link1, link2, link3, link4, link5), LLVM (link1, link2, link3, link4, link5)]

Algot     Kodethon     XSat     Deckard     Ape     Stoat     Themis     Genie     SetDroid     Kea

RobustNLP     SQLancer     Yin-Yang     Graalphp     Atomu     Perses     SanRazor     DEAD

TxCheck     EET     CompDiff     PGE     UBGen     Creal     Artemis     Thalia

Zhendong Su (high-def photo; short bio; 2-page short CV; full CV) is a full professor in the Department of Computer Science at ETH Zurich since August 2018. He had been a full professor in Computer Science and a Chancellor's Fellow at UC Davis until June 2019. He joined the UC Davis faculty in January 2003 after receiving his Ph.D. in Computer Science (with minor in Mathematics) from UC Berkeley. He received a B.S. in Computer Science and a B.A. in Mathematics from UT Austin in 1995.

His research spans programming languages and compilers, software engineering, computer security, deep learning and education technologies. He is passionate about fundamental and practical innovations for building software. His work has received an ACM SIGSOFT Impact Paper Award (2018), an ICSE Most Influential Paper (MIP) Award (2022), a Google Scholar Classic Paper Award (2017), best/distinguished paper awards at top venues (ASPLOS, SOSP, PLDI x 2, OOPSLA x 2, EAPLS, TACAS, ISSTA x 2, ICSE x 2, ASE), best/distinguished artifact awards at top venues (ASPLOS x 2, OSDI, OOPSLA, PLDI), an ACM CACM Research Highlight, an NSF CAREER Award, a UC Davis Outstanding Engineering Faculty Award, and multiple industrial faculty awards (Amazon, Cisco, eBPF Foundation, Google x 3, Huawei, IBM, Meta, Microsoft, Mozilla). He is a Member of the Academia Europaea, and a Fellow of the ACM and of the IEEE. He also participates in the ACM Distinguished Speaker program.

He served on the steering committees of ISSTA and ESEC/FSE, served as an Associate Editor for ACM TOSEM, co-chaired SAS 2009, program chaired ISSTA 2012, and program co-chaired SIGSOFT FSE 2016. He frequently serves on program committees of major venues (such as ICSE, FSE, ISSTA, PLDI, POPL, OOPSLA, and CAV).

His PhD/postdoctoral students also received much recognition, including a SIGSOFT Impact Paper Award, an ICSE Most Influential Paper (MIP) Award, a SIGSOFT Outstanding Dissertation Award and a UC Davis Zuhair A. Munir Best Dissertation Award; they assumed tenure-track positions at major research universities (e.g., SMU, UCL, GaTech, Waterloo, SUNY Korea, HKUST, ECNU, CUHKSZ, NUS, CityUHK, CUHK), R&D positions at major companies (e.g., Google, Facebook, Uber, Microsoft, Tencent, and Visa Research), and scientific/technical leadership positions at successful early-stage companies (e.g., Viv Labs).