activity
20172025
most citedEfficient and Deterministic Record & Replay for Actor Languages

16 citations · 43 across the 8 of their papers we have counts for

collaborators

10 papers

cs.PL2025

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation

Lukas Makor, Sebastian Kloibhofer, Peter Hofer +2

Data structures are a cornerstone of most modern programming languages. Whether they are provided via separate libraries, built into the language specification, or as part of the l…

cs.PL2019★ 2 cited

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

Raphael Mosaner, David Leopoldseder, Manuel Rigger +2

On-stack replacement (OSR) is a common technique employed by dynamic compilers to reduce program warm-up time. OSR allows switching from interpreted to compiled code during the exe…

cs.PL2019★ 3 cited

Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications

Dominik Aumayr, Stefan Marr, Elisa Gonzalez Boix +1

The actor model is popular for many types of server applications. Efficient snapshotting of applications is crucial in the deployment of pre-initialized applications or moving runn…

cs.PL2019

Understanding GCC Builtins to Develop Better Tools

Manuel Rigger, Stefan Marr, Bram Adams +1

C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, GCC provides several thousands of builtins that are also supported by other matur…

cs.SE2018★ 1 cited

Debugging Native Extensions of Dynamic Languages

Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck

Many dynamic programming languages such as Ruby and Python enable developers to use so called native extensions, code implemented in typically statically compiled languages like C…

cs.CR2018★ 3 cited

Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows

Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck

In languages like C, buffer overflows are widespread. A common mitigation technique is to use tools that detect them during execution and abort the program to prevent the leakage o…