13 citations · 22 across the 4 of their papers we have counts for
6 papers · 1 filter
Out-of-Things Debugging: A Live Debugging Approach for Internet of Things
Carlos Rojas Castillo, Matteo Marra, Jim Bauwens +1
Context: Internet of Things (IoT) has become an important kind of distributed systems thanks to the wide-spread of cheap embedded devices equipped with different networking technol…
Deriving Static Security Testing from Runtime Security Protection for Web Applications
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
Context: Static Application Security Testing (SAST) and Runtime Application Security Protection (RASP) are important and complementary techniques used for detecting and enforcing a…
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…
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…
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,…
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…