16 citations · 46 across the 7 of their papers we have counts for
10 papers
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Dominik Aumayr, Stefan Marr, Sophie Kaleba +2
With concurrency being integral to most software systems, developers combine high-level concurrency models in the same application to tackle each problem with appropriate abstracti…
Which of My Transient Type Checks Are Not (Almost) Free?
Isaac Oscar Gariano, Richard Roberts, Stefan Marr +2
One form of type checking used in gradually typed language is transient type checking: whenever an object 'flows' through code with a type annotation, the object is dynamically che…
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…
Transient Typechecks are (Almost) Free
Richard Roberts, Stefan Marr, Michael Homer +1
Transient gradual typing imposes run-time type tests that typically cause a linear slowdown in programs' performance. This performance impact discourages the use of type annotation…
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,…