Manuel RIGGER
Assistant Professor- Postdoctoral researcher (Computer Science, ETH Zurich, Switzerland, 2019-2022)
- Ph.D (Computer Science, Johannes Kepler University Linz, Austria, 2019)
- M.Sc. (Software Engineering, Johannes Kepler University Linz, Austria, 2015)
- M.Phil. (Chinese Philosophy, Xiamen University, China, 2015)
- B.Sc. (Computer Science, Johannes Kepler University Linz, Austria, 2013)
RESEARCH AREAS
Programming Languages & Software Engineering
- Compilers
- Program Analysis
- Software Testing
RESEARCH INTERESTS
Correctness and reliability of data-centric systems
Automated testing approaches
Compilers and virtual machines
RESEARCH PROJECTS
Validating Relational Database Systems at Scale via Learning-based Automated Testing
This research aims to fully automate the testing of relational database systems, focusing on test-case generation, reduction, and deduplication. By combining traditional and learning-based methods, the project seeks to improve testing efficiency. As part of our ongoing efforts, we have found more than 100 unique, previously unknown bugs in key systems.
SQLancer: Automatic Testing of Database Management Systems
SQLancer automatically finds logic bugs in Database Management Systems (DBMSs). We have used SQLancer to find and report over 500 unique, previously unknown bugs in widely-used DBMSs. In addition, SQLancer has been widely adopted in the industry.
TRL 9
RESEARCH GROUPS
TEACHING INNOVATIONS
SELECTED PUBLICATIONS
AWARDS & HONOURS
COURSES TAUGHT
CS3213
Foundations of Software Engineering
CS6223
Advanced Topics in Software Testing