Manuel Rigger
CAB E 63
Department of Computer Science
ETH Zurich
Universitätstrasse 6
8006 Zürich
I am a postdoc at ETH Zurich, mentored by Zhendong Su, working on system security, software reliability, language implementation, and software-repository mining to uncover knowledge relevant for these areas. Before that, I worked at Johannes Kepler University Linz, mentored by Hanspeter Mössenböck, where I also completed my PhD. For my PhD, I worked on the safe execution of LLVM-based language such as C/C++ on the Java Virtual Machine (project Sulong).
News (all)
| Jun 19, 2019 | I was invited to serve on the POPL 2020 Artifact Evaluation Committee. |
| Jun 9, 2019 | I was invited to serve on the ASPLOS 2020 External Review Committee. |
| May 25, 2019 | Our paper “Understanding GCC Builtins to Develop Better Tools” was accepted at ESEC/FSE 2019. |
| Mar 27, 2019 | I was invited to be part of the jury at the <Programming> 2019 Student Research Competition. |
| Mar 22, 2019 | A video of my talk at the ETH Zurich Compiler Social has been uploaded to YouTube. |
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 |
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%) |
| 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
-
2019:
Programming (Demo Chair), ECOOP (Artifact Evaluation Co-Chair)
-
2018:
ManLang (Publicity Co-Chair)
PC Member
-
2020:
POPL (Artifact Evaluation Committee), ASPLOS (External Review Committee)
-
2019:
MPLR, ICOOOLPS, ICW, MoreVMs
-
2018:
ECOOP and ISSTA DS
-
2017:
ECOOP DS
Journal Reviewing
External Reviewer/Subreviewer
Other
Awards and Honours
- 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)
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by None)
-
Interconnecting Code Workshop (ICW) 2019: Sulong: Executing Low-level Languages on Truffle
-
Swiss LLVM Compiler and Code Generation (Compiler Social Zürich) 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
(Co-)supervised Theses
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
- 2019: Programming (Demo Chair), ECOOP (Artifact Evaluation Co-Chair)
- 2018: ManLang (Publicity Co-Chair)
PC Member
-
2020:
POPL (Artifact Evaluation Committee), ASPLOS (External Review Committee)
-
2019:
MPLR, ICOOOLPS, ICW, MoreVMs
-
2018:
ECOOP and ISSTA DS
-
2017:
ECOOP DS
Journal Reviewing
External Reviewer/Subreviewer
Other
Awards and Honours
- 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)
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by None)
-
Interconnecting Code Workshop (ICW) 2019: Sulong: Executing Low-level Languages on Truffle
-
Swiss LLVM Compiler and Code Generation (Compiler Social Zürich) 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
(Co-)supervised Theses
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
- 2020: POPL (Artifact Evaluation Committee), ASPLOS (External Review Committee)
- 2019: MPLR, ICOOOLPS, ICW, MoreVMs
- 2018: ECOOP and ISSTA DS
- 2017: ECOOP DS
Journal Reviewing
External Reviewer/Subreviewer
Other
Awards and Honours
- 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)
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by None)
-
Interconnecting Code Workshop (ICW) 2019: Sulong: Executing Low-level Languages on Truffle
-
Swiss LLVM Compiler and Code Generation (Compiler Social Zürich) 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
(Co-)supervised Theses
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
External Reviewer/Subreviewer
Other
Awards and Honours
- 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)
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by None)
-
Interconnecting Code Workshop (ICW) 2019: Sulong: Executing Low-level Languages on Truffle
-
Swiss LLVM Compiler and Code Generation (Compiler Social Zürich) 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
(Co-)supervised Theses
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
Other
Awards and Honours
- 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)
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by None)
-
Interconnecting Code Workshop (ICW) 2019: Sulong: Executing Low-level Languages on Truffle
-
Swiss LLVM Compiler and Code Generation (Compiler Social Zürich) 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
(Co-)supervised Theses
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
Awards and Honours
- 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)
-
GI Dissertation Award Colloquium 2019: Memory-safe Execution of Low-level Languages on a Java Virtual Machine (hosted by None)
-
Interconnecting Code Workshop (ICW) 2019: Sulong: Executing Low-level Languages on Truffle
-
Swiss LLVM Compiler and Code Generation (Compiler Social Zürich) 2019: Safe and Efficient Execution of LLVM-based Languages on the Java Virtual Machine
(Co-)supervised Theses
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
-
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
-
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