Prof. Zhendong Su
Department of Computer Science,
Phone: +41 44 633 77 72
Phone: +41 44 633 77 72
Spring 2021 teaching: Automated Software Testing, MSc SE 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,012 (total) / 582 (fixed)]
[Reports: Semantic Fusion (YinYang), Type-aware Mutation (OpFuzz)]
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)]
Kodethon XSat Deckard Ape Stoat Themis RobustNLP
SQLancer Yin-Yang Graalphp Atomu Perses SanRazor
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 is also an adjunct professor at UC Davis, where he had been a full professor in Computer Science and a Chancellor's Fellow 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. His work has received an ACM SIGSOFT Impact Paper Award, a Google Scholar Classic Paper (2017) Award, best/distinguished paper awards at top venues (PLDI x 2, OOPSLA, EAPLS, TACAS, ISSTA, ICSE x 2), best/distinguished artifact awards at top venues (OSDI, OOPSLA), an ACM CACM Research Highlight, an NSF CAREER Award, a UC Davis Outstanding Engineering Faculty Award, and multiple industrial faculty awards (Cisco, Google x 3, Huawei, IBM, Microsoft, Mozilla). He is an elected member of the Academia Europaea (the Academy of Europe).
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, 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., Singapore Management University, University College London, Georgia Tech, Waterloo), R&D positions at major companies (e.g., Google, Facebook, Microsoft, Tencent, and Visa Research), and scientific/technical leadership positions at successful early-stage companies (e.g., Viv Labs).
|last modified: 2021.06.24|