( en | de | ru )

 

Disambiguierung von "Vechev, Martin T."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
FARE: Provably Fair Representation Learning with Practical Certificates.

, , , und . ICML, Volume 202 von Proceedings of Machine Learning Research, Seite 15401-15420. PMLR, (2023)

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 Attin

T Neumann

 

Weitere Publikationen von Autoren mit dem selben Namen

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