Manuel Rigger

Registered user since Tue 14 Jun 2016

Name: Manuel Rigger

Bio: I am a postdoctoral researcher interested mainly in the secure execution of programs written in low-level languages such as C. I work on source-level and binary-level bug-finding and bug-mitigation approaches, low-level software security in general, the efficient implementation of programming languages, and the mining of software repositories to uncover knowledge related to these topics.

Country: Switzerland

Affiliation: ETH Zurich

Personal website: http://www.manuelrigger.at/

Research interests: System Software, Low-Level Security, Dynamic Compilation

Contributions

ECOOP 2020Artifact Evaluation Co-Chair in Organizing Committee
ICOOOLPS 2019Committee Member in Program Committee within the ICOOOLPS 2019-track
POPL 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
MPLR 2019Committee Member in Program Committee within the MPLR 2019-track
Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the MPLR 2019-track
ICW 2019Committee Member in Program Committee within the ICW 2019-track
Keynote Speaker of Sulong: Executing Low-level Languages on Truffle within the ICW 2019-track
MoreVMs'19Committee Member in Program Committee within the MoreVMs'19-track
ECOOP 2019Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Artifacts-track
Artifact Evaluation Co-Chair of ECOOP Awards within the Research Papers-track
‹Programming› 2019Demo Chair in Organizing Committee
Committee Member in Jury within the Student Research Competition-track
Demo Chair in Organizing committee within the Demos-track
VMIL 2018Author of A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler within the VMIL 2018-track
MoreVMs 2018Author of Sulong, and Thanks for All the Fish within the MoreVMs 2018-track
VEE 2018Author of An Analysis of x86-64 Inline Assembly in C Programs within the Research Papers-track
‹Programming› 2018Author of Introspection for C and its Applications to Library Robustness within the Research Papers-track
Author of Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine within the Student Research Competition-track
VMIL 2016Author of Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle within the VMIL-track
ICOOOLPS 2016Author of Sulong - Execution of LLVM-Based Languages on the JVM within the ICOOOLPS-track
ECOOP and ISSTACommittee Member in Program Committee within the Doc Symposium-track
ECOOP 2017Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
ECOOP 2016Author of Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages within the Doctoral Symposium-track