Manuel Rigger

According to our database1, Manuel Rigger authored at least 22 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Finding bugs in database systems via query partitioning.
Proc. ACM Program. Lang., 2020

Fast linear programming through transprecision computing on small and sparse data.
Proc. ACM Program. Lang., 2020

Front Matter, Table of Contents, Preface, Conference Organization.
Dagstuhl Artifacts Ser., 2020

Detecting optimization bugs in database engines via non-optimizing reference engine construction.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Testing Database Engines via Pivoted Query Synthesis.
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.
Dagstuhl Artifacts Ser., 2019

Understanding GCC builtins to develop better tools.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction.
Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

2018
Introspection for C and its Applications to Library Robustness.
Art Sci. Eng. Program., 2018

An Analysis of x86-64 Inline Assembly in C Programs.
Proceedings of the 14th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2018

Sulong, and thanks for all the fish.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Sandboxed execution of C and other unsafe languages on the Java virtual machine.
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations.
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

Debugging native extensions of dynamic languages.
Proceedings of the 15th International Conference on Managed Languages & Runtimes, 2018

A cost model for a graph-based intermediate-representation in a dynamic compiler.
Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows.
Proceedings of the Network and System Security - 12th International Conference, 2018

Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017
Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code.
Proceedings of the 14th International Conference on Managed Languages and Runtimes, 2017

2016
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle.
Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages, 2016

Sulong - execution of LLVM-based languages on the JVM: position paper.
Proceedings of the 11th Workshop on Implementation, 2016

2014
TruffleC: dynamic execution of C on a Java virtual machine.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013
An efficient native function interface for Java.
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013


  Loading...