Autor der Publikation

CCured: type-safe retrofitting of legacy code.

, , und . POPL, Seite 128-139. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Exceptional situations and program reliability., und . ACM Trans. Program. Lang. Syst., 30 (2): 8:1-8:51 (2008)Modeling consumer-perceived web application fault severities for testing., und . ISSTA, Seite 97-106. ACM, (2010)KShot: Live Kernel Patching with SMM and SGX., , , , , , , und . DSN, Seite 1-13. IEEE, (2020)Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines., , , , , und . ESEC/SIGSOFT FSE, Seite 456-468. ACM, (2020)Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search., , und . ACM Trans. Evol. Learn. Optim., 3 (4): 13:1-13:32 (December 2023)Finding and preventing run-time error handling mistakes., und . OOPSLA, Seite 419-431. ACM, (2004)A Human Study of Comprehension and Code Summarization., , , , , , und . ICPC, Seite 2-13. ACM, (2020)CCured in the real world., , , , und . PLDI, Seite 232-244. ACM, (2003)Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)., , und . ICFP, Seite 228-242. ACM, (2016)From Organizations to Individuals: Psychoactive Substance Use By Professional Programmers., , , und . ICSE, Seite 665-677. IEEE, (2023)