Autor der Publikation

Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs.

, , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 161-176. Springer, (2011)

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

Precise Analysis of Java Programs Using JOANA., und . SCAM, Seite 267-268. IEEE Computer Society, (2008)An Evaluation of Slicing Algorithms for Concurrent Programs., und . SCAM, Seite 17-26. IEEE Computer Society, (2007)IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications., , und . CoRR, (2018)R-Droid: Leveraging Android App Analysis with Static Slice Optimization., , , , und . AsiaCCS, Seite 129-140. ACM, (2016)Flexible access control for javascript., , , , und . OOPSLA, Seite 305-322. ACM, (2013)Learning how to prevent return-oriented programming efficiently., , und . Software Engineering, Volume P-252 von LNI, Seite 43-44. GI, (2016)A Type System for Data-Centric Synchronization., , , , und . ECOOP, Volume 6183 von Lecture Notes in Computer Science, Seite 304-328. Springer, (2010)Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs., , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 161-176. Springer, (2011)Information Flow Control for Event Handling and the DOM in Web Browsers., , , und . CSF, Seite 366-379. IEEE Computer Society, (2015)A data-centric approach to synchronization., , , , , und . ACM Trans. Program. Lang. Syst., 34 (1): 4:1-4:48 (2012)