H.Mössenböck S.Marr B.Adams R.Schatz René Mayrhofer Matthias Grimmer
understand (1) abstract (1) program (1) develop (1) builtin (1) sulong (1) execut (1) better (1) thank (1) nativ (1)
Person: Manuel Rigger
Wrote 2 papers:
- ESEC-FSE-2019-RiggerMAM #comprehension #tool support
- Understanding GCC builtins to develop better tools (MR, SM, BA, HM), pp. 74–85.
- ASPLOS-2018-RiggerSMGM #c #debugging #execution #fault #source code
- Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model (MR, RS, RM, MG, HM), pp. 377–391.