Collaborated with:
M.Rigger R.Schatz René Mayrhofer H.Mössenböck T.Würthinger C.Wimmer C.Humer A.Wöß L.Stadler C.Seaton G.Duboscq D.Simon
Talks about:
abstract (1) program (1) practic (1) perform (1) partial (1) languag (1) sulong (1) runtim (1) execut (1) thank (1)
Person: Matthias Grimmer
DBLP: Grimmer:Matthias
Contributed to:
Wrote 2 papers:
- PLDI-2017-WurthingerWHWSS #partial evaluation
- Practical partial evaluation for high-performance dynamic language runtimes (TW, CW, CH, AW, LS, CS, GD, DS, MG), pp. 662–676.
- 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.