Autor der Publikation

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

Inferring Method Effect Summaries for Nested Heap Regions., , , , , und . ASE, Seite 421-432. IEEE Computer Society, (2009)Keshmesh: a tool for detecting and fixing java concurrency bug patterns., , , und . OOPSLA Companion, Seite 39-40. ACM, (2011)Cascade: A Universal Programmer-Assisted Type Qualifier Inference Tool., , , und . ICSE (1), Seite 234-245. IEEE Computer Society, (2015)Use, disuse, and misuse of automated refactorings., , , , , und . ICSE, Seite 233-243. IEEE Computer Society, (2012)A Comparative Study of Manual and Automated Refactorings., , , , und . ECOOP, Volume 7920 von Lecture Notes in Computer Science, Seite 552-576. Springer, (2013)A Practical Guide to Analyzing IDE Usage Data., , , , , , und . The Art and Science of Analyzing Software Data, Morgan Kaufmann / Elsevier, (2015)The need for richer refactoring usage data., , , , , und . PLATEAU, Seite 31-38. ACM, (2011)A type and effect system for deterministic parallel Java., , , , , , , , , und . OOPSLA, Seite 97-116. ACM, (2009)Alternate refactoring paths reveal usability problems., und . ICSE, Seite 1106-1116. ACM, (2014)Region and effect inference for safe parallelism., , , , , und . Autom. Softw. Eng., 26 (2): 463-509 (2019)