Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

An Interactive System for Data Structure Development.

J. Ou, M. Vechev, und O. Hilliges. CHI, Seite 3053-3062. ACM, (2015)

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.

T. Ertl

T. Vietor

T. Maier

T. Breitsprecher

T. Luft

Weitere Publikationen von Autoren mit dem selben Namen

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.B. Bichsel, T. Gehr, D. Drachsler-Cohen, P. Tsankov, und M. Vechev. ACM Conference on Computer and Communications Security, Seite 508-524. ACM, (2018)Effective abstractions for verification under relaxed memory models.A. Dan, Y. Meshman, M. Vechev, und E. Yahav. Computer Languages, Systems & Structures, (2017)Static serializability analysis for causal consistency.L. Brutschy, D. Dimitrov, P. Müller, und M. Vechev. PLDI, Seite 90-104. ACM, (2018)Effective Abstractions for Verification under Relaxed Memory Models.A. Dan, Y. Meshman, M. Vechev, und E. Yahav. VMCAI, Volume 8931 von Lecture Notes in Computer Science, Seite 449-466. Springer, (2015)Automatic Verification of RMA Programs via Abstraction Extrapolation.C. Baumann, A. Dan, Y. Meshman, T. Hoefler, und M. Vechev. VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 47-70. Springer, (2018)DL2: Training and Querying Neural Networks with Logic.M. Fischer, M. Balunovic, D. Drachsler-Cohen, T. Gehr, C. Zhang, und M. Vechev. ICML, Volume 97 von Proceedings of Machine Learning Research, Seite 1931-1941. PMLR, (2019)Training Neural Machines with Trace-Based Supervision.M. Mirman, D. Dimitrov, P. Djordjevic, T. Gehr, und M. Vechev. ICML, Volume 80 von Proceedings of Machine Learning Research, Seite 3566-3574. PMLR, (2018)Effective race detection for event-driven programs.V. Raychev, M. Vechev, und M. Sridharan. OOPSLA, Seite 151-166. ACM, (2013)Scalable race detection for Android applications.P. Bielik, V. Raychev, und M. Vechev. OOPSLA, Seite 332-348. ACM, (2015)Scalable and precise dynamic datarace detection for structured parallelism.R. Raman, J. Zhao, V. Sarkar, M. Vechev, und E. Yahav. PLDI, Seite 531-542. ACM, (2012)