16 citations · 46 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
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…
cs.PL2017★ 13 cited
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…