BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
M.Rigger R.Schatz Matthias Grimmer H.Mössenböck
Talks about:
abstract (1) program (1) sulong (1) execut (1) thank (1) nativ (1) model (1) error (1) find (1) bug (1)

Person: René Mayrhofer

DBLP DBLP: Mayrhofer:Ren=eacute=

Contributed to:

ASPLOS 20182018

Wrote 1 papers:

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.