13 citations · 13 across the 1 of their papers we have counts for
2 papers
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.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…