( en | de | ru )

 

Disambiguierung von "Vechev, Martin T."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Race detection for web applications.

, , , und . PLDI, Seite 251-262. ACM, (2012)

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.

Martin T Schwab

Daniela T P Martin

Martin T W Rosenfeld

T Peters

T Frieberg

 

Weitere Publikationen von Autoren mit dem selben Namen

Derivation and Evaluation of Concurrent Collectors., , , und . ECOOP, Volume 3586 von Lecture Notes in Computer Science, Seite 577-601. Springer, (2005)Learning a Static Analyzer from Data., , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 233-253. Springer, (2017)Verifying atomicity via data independence., , , , , , und . ISSTA, Seite 26-36. ACM, (2014)Computer-aided construction of concurrent systems.. CompSysTech, Seite 19-24. ACM, (2010)Optimal Learning of Specifications from Examples., , und . CoRR, (2016)Scalable taint specification inference with big code., , , und . PLDI, Seite 760-774. ACM, (2019)PHOG: Probabilistic Model for Code., , und . ICML, Volume 48 von JMLR Workshop and Conference Proceedings, Seite 2933-2942. JMLR.org, (2016)Programming with "Big Code": Lessons, Techniques and Applications., , und . SNAPL, Volume 32 von LIPIcs, Seite 41-50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)zkay v0.2: Practical Data Privacy for Smart Contracts., , , , und . CoRR, (2020)QVM: An Efficient Runtime for Detecting Defects in Deployed Systems., , und . ACM Trans. Softw. Eng. Methodol., 21 (1): 2:1-2:35 (2011)