Learning from Big Code: Probabilistic Models, Analysis and Synthesis

Projektinformationen

BIGCODE

ID Finanzhilfevereinbarung: 680358

DOI

10.3030/680358

Projekt abgeschlossen

EK-Unterschriftsdatum 18 Februar 2016

Startdatum 1 April 2016

Enddatum 31 März 2021

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 500 000,00

EU-Beitrag

€ 1 500 000,00

Koordiniert durch

EIDGENOESSISCHE TECHNISCHE HOCHSCHULE ZUERICH
Switzerland

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (16)

Adversarial Robustness for Code

Autoren: Pavol Bielik, Martin Vechev
Veröffentlicht in: Proceedings of The 37rd International Conference on Machine Learning, 2020
Herausgeber: ICML

Learning to find naming issues with big code and small supervision

Autoren: Jingxuan He, Cheng-Chun Lee, Veselin Raychev, Martin Vechev
Veröffentlicht in: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, Seite(n) 296-311, ISBN 9781450383912
Herausgeber: ACM
DOI: 10.1145/3453483.3454045

Robustness certification with generative models

Autoren: Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin Vechev
Veröffentlicht in: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021, Seite(n) 1141-1154, ISBN 9781450383912
Herausgeber: ACM
DOI: 10.1145/3453483.3454100

Probabilistic model for code with decision trees

Autoren: Veselin Raychev, Pavol Bielik, Martin Vechev
Veröffentlicht in: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016, 2016, Seite(n) 731-747, ISBN 9781-450344449
Herausgeber: ACM Press
DOI: 10.1145/2983990.2984041

Learning programs from noisy data

Autoren: Veselin Raychev, Pavol Bielik, Martin Vechev, Andreas Krause
Veröffentlicht in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016, 2016, Seite(n) 761-774, ISBN 9781-450335492
Herausgeber: ACM Press
DOI: 10.1145/2837614.2837671

PHOG: Probabilistic Model for Code

Autoren: Pavol Bielik, Veselin Raychev, Martin Vechev
Veröffentlicht in: Proceedings of The 33rd International Conference on Machine Learning, 2016, Seite(n) 2933-2942
Herausgeber: PMLR

Learning a Static Analyzer from Data

Autoren: Pavol Bielik, Veselin Raychev, Martin Vechev
Veröffentlicht in: Computer Aided Verification, 2017, Seite(n) 233-253
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-63387-9_12

Statistical Deobfuscation of Android Applications

Autoren: Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin Vechev
Veröffentlicht in: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16, 2016, Seite(n) 343-355, ISBN 9781-450341394
Herausgeber: ACM Press
DOI: 10.1145/2976749.2978422

Debin - Predicting Debug Information in Stripped Binaries

Autoren: Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev
Veröffentlicht in: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18, 2018, Seite(n) 1667-1680, ISBN 9781-450356930
Herausgeber: ACM Press
DOI: 10.1145/3243734.3243866

Learning to Solve SMT formulas

Autoren: Mislav Balunovic, Pavol Bielik, Martin Vechev
Veröffentlicht in: NeurIPS 2018, 2018
Herausgeber: Neurips

Differentiable Abstract Interpretation for Provably Robust Neural Networks

Autoren: MATTHEW MIRMAN, TIMON GEHR, MARTIN VECHEV
Veröffentlicht in: Proceedings of the 35 th International Conference on Machine Learning, 2018
Herausgeber: PMLR

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Autoren: Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin Vechev
Veröffentlicht in: 2018 IEEE Symposium on Security and Privacy (SP), 2018, Seite(n) 3-18, ISBN 978-1-5386-4353-2
Herausgeber: IEEE
DOI: 10.1109/sp.2018.00058

Program Synthesis for Character Level Language Modeling

Autoren: PAVOL BIELIK, VESELIN RAYCHEV, MARTIN VECHEV
Veröffentlicht in: International Conference on Learning Representations, 2017
Herausgeber: ICLR

Inferring crypto API rules from code changes

Autoren: Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev
Veröffentlicht in: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018, Seite(n) 450-464, ISBN 9781-450356985
Herausgeber: ACM Press
DOI: 10.1145/3192366.3192403

Learning fast and precise numerical analysis

Autoren: Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev
Veröffentlicht in: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020, Seite(n) 1112-1127, ISBN 9781450376136
Herausgeber: ACM
DOI: 10.1145/3385412.3386016

Adversarial Robustness for Code

Autoren: Bielik, Pavol; Vechev, Martin
Veröffentlicht in: Proceedings of Machine Learning Research, 119, Ausgabe 6, 2020
Herausgeber: ACM ICML
DOI: 10.3929/ethz-b-000466229

Peer reviewed articles (1)

Robust relational layout synthesis from examples for Android

Autoren: Pavol Bielik, Marc Fischer, Martin Vechev
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 2/OOPSLA, 2018, Seite(n) 1-29, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3276526