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 450 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
Project Links: [SQLancer] [Sulong] [Interview Questions for CS Faculty Jobs] [Getting Academic Positions (GAP) Interviewing Series]
🆕 I will join the School of Computing at the National University of Singapore as an Assistant Professor in summer 2022. I will soon be looking for PhD students interested in working on practical and conceptual solutions to software reliability.
News (all)
| Jul 21, 2021 | I have published the Getting Academic Positions (GAP) Interviewing Series, in which (new) professors share their experience applying and interviewing for faculty positions. |
| Jul 12, 2021 | I was invited to serve on the PC of ESEC/FSE 2022. |
| Jul 9, 2021 | I was invited to serve on the PC of ECOOP ‘22. |
| May 25, 2021 | I am thrilled to join the School of Computing at the National University of Singapore as an Assistant Professor in summer 2022. |
| Apr 9, 2021 | I was invited to serve on the PC of ASPLOS ‘22. |
Main Projects
Selected Publications (all)
| OSDI 2020 |
Testing Database Engines via Pivoted Query Synthesis Manuel Rigger, Zhendong Su 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), Banff, Alberta, Canada (AR: 17%) [PDF] [Artifact] [Page] [Slides (long)] [Slides (short)] |
| OOPSLA 2020 |
Finding Bugs in Database Systems via Query Partitioning Manuel Rigger, Zhendong Su Proc. ACM Program. Lang. [PDF] [DOI] [Slides] [YouTube] [Artifact] |
| ESEC/FSE 2020 |
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction Manuel Rigger, Zhendong Su Proceedings of the 2020 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Sacramento, California, United States (AR: 28%) [PDF] [DOI] [YouTube (Full)] [Slides (Teaser)] [Slides (Full)] [Reddit] [Artifact] |
| ESEC/FSE 2019 |
Understanding GCC Builtins to Develop Better Tools Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia (AR: 24%) [PDF] [DOI] [Slides] [ACM authorizer link] [Artifact] |
| 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] [ACM authorizer link] |
Activities
Organization
-
2021:
VMIL (PC co-chair), ecoop-info (Mailing-List Moderator), OSDI (Artifact Evaluation Co-Chair), ISSTA (Artifact Evaluation Co-Chair), Dagstuhl Seminar on "Ensuring the Reliability and Robustness of Database Management Systems" (Co-organizer)
-
2020:
ECOOP (Artifact Evaluation Co-Chair)
-
2019:
Programming (Demo Chair), ECOOP (Artifact Evaluation Co-Chair)
-
2018:
ManLang [previously PPPJ] (Publicity Co-Chair)
PC Member
-
2022:
ESEC/FSE, ECOOP, ASPLOS, ICSE
-
2021:
DBPL, VLDB (Demonstration Track)
-
2020:
MPLR, 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 an OSDI'20 Distinguished Artifact Award for our paper Testing Database Engines via Pivoted Query Synthesis
- 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)
-
Heisenbug (None) 2021: Using SQLancer to test ClickHouse and other database systems
-
IST Austria 2021: Finding Logic Bugs in Database Management Systems (hosted by Tom Henzinger)
-
Salesforce and Tableau 2020: Finding Logic Bugs in Database Management Systems (hosted by Tobias Muehlbauer)
Teaching
Spring 2021
- Research Topics in Software Engineering (TA)
- Data Modelling and Databases (TA)
Fall 2020
- Compiler Design (TA)
- Software Engineering Seminar (TA)
Spring 2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
Fall 2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
ETH Zurich
Bachelor Students
-
Tim Matter: Utilizing SMT Solvers for Database System Testing
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS
-
Jonas Müntener: A Reduction Tool for SQL
[GitHub]
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries
[GitHub]
-
Andrin Bertschi: A PHP Implementation Built on GraalVM
[GitHub]
[website]
[Twitter]
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Master Students
-
Philippe Voinov: A Practical Structural Code Editor (in progress)
-
Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
-
Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
-
Jack Clark: Verifying Serializability Protocols With Version Order Recovery
-
Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter]
[LinkedIn]
-
Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
-
Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
- 2021: VMIL (PC co-chair), ecoop-info (Mailing-List Moderator), OSDI (Artifact Evaluation Co-Chair), ISSTA (Artifact Evaluation Co-Chair), Dagstuhl Seminar on "Ensuring the Reliability and Robustness of Database Management Systems" (Co-organizer)
- 2020: ECOOP (Artifact Evaluation Co-Chair)
- 2019: Programming (Demo Chair), ECOOP (Artifact Evaluation Co-Chair)
- 2018: ManLang [previously PPPJ] (Publicity Co-Chair)
PC Member
-
2022:
ESEC/FSE, ECOOP, ASPLOS, ICSE
-
2021:
DBPL, VLDB (Demonstration Track)
-
2020:
MPLR, 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 an OSDI'20 Distinguished Artifact Award for our paper Testing Database Engines via Pivoted Query Synthesis
- 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)
-
Heisenbug (None) 2021: Using SQLancer to test ClickHouse and other database systems
-
IST Austria 2021: Finding Logic Bugs in Database Management Systems (hosted by Tom Henzinger)
-
Salesforce and Tableau 2020: Finding Logic Bugs in Database Management Systems (hosted by Tobias Muehlbauer)
Teaching
Spring 2021
- Research Topics in Software Engineering (TA)
- Data Modelling and Databases (TA)
Fall 2020
- Compiler Design (TA)
- Software Engineering Seminar (TA)
Spring 2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
Fall 2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
ETH Zurich
Bachelor Students
-
Tim Matter: Utilizing SMT Solvers for Database System Testing
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS
-
Jonas Müntener: A Reduction Tool for SQL
[GitHub]
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries
[GitHub]
-
Andrin Bertschi: A PHP Implementation Built on GraalVM
[GitHub]
[website]
[Twitter]
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Master Students
-
Philippe Voinov: A Practical Structural Code Editor (in progress)
-
Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
-
Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
-
Jack Clark: Verifying Serializability Protocols With Version Order Recovery
-
Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter]
[LinkedIn]
-
Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
-
Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
- 2022: ESEC/FSE, ECOOP, ASPLOS, ICSE
- 2021: DBPL, VLDB (Demonstration Track)
- 2020: MPLR, 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 an OSDI'20 Distinguished Artifact Award for our paper Testing Database Engines via Pivoted Query Synthesis
- 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)
-
Heisenbug (None) 2021: Using SQLancer to test ClickHouse and other database systems
-
IST Austria 2021: Finding Logic Bugs in Database Management Systems (hosted by Tom Henzinger)
-
Salesforce and Tableau 2020: Finding Logic Bugs in Database Management Systems (hosted by Tobias Muehlbauer)
Teaching
Spring 2021
- Research Topics in Software Engineering (TA)
- Data Modelling and Databases (TA)
Fall 2020
- Compiler Design (TA)
- Software Engineering Seminar (TA)
Spring 2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
Fall 2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
ETH Zurich
Bachelor Students
-
Tim Matter: Utilizing SMT Solvers for Database System Testing
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS
-
Jonas Müntener: A Reduction Tool for SQL
[GitHub]
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries
[GitHub]
-
Andrin Bertschi: A PHP Implementation Built on GraalVM
[GitHub]
[website]
[Twitter]
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Master Students
-
Philippe Voinov: A Practical Structural Code Editor (in progress)
-
Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
-
Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
-
Jack Clark: Verifying Serializability Protocols With Version Order Recovery
-
Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter]
[LinkedIn]
-
Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
-
Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
External Reviewer/Subreviewer
Awards and Honours
- Awarded an OSDI'20 Distinguished Artifact Award for our paper Testing Database Engines via Pivoted Query Synthesis
- 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)
-
Heisenbug (None) 2021: Using SQLancer to test ClickHouse and other database systems
-
IST Austria 2021: Finding Logic Bugs in Database Management Systems (hosted by Tom Henzinger)
-
Salesforce and Tableau 2020: Finding Logic Bugs in Database Management Systems (hosted by Tobias Muehlbauer)
Teaching
Spring 2021
- Research Topics in Software Engineering (TA)
- Data Modelling and Databases (TA)
Fall 2020
- Compiler Design (TA)
- Software Engineering Seminar (TA)
Spring 2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
Fall 2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
ETH Zurich
Bachelor Students
-
Tim Matter: Utilizing SMT Solvers for Database System Testing
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS
-
Jonas Müntener: A Reduction Tool for SQL
[GitHub]
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries
[GitHub]
-
Andrin Bertschi: A PHP Implementation Built on GraalVM
[GitHub]
[website]
[Twitter]
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Master Students
-
Philippe Voinov: A Practical Structural Code Editor (in progress)
-
Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
-
Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
-
Jack Clark: Verifying Serializability Protocols With Version Order Recovery
-
Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter]
[LinkedIn]
-
Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
-
Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
Awards and Honours
- Awarded an OSDI'20 Distinguished Artifact Award for our paper Testing Database Engines via Pivoted Query Synthesis
- 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)
-
Heisenbug (None) 2021: Using SQLancer to test ClickHouse and other database systems
-
IST Austria 2021: Finding Logic Bugs in Database Management Systems (hosted by Tom Henzinger)
-
Salesforce and Tableau 2020: Finding Logic Bugs in Database Management Systems (hosted by Tobias Muehlbauer)
Teaching
Spring 2021
- Research Topics in Software Engineering (TA)
- Data Modelling and Databases (TA)
Fall 2020
- Compiler Design (TA)
- Software Engineering Seminar (TA)
Spring 2020
- Research Topics in Software Engineering (Co-Lecturer)
- Data Modelling and Databases (TA)
Fall 2019
- Compiler Design (Lead TA)
- Software Engineering Seminar (TA)
(Co-)supervised Theses
ETH Zurich
Bachelor Students
-
Tim Matter: Utilizing SMT Solvers for Database System Testing
-
Bachmann Jules: Detecting Correctness Regression Bugs in DBMS
-
Jonas Müntener: A Reduction Tool for SQL
[GitHub]
-
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries
[GitHub]
-
Andrin Bertschi: A PHP Implementation Built on GraalVM
[GitHub]
[website]
[Twitter]
-
Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Master Students
-
Philippe Voinov: A Practical Structural Code Editor (in progress)
-
Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
-
Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
-
Jack Clark: Verifying Serializability Protocols With Version Order Recovery
-
Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter]
[LinkedIn]
-
Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
-
Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
- Tim Matter: Utilizing SMT Solvers for Database System Testing
- Bachmann Jules: Detecting Correctness Regression Bugs in DBMS
-
Jonas Müntener: A Reduction Tool for SQL
[GitHub] -
Attila Hirschi: Using Solvers to Provide Actionable Feedback to Developers for SQL Queries
[GitHub] -
Andrin Bertschi: A PHP Implementation Built on GraalVM
[GitHub] [website] [Twitter] - Antonio Russo: Incorporating Machine-level Coverage Information in Coverage-guided Fuzzing
Master Students
-
Philippe Voinov: A Practical Structural Code Editor (in progress)
-
Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
-
Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
-
Jack Clark: Verifying Serializability Protocols With Version Order Recovery
-
Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter]
[LinkedIn]
-
Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
-
Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
- Philippe Voinov: A Practical Structural Code Editor (in progress)
- Bernhard Kellermann: Finding Missed Optimizations in Query Optimizers of Relational Databases (in progress)
- Juan Díaz Sada: Using Real-world Projects to Extract and Utilize SQL Test Cases
- Jack Clark: Verifying Serializability Protocols With Version Order Recovery
- Patrick Stäuble: Automatically Finding Logic Bugs in Document-Oriented Database Systems
-
Dylan Wolff: Value Mutation Testing for SMT Solvers
[Twitter] [LinkedIn] - Hannes Pfammatter: Investigating the Effects of Unsafe Compiler Optimizations for Numerical Code
- Lilian Boesch: Automatically Testing GraalVM
Johannes Kepler University Linz
Bachelor Students
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub]
[website]
-
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub]
-
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub]
-
Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
-
Thomas Pointhuber: The Cicro Benchmarking Suite
[GitHub] [website] -
Florian Aufreiter: A Random Test Case Generator for Java Bytecode
[GitHub] -
Sebastian Kloibhofer: A Class File Reducer for Debugging Java-Bytecode-Based Tools
[GitHub] - Daniel Pekarek: Implementing Inline Assembly Support for Sulong
-
Mario Kahlhofer: A Bytecode Interpreter for Lambdas and Streams in Java
[Twitter]
Master Students
-
Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub]
[paper]
[Twitter]
-
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
[paper]
[website]
[Twitter]
- Daniel Pekarek: A Truffle-based Interpreter for x86 Binary Code
-
Raphael Mosaner: On-stack Replacement in Truffle Interpreters for Non-structured Languages
[GitHub] [paper] [Twitter] - 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
[paper] [website] [Twitter]