16 citations · 43 across the 8 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…
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…
Efficient and Deterministic Record & Replay for Actor Languages
Dominik Aumayr, Stefan Marr, Clément Béra +2
With the ubiquity of parallel commodity hardware, developers turn to high-level concurrency models such as the actor model to lower the complexity of concurrent software. However,…
Introspection for C and its Applications to Library Robustness
Manuel Rigger, Rene Mayrhofer, Roland Schatz +2
Context: In C, low-level errors, such as buffer overflow and use-after-free, are a major problem, as they cause security vulnerabilities and hard-to-find bugs. C lacks automatic ch…
A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs
Carmen Torres Lopez, Stefan Marr, Hanspeter Mössenböck +1
The actor model is an attractive foundation for developing concurrent applications because actors are isolated concurrent entities that communicate through asynchronous messages an…
A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
Stefan Marr, Carmen Torres Lopez, Dominik Aumayr +2
Today's complex software systems combine high-level concurrency models. Each model is used to solve a specific set of problems. Unfortunately, debuggers support only the low-level…