Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Martin T. Vechev

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Pavol Bielik

> Home > Persons > Martin T. Vechev

Publications

2021
[c113]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/YaoBTV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/YaoBTV21
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev:
Automated Discovery of Adaptive Attacks on Adversarial Defenses. NeurIPS 2021: 26858-26870
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MirmanHBGV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MirmanHBGV21
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev:
Robustness certification with generative models. PLDI 2021: 1141-1154
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-11860
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-11860
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev:
Automated Discovery of Adaptive Attacks on Adversarial Defenses. CoRR abs/2102.11860 (2021)
2020
[c104]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/LaichBV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/LaichBV20
Larissa Laich, Pavol Bielik, Martin T. Vechev:
Guiding Program Synthesis by Learning to Generate Examples. ICLR 2020
[c103]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/BielikV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/BielikV20
Pavol Bielik, Martin T. Vechev:
Adversarial Robustness for Code. ICML 2020: 896-907
[c102]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/Dang-Nhu0BV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/Dang-Nhu0BV20
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev:
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. ICML 2020: 2356-2365
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-04694
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-04694
Pavol Bielik, Martin T. Vechev:
Adversarial Robustness for Code. CoRR abs/2002.04694 (2020)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-03778
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-03778
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev:
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. CoRR abs/2003.03778 (2020)
2019
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-13243
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-13243
Philippe Schlattner, Pavol Bielik, Martin T. Vechev:
Learning to Infer User Interface Attributes from Images. CoRR abs/1912.13243 (2019)
2018
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BielikFV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BielikFV18
Pavol Bielik, Marc Fischer, Martin T. Vechev:
Robust relational layout synthesis from examples for Android. Proc. ACM Program. Lang. 2(OOPSLA): 156:1-156:29 (2018)
[c77]
- view
- export record
  dblp key:
  - conf/nips/BalunovicBV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/BalunovicBV18
Mislav Balunovic, Pavol Bielik, Martin T. Vechev:
Learning to Solve SMT Formulas. NeurIPS 2018: 10338-10349
2017
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BielikRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BielikRV17
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Learning a Static Analyzer from Data. CAV (1) 2017: 233-253
[c60]
- view
  - electronic edition @ openreview.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclr/BielikRV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/BielikRV17
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Program Synthesis for Character Level Language Modeling. ICLR (Poster) 2017
2016
[c53]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/icml/BielikRV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/BielikRV16
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
PHOG: Probabilistic Model for Code. ICML 2016: 2933-2942
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/RaychevBV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/RaychevBV16
Veselin Raychev, Pavol Bielik, Martin T. Vechev:
Probabilistic model for code with decision trees. OOPSLA 2016: 731-747
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/El-HassanyMBVV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/El-HassanyMBVV16
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev:
SDNRacer: concurrency analysis for software-defined networks. PLDI 2016: 402-415
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/RaychevBVK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/RaychevBVK16
Veselin Raychev, Pavol Bielik, Martin T. Vechev, Andreas Krause:
Learning programs from noisy data. POPL 2016: 761-774
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BielikRV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BielikRV16
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Learning a Static Analyzer from Data. CoRR abs/1611.01752 (2016)
2015
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/BielikRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/BielikRV15
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Scalable race detection for Android applications. OOPSLA 2015: 332-348
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/snapl/BielikRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snapl/BielikRV15
Pavol Bielik, Veselin Raychev, Martin T. Vechev:
Programming with "Big Code": Lessons, Techniques and Applications. SNAPL 2015: 41-50
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sosr/MiserezBEVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosr/MiserezBEVV15
Jeremie Miserez, Pavol Bielik, Ahmed El-Hassany, Laurent Vanbever, Martin T. Vechev:
SDNRacer: detecting concurrency violations in software-defined networks. SOSR 2015: 22:1-22:7

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.