Dipl.-Ing. Dr. Manuel Rigger (李曼努), M.Phil. Johannes Kepler Universität Institut für Systemsoftware Altenberger Straße 69 4040 Linz, Austria Homepage: manuelrigger.at Speakerdeck: speakerdeck.com/mrigger Twitter: twitter.com/RiggerManuel

Research Interests

• Run-time Detection of Bugs in C
• Low-Level Software Security
• Programming Language Implementation

Publications

Journals

• Rigger, M.; Mayrhofer, R.; Schatz, R.; Grimmer, M.; Mössenböck, H.:
  Introspection for C and its Applications to Library Robustness
  The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 2.
  
  

Conferences

• Rigger, M.; Marr, S.; Kell, S.; Leopoldseder, D.; Mössenböck, H.:
  An Analysis of x86-64 Inline Assembly in C Programs (Acceptance rate: 32%)
  Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE '18), Williamsburg, VA, USA, March 25, 2018 (accepted for publication).
  
  
• Rigger, M.; Schatz, R.; Mayrhofer, R.; Grimmer, M.; Mössenböck, H.:
  Sulong, and Thanks For All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model (Acceptance rate: 18%)
  Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '18), Williamsburg, VA, USA, March 24 - 28, 2018 (accepted for publication).
  
  
• Rigger, M.; Schatz, R.; Grimmer, M.; Mössenböck, H.:
  Lenient Execution of C on a Java Virtual Machine (Acceptance rate: 45%)
  14th International Conference on Managed Languages & Runtimes (ManLang, formerly PPPJ), Prague, Czech Republic, Sept. 27 - 29, 2017.
  
  
• Grimmer, M.; Rigger, M.; Schatz, R.; Stadler, L.; Mössenböck, H.:
  TruffleC: Dynamic Execution of C on a Java Virtual Machine.
  Intl. Conf. on Principles and Practice of Programming on the Java Platform (PPPJ'14), September 23-26, 2014, Cracow, Poland, pp.17-26.
  
  
• Grimmer, M., Rigger, M., Stadler, L., Schatz, R., Mössenböck, H.:
  An Efficient Native Function Interface for Java.
  Intl. Conf. on Principles and Practice of Programming on the Java Platform (PPPJ'13), Stuttgart, Germany, September 11-13, 2013, pp.35-44.
  
  

Full Workshop Papers

• Rigger, M.; Grimmer, M.; Wimmer, C.; Würthinger, T.; Mössenböck, H.:
  Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
  Workshop on Virtual Machines and Intermediate Languages (VMIL'16), Amsterdam, Netherlands, Oct. 31, 2016.
  [poster]
  
  

Other Publications

• Rigger, M.:
  Sandboxed Execution of C and Other Unsafe Languages on the Java Virtual Machine.
  Extended abstract, ACM Student Research Competition at the Intl. Conf. on the Art, Science, and Engineering of Programming (<Programming> 2018), April 9-12, Nice, France.
  
  
• Rigger, M.; Schatz, R.; Kreindl, J.; Häubl, C.; Mössenböck, H.:
  Sulong, and Thanks for All the Fish.
  Extended abstract, Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs'18), April 9-12, 2018, Nice, France (accepted for publication).
  
  
• Rigger, M.:
  Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
  ECOOP 2016 Doctoral Symposium, July 18, 2016, Rome, Italy
  
  
• Rigger, M.; Grimmer, M.; Mössenböck, H.:
  Sulong - Execution of LLVM-Based Languages on the JVM
  Vision paper, Int. Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'16), July 18, 2016, Rome, Italy.
  
  

Theses

• Rigger, M.
  Truffle/C Interpreter
  Master's thesis, Johannes Kepler University Linz, April 2014
  
  
• Rigger, M.
  German Involvement in Xiamen After the First Opium War 1842-1917
  Master's thesis, Xiamen University, May 2015
  
  

Activities

• Program committee member of the ECOOP and ISSTA Doctoral Symposium'18
• Publicity Co-Chair for ManLang'18
• External reviewer for OOPSLA Artifact Evaluation 2017
• External reviewer for PoPETs 2018.1
• Program committee member of the ECOOP 2017 Doctoral Symposium
• Subreviewer of ICOOOLPS 2017
• Subreviewer of VEE 2017

Awards

• ACM Student Research Competition Winner at Programming'18 in the graduate category

Supervised Master's Theses

• Source-Level Debugging Support for an LLVM-IR Interpreter - Jacob Kreindl (in progress)
• On-stack Replacement for Sulong - Raphael Mosaner (in progress)
• An ECMAScript 2015-Compliant Automata-based Regular Expression Engine for Graal.js - Josef Haider (in progress)

Supervised Bachelor's Theses

• A Test Case Reducer for Java Bytecode - Sebastian Kloibhofer (in progress)
• A Random Test Case Generator for Java Bytecode - Florian Aufreiter (in progress)
• Implementation of a Java Framework for Generating LLVM IR Test Cases - Thomas Pointhuber (in progress)
• Execution of Rust Programs on Sulong - Arif Celik (in progress)
• Implementing Inline Assembly Support for Sulong - Daniel Pekarek
• A Bytecode Interpreter for Lambdas and Streams in Java - Mario Kahlhofer

Attended Schools

• English Academic Writing by the ACRN Oxford Centre for Interdisciplinary Research 2018 (Cambridge, UK)
• Google PhD Student Summit on Compiler & Programming Technology 2015, 2016, and 2017 (Munich, Germany)
• Spring School on Security & Correctness in the IoT 2017 (Graz, Austria)
• Winter School on Binary Analysis 2017 (Bochum, Germany)
• Virtual Machines Summer School 2016 (Cumberland Lodge, UK)
• International Summer School on Nanotechnology and Virtual Reality (St. Pölten, Austria)