Manuel Rigger
ETH Zurich, CNB H 101
Universitätstrasse 6
Switzerland, 8006 Zurich
Universitätstrasse 6
Switzerland, 8006 Zurich
Manuel Rigger is a postdoctoral researcher in the Advanced Software Technologies (AST) Lab at ETH Zurich, mentored by Zhendong Su. He is working on programming language implementation, software reliability, and systems. In his recent work, he has been focusing on automatically testing Database Management Systems, part of which he found over 300 bugs in widely-used systems such as SQLite, MySQL, PostgreSQL, MariaDB, and CockroachDB. He completed his PhD at Johannes Kepler University Linz, mentored by Hanspeter Mössenböck, where he worked on the safe and efficient execution of unsafe languages (project Sulong). Part of his work was integrated into Oracle’s GraalVM to support the execution of LLVM IR on this platform.
Contact: manuel.rigger@inf.ethz.ch
News (all)
| Feb 27, 2020 | I was invited to co-organize the Artifact Evaluation for ISSTA 2021. |
| Feb 12, 2020 | I was invited to serve on the PC of the Dynamic Language Symposium (DLS) 2020. |
| Feb 12, 2020 | I was invited to present our work on testing Database Management Systems at the Cockroach Labs headquarters in New York City. |
| Jan 27, 2020 | Our DBMS-testing efforts are now highlighted on the SQLite3 homepage at https://www.sqlite.org/testing.html (see Section 4.1.4). |
| Jan 13, 2020 | A preprint of our paper Testing Database Engines via Pivoted Query Synthesis is now available. |
Selected Publications (all)
| ASPLOS 2018 | Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model Manuel Rigger, Roland Schatz, Rene Mayrhofer, Matthias Grimmer, Hanspeter Mössenböck Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, Williamsburg, VA, USA (AR: 18%) [pdf] [bibtex] [doi] [slides] |
| ESEC/FSE 2019 |
|
| VEE 2018 | An Analysis of x86-64 Inline Assembly in C Programs Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, Williamsburg, VA, USA (AR: 32%) [pdf] [bibtex] [doi] [slides] |
| VMIL 2016 | Bringing Low-level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, Amsterdam, Netherlands [pdf] [bibtex] [doi] [slides] |
Activities
Organization
-
2021:
ISSTA (Artifact Evaluation Co-Chair)
-
2020:
ECOOP (Artifact Evaluation Co-Chair)
-
2019:
Programming (Demo Chair), ECOOP (Artifact Evaluation Co-Chair)
-
2018:
ManLang [previously PPPJ] (Publicity Co-Chair)
PC Member
-
2020:
DLS, MoreVMs, POPL (Artifact Evaluation Committee), ASPLOS (External Review Committee Member)
-
2019:
MPLR, ICOOOLPS, ICW, MoreVMs
-
2018:
ECOOP and ISSTA DS
-
2017:
ECOOP DS
Journal Reviewing
External Reviewer/Subreviewer
Awards and Honours
- Awarded a JKU Early Research Achievement Award 2019 by Johannes Kepler University Linz, Austria
- Nominee for the GI doctoral thesis award by the Department of Computer Science at JKU Linz, Austria
- ACM Student Research Competition Winner at Programming'18 in the graduate category
Recent Talks (all)
-
Swiss PGDay (Canceled due to COVID-19) (The Swiss conference on PostgreSQL) 2020: 300 Bugs in Database Management Systems - On the Reliability of PostgreSQL
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by Gesellschaft für Informatik (GI))
-
Interconnecting Code Workshop 2019: Sulong: Executing Low-level Languages on Truffle (Keynote) (hosted by Eric Jul)
Teaching
2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
Johannes Kepler University Linz
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
-
Josef Haider: An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
-
Jacob Kreindl: Source-Level Debugging Support for an LLVM-IR Interpreter
Bachelor Students
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
- 2021: ISSTA (Artifact Evaluation Co-Chair)
- 2020: ECOOP (Artifact Evaluation Co-Chair)
- 2019: Programming (Demo Chair), ECOOP (Artifact Evaluation Co-Chair)
- 2018: ManLang [previously PPPJ] (Publicity Co-Chair)
PC Member
-
2020:
DLS, MoreVMs, POPL (Artifact Evaluation Committee), ASPLOS (External Review Committee Member)
-
2019:
MPLR, ICOOOLPS, ICW, MoreVMs
-
2018:
ECOOP and ISSTA DS
-
2017:
ECOOP DS
Journal Reviewing
External Reviewer/Subreviewer
Awards and Honours
- Awarded a JKU Early Research Achievement Award 2019 by Johannes Kepler University Linz, Austria
- Nominee for the GI doctoral thesis award by the Department of Computer Science at JKU Linz, Austria
- ACM Student Research Competition Winner at Programming'18 in the graduate category
Recent Talks (all)
-
Swiss PGDay (Canceled due to COVID-19) (The Swiss conference on PostgreSQL) 2020: 300 Bugs in Database Management Systems - On the Reliability of PostgreSQL
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by Gesellschaft für Informatik (GI))
-
Interconnecting Code Workshop 2019: Sulong: Executing Low-level Languages on Truffle (Keynote) (hosted by Eric Jul)
Teaching
2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
Johannes Kepler University Linz
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
-
Josef Haider: An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
-
Jacob Kreindl: Source-Level Debugging Support for an LLVM-IR Interpreter
Bachelor Students
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
- 2020: DLS, MoreVMs, POPL (Artifact Evaluation Committee), ASPLOS (External Review Committee Member)
- 2019: MPLR, ICOOOLPS, ICW, MoreVMs
- 2018: ECOOP and ISSTA DS
- 2017: ECOOP DS
Journal Reviewing
External Reviewer/Subreviewer
Awards and Honours
- Awarded a JKU Early Research Achievement Award 2019 by Johannes Kepler University Linz, Austria
- Nominee for the GI doctoral thesis award by the Department of Computer Science at JKU Linz, Austria
- ACM Student Research Competition Winner at Programming'18 in the graduate category
Recent Talks (all)
-
Swiss PGDay (Canceled due to COVID-19) (The Swiss conference on PostgreSQL) 2020: 300 Bugs in Database Management Systems - On the Reliability of PostgreSQL
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by Gesellschaft für Informatik (GI))
-
Interconnecting Code Workshop 2019: Sulong: Executing Low-level Languages on Truffle (Keynote) (hosted by Eric Jul)
Teaching
2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
Johannes Kepler University Linz
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
-
Josef Haider: An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
-
Jacob Kreindl: Source-Level Debugging Support for an LLVM-IR Interpreter
Bachelor Students
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
External Reviewer/Subreviewer
Awards and Honours
- Awarded a JKU Early Research Achievement Award 2019 by Johannes Kepler University Linz, Austria
- Nominee for the GI doctoral thesis award by the Department of Computer Science at JKU Linz, Austria
- ACM Student Research Competition Winner at Programming'18 in the graduate category
Recent Talks (all)
-
Swiss PGDay (Canceled due to COVID-19) (The Swiss conference on PostgreSQL) 2020: 300 Bugs in Database Management Systems - On the Reliability of PostgreSQL
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by Gesellschaft für Informatik (GI))
-
Interconnecting Code Workshop 2019: Sulong: Executing Low-level Languages on Truffle (Keynote) (hosted by Eric Jul)
Teaching
2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
Johannes Kepler University Linz
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
-
Josef Haider: An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
-
Jacob Kreindl: Source-Level Debugging Support for an LLVM-IR Interpreter
Bachelor Students
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Awards and Honours
- Awarded a JKU Early Research Achievement Award 2019 by Johannes Kepler University Linz, Austria
- Nominee for the GI doctoral thesis award by the Department of Computer Science at JKU Linz, Austria
- ACM Student Research Competition Winner at Programming'18 in the graduate category
Recent Talks (all)
-
Swiss PGDay (Canceled due to COVID-19) (The Swiss conference on PostgreSQL) 2020: 300 Bugs in Database Management Systems - On the Reliability of PostgreSQL
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by Gesellschaft für Informatik (GI))
-
Interconnecting Code Workshop 2019: Sulong: Executing Low-level Languages on Truffle (Keynote) (hosted by Eric Jul)
Teaching
2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
Johannes Kepler University Linz
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
-
Josef Haider: An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
-
Jacob Kreindl: Source-Level Debugging Support for an LLVM-IR Interpreter
Bachelor Students
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
-
Josef Haider: An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js
-
Jacob Kreindl: Source-Level Debugging Support for an LLVM-IR Interpreter
Bachelor Students
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
-
Thomas Pointhuber: Implementation of a Java Framework for Generating LLVM IR Test Cases
-
Arif Celik: Execution of Rust Programs on Sulong (in progress)
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
ETH Zurich
Master Students
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
-
Lilian Boesch: Automatically Testing GraalVM (in progress)
Bachelor Students
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS (in progress)
-
Jonas Müntener: A Reduction Tool for SQL (in progress)
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries (in progress)
-
Andrin Bertschi: A PHP Implementation Built on GraalVM (in progress)
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing