Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin T. Vechev
@article{DBLP:journals/quantum/ParadisBV24,
author = {Anouk Paradis and
Benjamin Bichsel and
Martin T. Vechev},
title = {Reqomp: Space-constrained Uncomputation for Quantum Circuits},
journal = {Quantum},
volume = {8},
pages = {1258},
year = {2024},
url = {https://doi.org/10.22331/q-2024-02-19-1258},
doi = {10.22331/Q-2024-02-19-1258},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/ParadisBV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-02430,
author = {Momchil Peychev and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Automated Classification of Model Errors on ImageNet},
journal = {CoRR},
volume = {abs/2401.02430},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.02430},
doi = {10.48550/ARXIV.2401.02430},
eprinttype = {arXiv},
eprint = {2401.02430},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-02430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02823,
author = {Jasper Dekoninck and
Mark Niklas M{\"{u}}ller and
Maximilian Baader and
Marc Fischer and
Martin T. Vechev},
title = {Evading Data Contamination Detection for Language Models is (too)
Easy},
journal = {CoRR},
volume = {abs/2402.02823},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02823},
doi = {10.48550/ARXIV.2402.02823},
eprinttype = {arXiv},
eprint = {2402.02823},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-09497,
author = {Jingxuan He and
Mark Vero and
Gabriela Krasnopolska and
Martin T. Vechev},
title = {Instruction Tuning for Secure Code Generation},
journal = {CoRR},
volume = {abs/2402.09497},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.09497},
doi = {10.48550/ARXIV.2402.09497},
eprinttype = {arXiv},
eprint = {2402.09497},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-09497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13291,
author = {Berkay Berabi and
Alexey Gronskiy and
Veselin Raychev and
Gishor Sivanrupan and
Victor Chibotaru and
Martin T. Vechev},
title = {DeepCode {AI} Fix: Fixing Security Vulnerabilities with Large Language
Models},
journal = {CoRR},
volume = {abs/2402.13291},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13291},
doi = {10.48550/ARXIV.2402.13291},
eprinttype = {arXiv},
eprint = {2402.13291},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13846,
author = {Robin Staab and
Mark Vero and
Mislav Balunovic and
Martin T. Vechev},
title = {Large Language Models are Advanced Anonymizers},
journal = {CoRR},
volume = {abs/2402.13846},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13846},
doi = {10.48550/ARXIV.2402.13846},
eprinttype = {arXiv},
eprint = {2402.13846},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-19361,
author = {Nikola Jovanovic and
Robin Staab and
Martin T. Vechev},
title = {Watermark Stealing in Large Language Models},
journal = {CoRR},
volume = {abs/2402.19361},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.19361},
doi = {10.48550/ARXIV.2402.19361},
eprinttype = {arXiv},
eprint = {2402.19361},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-19361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-03945,
author = {Dimitar I. Dimitrov and
Maximilian Baader and
Mark Niklas M{\"{u}}ller and
Martin T. Vechev},
title = {{SPEAR:} Exact Gradient Inversion of Batches in Federated Learning},
journal = {CoRR},
volume = {abs/2403.03945},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03945},
doi = {10.48550/ARXIV.2403.03945},
eprinttype = {arXiv},
eprint = {2403.03945},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-06988,
author = {Luca Beurer{-}Kellner and
Marc Fischer and
Martin T. Vechev},
title = {Guiding LLMs The Right Way: Fast, Non-Invasive Constrained Generation},
journal = {CoRR},
volume = {abs/2403.06988},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.06988},
doi = {10.48550/ARXIV.2403.06988},
eprinttype = {arXiv},
eprint = {2403.06988},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-06988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07095,
author = {Stefan Balauca and
Mark Niklas M{\"{u}}ller and
Yuhao Mao and
Maximilian Baader and
Marc Fischer and
Martin T. Vechev},
title = {Overcoming the Paradox of Certified Training with Gaussian Smoothing},
journal = {CoRR},
volume = {abs/2403.07095},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07095},
doi = {10.48550/ARXIV.2403.07095},
eprinttype = {arXiv},
eprint = {2403.07095},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Vechev23,
author = {Martin T. Vechev},
title = {Technical Perspective: Beautiful Symbolic Abstractions for Safe and
Secure Machine Learning},
journal = {Commun. {ACM}},
volume = {66},
number = {2},
pages = {104},
year = {2023},
url = {https://doi.org/10.1145/3576893},
doi = {10.1145/3576893},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/Vechev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Muller0SV23,
author = {Mark Niklas M{\"{u}}ller and
Marc Fischer and
Robin Staab and
Martin T. Vechev},
title = {Abstract Interpretation of Fixpoint Iterators with Applications to
Neural Networks},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {786--810},
year = {2023},
url = {https://doi.org/10.1145/3591252},
doi = {10.1145/3591252},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Muller0SV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Beurer-Kellner023,
author = {Luca Beurer{-}Kellner and
Marc Fischer and
Martin T. Vechev},
title = {Prompting Is Programming: {A} Query Language for Large Language Models},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1946--1969},
year = {2023},
url = {https://doi.org/10.1145/3591300},
doi = {10.1145/3591300},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/Beurer-Kellner023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/BichselPBV23,
author = {Benjamin Bichsel and
Anouk Paradis and
Maximilian Baader and
Martin T. Vechev},
title = {Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation},
journal = {Quantum},
volume = {7},
pages = {1185},
year = {2023},
url = {https://doi.org/10.22331/q-2023-11-20-1185},
doi = {10.22331/Q-2023-11-20-1185},
timestamp = {Thu, 28 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/BichselPBV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeV23,
author = {Jingxuan He and
Martin T. Vechev},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Large Language Models for Code: Security Hardening and Adversarial
Testing},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1865--1879},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623175},
doi = {10.1145/3576915.3623175},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/HeV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LoknaPDV23,
author = {Johan Lokna and
Anouk Paradis and
Dimitar I. Dimitrov and
Martin T. Vechev},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Group and Attack: Auditing Differential Privacy},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1905--1918},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3616607},
doi = {10.1145/3576915.3616607},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/LoknaPDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/DornerPKGAV23,
author = {Florian E. Dorner and
Momchil Peychev and
Nikola Konstantinov and
Naman Goel and
Elliott Ash and
Martin T. Vechev},
title = {Human-Guided Fair Classification for Natural Language Processing},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=N\_g8TT9Cy7f},
timestamp = {Fri, 30 Jun 2023 14:38:38 +0200},
biburl = {https://dblp.org/rec/conf/iclr/DornerPKGAV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/MullerE0V23,
author = {Mark Niklas M{\"{u}}ller and
Franziska Eckert and
Marc Fischer and
Martin T. Vechev},
title = {Certified Training: Small Boxes are All You Need},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=7oFuxtJtUMH},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/MullerE0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/ZeqiriM0V23,
author = {Mustafa Zeqiri and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Efficient Certified Training and Robustness Verification of Neural
ODEs},
booktitle = {The Eleventh International Conference on Learning Representations,
{ICLR} 2023, Kigali, Rwanda, May 1-5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=KyoVpYvWWnK},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/ZeqiriM0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/0001BDV23,
author = {Nikola Jovanovic and
Mislav Balunovic and
Dimitar Iliev Dimitrov and
Martin T. Vechev},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {{FARE:} Provably Fair Representation Learning with Practical Certificates},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {15401--15420},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/jovanovic23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/0001BDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/VeroBDV23,
author = {Mark Vero and
Mislav Balunovic and
Dimitar Iliev Dimitrov and
Martin T. Vechev},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {TabLeak: Tabular Data Leakage in Federated Learning},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {35051--35083},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/vero23a.html},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/VeroBDV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/DornerKPV23,
author = {Florian E. Dorner and
Nikola Konstantinov and
Georgi Pashaliev and
Martin T. Vechev},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Incentivizing Honesty among Competitors in Collaborative Learning
and Optimization},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/182b39a4458fb4a9a8d6871a6671ff3e-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DornerKPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MaoM0V23,
author = {Yuhao Mao and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Connecting Certified and Adversarial Training},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/e8b0c97b34fdaf58b2f48f8cca85e76a-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/MaoM0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/PeychevM0V23,
author = {Momchil Peychev and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Automated Classification of Model Errors on ImageNet},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/7480ed13740773505262791131c12b89-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/PeychevM0V23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-05319,
author = {Jingxuan He and
Martin T. Vechev},
title = {Controlling Large Language Models to Generate Secure and Vulnerable
Code},
journal = {CoRR},
volume = {abs/2302.05319},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.05319},
doi = {10.48550/ARXIV.2302.05319},
eprinttype = {arXiv},
eprint = {2302.05319},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-05319.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-05246,
author = {Mustafa Zeqiri and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Efficient Certified Training and Robustness Verification of Neural
ODEs},
journal = {CoRR},
volume = {abs/2303.05246},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.05246},
doi = {10.48550/ARXIV.2303.05246},
eprinttype = {arXiv},
eprint = {2303.05246},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-00921,
author = {Benjamin Bichsel and
Maximilian Baader and
Anouk Paradis and
Martin T. Vechev},
title = {Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation},
journal = {CoRR},
volume = {abs/2304.00921},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.00921},
doi = {10.48550/ARXIV.2304.00921},
eprinttype = {arXiv},
eprint = {2304.00921},
timestamp = {Wed, 19 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-00921.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-04574,
author = {Yuhao Mao and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {{TAPS:} Connecting Certified and Adversarial Training},
journal = {CoRR},
volume = {abs/2305.04574},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.04574},
doi = {10.48550/ARXIV.2305.04574},
eprinttype = {arXiv},
eprint = {2305.04574},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-04574.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15852,
author = {Niels M{\"{u}}ndler and
Jingxuan He and
Slobodan Jenko and
Martin T. Vechev},
title = {Self-contradictory Hallucinations of Large Language Models: Evaluation,
Detection and Mitigation},
journal = {CoRR},
volume = {abs/2305.15852},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15852},
doi = {10.48550/ARXIV.2305.15852},
eprinttype = {arXiv},
eprint = {2305.15852},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16272,
author = {Florian E. Dorner and
Nikola Konstantinov and
Georgi Pashaliev and
Martin T. Vechev},
title = {Incentivizing Honesty among Competitors in Collaborative Learning
and Optimization},
journal = {CoRR},
volume = {abs/2305.16272},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16272},
doi = {10.48550/ARXIV.2305.16272},
eprinttype = {arXiv},
eprint = {2305.16272},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03013,
author = {Kostadin Garov and
Dimitar I. Dimitrov and
Nikola Jovanovic and
Martin T. Vechev},
title = {Hiding in Plain Sight: Disguising Data Stealing Attacks in Federated
Learning},
journal = {CoRR},
volume = {abs/2306.03013},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.03013},
doi = {10.48550/ARXIV.2306.03013},
eprinttype = {arXiv},
eprint = {2306.03013},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-03013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-10426,
author = {Yuhao Mao and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Understanding Certified Training with Interval Bound Propagation},
journal = {CoRR},
volume = {abs/2306.10426},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.10426},
doi = {10.48550/ARXIV.2306.10426},
eprinttype = {arXiv},
eprint = {2306.10426},
timestamp = {Thu, 22 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-10426.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-03577,
author = {Mark Vero and
Mislav Balunovic and
Martin T. Vechev},
title = {Programmable Synthetic Tabular Data Generation},
journal = {CoRR},
volume = {abs/2307.03577},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.03577},
doi = {10.48550/ARXIV.2307.03577},
eprinttype = {arXiv},
eprint = {2307.03577},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-03577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-07298,
author = {Robin Staab and
Mark Vero and
Mislav Balunovic and
Martin T. Vechev},
title = {Beyond Memorization: Violating Privacy Via Inference with Large Language
Models},
journal = {CoRR},
volume = {abs/2310.07298},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.07298},
doi = {10.48550/ARXIV.2310.07298},
eprinttype = {arXiv},
eprint = {2310.07298},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-07298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04015,
author = {Maximilian Baader and
Mark Niklas M{\"{u}}ller and
Yuhao Mao and
Martin T. Vechev},
title = {Expressivity of ReLU-Networks under Convex Relaxations},
journal = {CoRR},
volume = {abs/2311.04015},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04015},
doi = {10.48550/ARXIV.2311.04015},
eprinttype = {arXiv},
eprint = {2311.04015},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04954,
author = {Luca Beurer{-}Kellner and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Prompt Sketching for Large Language Models},
journal = {CoRR},
volume = {abs/2311.04954},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04954},
doi = {10.48550/ARXIV.2311.04954},
eprinttype = {arXiv},
eprint = {2311.04954},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04954.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-10500,
author = {Robin Staab and
Nikola Jovanovic and
Mislav Balunovic and
Martin T. Vechev},
title = {From Principle to Practice: Vertical Data Minimization for Machine
Learning},
journal = {CoRR},
volume = {abs/2311.10500},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.10500},
doi = {10.48550/ARXIV.2311.10500},
eprinttype = {arXiv},
eprint = {2311.10500},
timestamp = {Wed, 22 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-14479,
author = {Jasper Dekoninck and
Marc Fischer and
Luca Beurer{-}Kellner and
Martin T. Vechev},
title = {Controlled Text Generation via Language Model Arithmetic},
journal = {CoRR},
volume = {abs/2311.14479},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.14479},
doi = {10.48550/ARXIV.2311.14479},
eprinttype = {arXiv},
eprint = {2311.14479},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-14479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MullerMSPV22,
author = {Mark Niklas M{\"{u}}ller and
Gleb Makarchuk and
Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
title = {{PRIMA:} general and precise neural network certification via scalable
convex hull approximations},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--33},
year = {2022},
url = {https://doi.org/10.1145/3498704},
doi = {10.1145/3498704},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/MullerMSPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmlr/DimitrovBKV22,
author = {Dimitar Iliev Dimitrov and
Mislav Balunovic and
Nikola Konstantinov and
Martin T. Vechev},
title = {Data Leakage in Federated Averaging},
journal = {Trans. Mach. Learn. Res.},
volume = {2022},
year = {2022},
url = {https://openreview.net/forum?id=e7A0B99zJf},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmlr/DimitrovBKV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmlr/JovanovicBBV22,
author = {Nikola Jovanovic and
Mislav Balunovic and
Maximilian Baader and
Martin T. Vechev},
title = {On the Paradox of Certified Training},
journal = {Trans. Mach. Learn. Res.},
volume = {2022},
year = {2022},
url = {https://openreview.net/forum?id=atJHLVyBi8},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmlr/JovanovicBBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmlr/MirmanBV22,
author = {Matthew Mirman and
Maximilian Baader and
Martin T. Vechev},
title = {The Fundamental Limits of Neural Networks for Interval Certified Robustness},
journal = {Trans. Mach. Learn. Res.},
volume = {2022},
year = {2022},
url = {https://openreview.net/forum?id=fsacLLU35V},
timestamp = {Fri, 19 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmlr/MirmanBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FischerSDSV22,
author = {Marc Fischer and
Christian Sprecher and
Dimitar I. Dimitrov and
Gagandeep Singh and
Martin T. Vechev},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Shared Certificates for Neural Network Verification},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {127--148},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_7},
doi = {10.1007/978-3-031-13185-1\_7},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FischerSDSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/00010SV22,
author = {Nikola Jovanovic and
Marc Fischer and
Samuel Steffen and
Martin T. Vechev},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {Private and Reliable Neural Network Inference},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {1663--1677},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560709},
doi = {10.1145/3548606.3560709},
timestamp = {Sat, 17 Dec 2022 01:15:29 +0100},
biburl = {https://dblp.org/rec/conf/ccs/00010SV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SteffenBV22,
author = {Samuel Steffen and
Benjamin Bichsel and
Martin T. Vechev},
editor = {Heng Yin and
Angelos Stavrou and
Cas Cremers and
Elaine Shi},
title = {Zapper: Smart Contracts with Data and Identity Privacy},
booktitle = {Proceedings of the 2022 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2022, Los Angeles, CA, USA, November
7-11, 2022},
pages = {2735--2749},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3548606.3560622},
doi = {10.1145/3548606.3560622},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/SteffenBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/PeychevRBBV22,
author = {Momchil Peychev and
Anian Ruoss and
Mislav Balunovic and
Maximilian Baader and
Martin T. Vechev},
editor = {Shai Avidan and
Gabriel J. Brostow and
Moustapha Ciss{\'{e}} and
Giovanni Maria Farinella and
Tal Hassner},
title = {Latent Space Smoothing for Individually Fair Representations},
booktitle = {Computer Vision - {ECCV} 2022 - 17th European Conference, Tel Aviv,
Israel, October 23-27, 2022, Proceedings, Part {XIII}},
series = {Lecture Notes in Computer Science},
volume = {13673},
pages = {535--554},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19778-9\_31},
doi = {10.1007/978-3-031-19778-9\_31},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/PeychevRBBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BalunovicDSV22,
author = {Mislav Balunovic and
Dimitar Iliev Dimitrov and
Robin Staab and
Martin T. Vechev},
title = {Bayesian Framework for Gradient Leakage},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=f2lrIbGx3x7},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/BalunovicDSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BalunovicRV22,
author = {Mislav Balunovic and
Anian Ruoss and
Martin T. Vechev},
title = {Fair Normalizing Flows},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=BrFIKuxrZE},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/BalunovicRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/Dimitrov0GV22,
author = {Dimitar Iliev Dimitrov and
Gagandeep Singh and
Timon Gehr and
Martin T. Vechev},
title = {Provably Robust Adversarial Examples},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=UMfhoMtIaP5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclr/Dimitrov0GV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/FerrariMJV22,
author = {Claudio Ferrari and
Mark Niklas M{\"{u}}ller and
Nikola Jovanovic and
Martin T. Vechev},
title = {Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=l\_amHf1oaK},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/FerrariMJV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/HorvathM0V22,
author = {Mikl{\'{o}}s Z. Horv{\'{a}}th and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Boosting Randomized Smoothing with Variance Reduced Classifiers},
booktitle = {The Tenth International Conference on Learning Representations, {ICLR}
2022, Virtual Event, April 25-29, 2022},
publisher = {OpenReview.net},
year = {2022},
url = {https://openreview.net/forum?id=mHu2vIds\_-b},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/HorvathM0V22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HeBV22,
author = {Jingxuan He and
Luca Beurer{-}Kellner and
Martin T. Vechev},
editor = {Kamalika Chaudhuri and
Stefanie Jegelka and
Le Song and
Csaba Szepesv{\'{a}}ri and
Gang Niu and
Sivan Sabato},
title = {On Distribution Shift in Learning-based Bug Detectors},
booktitle = {International Conference on Machine Learning, {ICML} 2022, 17-23 July
2022, Baltimore, Maryland, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {162},
pages = {8559--8580},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v162/he22a.html},
timestamp = {Tue, 12 Jul 2022 17:36:52 +0200},
biburl = {https://dblp.org/rec/conf/icml/HeBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BalunovicD0V22,
author = {Mislav Balunovic and
Dimitar I. Dimitrov and
Nikola Jovanovic and
Martin T. Vechev},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {{LAMP:} Extracting Text from Gradients with Language Model Priors},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/32375260090404f907ceae19f3564a7e-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/BalunovicD0V22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/Beurer-KellnerV22,
author = {Luca Beurer{-}Kellner and
Martin T. Vechev and
Laurent Vanbever and
Petar Velickovic},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Learning to Configure Computer Networks with Neural Algorithmic Reasoning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/04cc90ec6868b97b7423dc38ced1e35c-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/Beurer-KellnerV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HorvathM0V22,
author = {Mikl{\'{o}}s Z. Horv{\'{a}}th and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {(De-)Randomized Smoothing for Decision Stump Ensembles},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/146b4bab3f8536a07905f25d367b4924-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HorvathM0V22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/IvanovBV22,
author = {Pesho Ivanov and
Benjamin Bichsel and
Martin T. Vechev},
editor = {Itsik Pe'er},
title = {Fast and Optimal Sequence-to-Graph Alignment Guided by Seeds},
booktitle = {Research in Computational Molecular Biology - 26th Annual International
Conference, {RECOMB} 2022, San Diego, CA, USA, May 22-25, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13278},
pages = {306--325},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-04749-7\_22},
doi = {10.1007/978-3-031-04749-7\_22},
timestamp = {Wed, 18 May 2022 18:07:47 +0200},
biburl = {https://dblp.org/rec/conf/recomb/IvanovBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SteffenBBV22,
author = {Samuel Steffen and
Benjamin Bichsel and
Roger Baumgartner and
Martin T. Vechev},
title = {ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge
Proofs},
booktitle = {43rd {IEEE} Symposium on Security and Privacy, {SP} 2022, San Francisco,
CA, USA, May 22-26, 2022},
pages = {179--197},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SP46214.2022.9833732},
doi = {10.1109/SP46214.2022.9833732},
timestamp = {Thu, 21 Sep 2023 15:57:27 +0200},
biburl = {https://dblp.org/rec/conf/sp/SteffenBBV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-08827,
author = {Dimitar I. Dimitrov and
Mislav Balunovic and
Nikola Jovanovic and
Martin T. Vechev},
title = {{LAMP:} Extracting Text from Gradients with Language Model Priors},
journal = {CoRR},
volume = {abs/2202.08827},
year = {2022},
url = {https://arxiv.org/abs/2202.08827},
eprinttype = {arXiv},
eprint = {2202.08827},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-08827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-00487,
author = {Mikl{\'{o}}s Z. Horv{\'{a}}th and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Robust and Accurate - Compositional Architectures for Randomized Smoothing},
journal = {CoRR},
volume = {abs/2204.00487},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.00487},
doi = {10.48550/ARXIV.2204.00487},
eprinttype = {arXiv},
eprint = {2204.00487},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-00487.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10049,
author = {Jingxuan He and
Luca Beurer{-}Kellner and
Martin T. Vechev},
title = {On Distribution Shift in Learning-based Bug Detectors},
journal = {CoRR},
volume = {abs/2204.10049},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10049},
doi = {10.48550/ARXIV.2204.10049},
eprinttype = {arXiv},
eprint = {2204.10049},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-00263,
author = {Claudio Ferrari and
Mark Niklas M{\"{u}}ller and
Nikola Jovanovic and
Martin T. Vechev},
title = {Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound},
journal = {CoRR},
volume = {abs/2205.00263},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.00263},
doi = {10.48550/ARXIV.2205.00263},
eprinttype = {arXiv},
eprint = {2205.00263},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13909,
author = {Mikl{\'{o}}s Z. Horv{\'{a}}th and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {(De-)Randomized Smoothing for Decision Stump Ensembles},
journal = {CoRR},
volume = {abs/2205.13909},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13909},
doi = {10.48550/ARXIV.2205.13909},
eprinttype = {arXiv},
eprint = {2205.13909},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12395,
author = {Dimitar I. Dimitrov and
Mislav Balunovic and
Nikola Konstantinov and
Martin T. Vechev},
title = {Data Leakage in Federated Averaging},
journal = {CoRR},
volume = {abs/2206.12395},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12395},
doi = {10.48550/ARXIV.2206.12395},
eprinttype = {arXiv},
eprint = {2206.12395},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-01785,
author = {Mark Vero and
Mislav Balunovic and
Dimitar I. Dimitrov and
Martin T. Vechev},
title = {Data Leakage in Tabular Federated Learning},
journal = {CoRR},
volume = {abs/2210.01785},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.01785},
doi = {10.48550/ARXIV.2210.01785},
eprinttype = {arXiv},
eprint = {2210.01785},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-01785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-04871,
author = {Mark Niklas M{\"{u}}ller and
Franziska Eckert and
Marc Fischer and
Martin T. Vechev},
title = {Certified Training: Small Boxes are All You Need},
journal = {CoRR},
volume = {abs/2210.04871},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.04871},
doi = {10.48550/ARXIV.2210.04871},
eprinttype = {arXiv},
eprint = {2210.04871},
timestamp = {Thu, 13 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-04871.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-07213,
author = {Nikola Jovanovic and
Mislav Balunovic and
Dimitar I. Dimitrov and
Martin T. Vechev},
title = {{FARE:} Provably Fair Representation Learning},
journal = {CoRR},
volume = {abs/2210.07213},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.07213},
doi = {10.48550/ARXIV.2210.07213},
eprinttype = {arXiv},
eprint = {2210.07213},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-07213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-15614,
author = {Nikola Jovanovic and
Marc Fischer and
Samuel Steffen and
Martin T. Vechev},
title = {Private and Reliable Neural Network Inference},
journal = {CoRR},
volume = {abs/2210.15614},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.15614},
doi = {10.48550/ARXIV.2210.15614},
eprinttype = {arXiv},
eprint = {2210.15614},
timestamp = {Thu, 03 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-15614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-01980,
author = {Luca Beurer{-}Kellner and
Martin T. Vechev and
Laurent Vanbever and
Petar Velickovic},
title = {Learning to Configure Computer Networks with Neural Algorithmic Reasoning},
journal = {CoRR},
volume = {abs/2211.01980},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.01980},
doi = {10.48550/ARXIV.2211.01980},
eprinttype = {arXiv},
eprint = {2211.01980},
timestamp = {Fri, 04 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-01980.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-06094,
author = {Luca Beurer{-}Kellner and
Marc Fischer and
Martin T. Vechev},
title = {Prompting Is Programming: {A} Query Language For Large Language Models},
journal = {CoRR},
volume = {abs/2212.06094},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.06094},
doi = {10.48550/ARXIV.2212.06094},
eprinttype = {arXiv},
eprint = {2212.06094},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-06094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-10154,
author = {Florian E. Dorner and
Momchil Peychev and
Nikola Konstantinov and
Naman Goel and
Elliott Ash and
Martin T. Vechev},
title = {Human-Guided Fair Classification for Natural Language Processing},
journal = {CoRR},
volume = {abs/2212.10154},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.10154},
doi = {10.48550/ARXIV.2212.10154},
eprinttype = {arXiv},
eprint = {2212.10154},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-10154.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RuossBBV21,
author = {Anian Ruoss and
Maximilian Baader and
Mislav Balunovic and
Martin T. Vechev},
title = {Efficient Certification of Spatial Robustness},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {2504--2513},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i3.16352},
doi = {10.1609/AAAI.V35I3.16352},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RuossBBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RyouCBSDV21,
author = {Wonryong Ryou and
Jiayu Chen and
Mislav Balunovic and
Gagandeep Singh and
Andrei Marian Dan and
Martin T. Vechev},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Scalable Polyhedral Verification of Recurrent Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {225--248},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_10},
doi = {10.1007/978-3-030-81685-8\_10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/RyouCBSDV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeSTV21,
author = {Jingxuan He and
Gishor Sivanrupan and
Petar Tsankov and
Martin T. Vechev},
editor = {Yongdae Kim and
Jong Kim and
Giovanni Vigna and
Elaine Shi},
title = {Learning to Explore Paths for Symbolic Execution},
booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
pages = {2526--2540},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460120.3484813},
doi = {10.1145/3460120.3484813},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HeSTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccv/0002RB0V21,
author = {Tobias Lorenz and
Anian Ruoss and
Mislav Balunovic and
Gagandeep Singh and
Martin T. Vechev},
title = {Robustness Certification for Point Cloud Models},
booktitle = {2021 {IEEE/CVF} International Conference on Computer Vision, {ICCV}
2021, Montreal, QC, Canada, October 10-17, 2021},
pages = {7588--7598},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCV48922.2021.00751},
doi = {10.1109/ICCV48922.2021.00751},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccv/0002RB0V21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/MullerBV21,
author = {Mark Niklas M{\"{u}}ller and
Mislav Balunovic and
Martin T. Vechev},
title = {Certify or Predict: Boosting Certified Robustness with Compositional
Architectures},
booktitle = {9th International Conference on Learning Representations, {ICLR} 2021,
Virtual Event, Austria, May 3-7, 2021},
publisher = {OpenReview.net},
year = {2021},
url = {https://openreview.net/forum?id=USCNapootw},
timestamp = {Wed, 23 Jun 2021 17:36:39 +0200},
biburl = {https://dblp.org/rec/conf/iclr/MullerBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BerabiHRV21,
author = {Berkay Berabi and
Jingxuan He and
Veselin Raychev and
Martin T. Vechev},
editor = {Marina Meila and
Tong Zhang},
title = {TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {780--791},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/berabi21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/BerabiHRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/FischerBV21,
author = {Marc Fischer and
Maximilian Baader and
Martin T. Vechev},
editor = {Marina Meila and
Tong Zhang},
title = {Scalable Certified Segmentation via Randomized Smoothing},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {3340--3351},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/fischer21a.html},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/FischerBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZamoraPHVC21,
author = {Miguel Zamora and
Momchil Peychev and
Sehoon Ha and
Martin T. Vechev and
Stelian Coros},
editor = {Marina Meila and
Tong Zhang},
title = {{PODS:} Policy Optimization via Differentiable Simulation},
booktitle = {Proceedings of the 38th International Conference on Machine Learning,
{ICML} 2021, 18-24 July 2021, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {7805--7817},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/mora21a.html},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/ZamoraPHVC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/MullerS0PV21,
author = {Christoph M{\"{u}}ller and
Fran{\c{c}}ois Serre and
Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Alex Smola and
Alex Dimakis and
Ion Stoica},
title = {Scaling Polyhedral Neural Network Verification on GPUs},
booktitle = {Proceedings of Machine Learning and Systems 2021, MLSys 2021, virtual,
April 5-9, 2021},
publisher = {mlsys.org},
year = {2021},
url = {https://proceedings.mlsys.org/paper/2021/hash/ca46c1b9512a7a8315fa3c5a946e8265-Abstract.html},
timestamp = {Mon, 23 May 2022 11:55:02 +0200},
biburl = {https://dblp.org/rec/conf/mlsys/MullerS0PV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/YaoBTV21,
author = {Chengyuan Yao and
Pavol Bielik and
Petar Tsankov and
Martin T. Vechev},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Automated Discovery of Adaptive Attacks on Adversarial Defenses},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {26858--26870},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/e1c13a13fc6b87616b787b986f98a111-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/YaoBTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/BirknerBTVV21,
author = {R{\"{u}}diger Birkner and
Tobias Brodmann and
Petar Tsankov and
Laurent Vanbever and
Martin T. Vechev},
editor = {James Mickens and
Renata Teixeira},
title = {Metha: Network Verifiers Need To Be Correct Too!},
booktitle = {18th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2021, April 12-14, 2021},
pages = {99--113},
publisher = {{USENIX} Association},
year = {2021},
url = {https://www.usenix.org/conference/nsdi21/presentation/birkner},
timestamp = {Thu, 12 Aug 2021 18:19:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/BirknerBTVV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ParadisBSV21,
author = {Anouk Paradis and
Benjamin Bichsel and
Samuel Steffen and
Martin T. Vechev},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Unqomp: synthesizing uncomputation in Quantum circuits},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {222--236},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454040},
doi = {10.1145/3453483.3454040},
timestamp = {Thu, 09 Dec 2021 07:39:43 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ParadisBSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeLRV21,
author = {Jingxuan He and
Cheng{-}Chun Lee and
Veselin Raychev and
Martin T. Vechev},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Learning to find naming issues with big code and small supervision},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {296--311},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454045},
doi = {10.1145/3453483.3454045},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HeLRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BonaertDBV21,
author = {Gregory Bonaert and
Dimitar I. Dimitrov and
Maximilian Baader and
Martin T. Vechev},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Fast and precise certification of transformers},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {466--481},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454056},
doi = {10.1145/3453483.3454056},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/BonaertDBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MirmanHBGV21,
author = {Matthew Mirman and
Alexander H{\"{a}}gele and
Pavol Bielik and
Timon Gehr and
Martin T. Vechev},
editor = {Stephen N. Freund and
Eran Yahav},
title = {Robustness certification with generative models},
booktitle = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
pages = {1141--1154},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483.3454100},
doi = {10.1145/3453483.3454100},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MirmanHBGV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BichselSBV21,
author = {Benjamin Bichsel and
Samuel Steffen and
Ilija Bogunovic and
Martin T. Vechev},
title = {DP-Sniper: Black-Box Discovery of Differential Privacy Violations
using Classifiers},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {391--409},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00081},
doi = {10.1109/SP40001.2021.00081},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/BichselSBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06700,
author = {Nikola Jovanovic and
Mislav Balunovic and
Maximilian Baader and
Martin T. Vechev},
title = {Certified Defenses: Why Tighter Relaxations May Hurt Training?},
journal = {CoRR},
volume = {abs/2102.06700},
year = {2021},
url = {https://arxiv.org/abs/2102.06700},
eprinttype = {arXiv},
eprint = {2102.06700},
timestamp = {Wed, 12 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-11860,
author = {Chengyuan Yao and
Pavol Bielik and
Petar Tsankov and
Martin T. Vechev},
title = {Automated Discovery of Adaptive Attacks on Adversarial Defenses},
journal = {CoRR},
volume = {abs/2102.11860},
year = {2021},
url = {https://arxiv.org/abs/2102.11860},
eprinttype = {arXiv},
eprint = {2102.11860},
timestamp = {Wed, 24 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-11860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-03638,
author = {Mark Niklas M{\"{u}}ller and
Gleb Makarchuk and
Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
title = {Precise Multi-Neuron Abstractions for Neural Network Certification},
journal = {CoRR},
volume = {abs/2103.03638},
year = {2021},
url = {https://arxiv.org/abs/2103.03638},
eprinttype = {arXiv},
eprint = {2103.03638},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-03638.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-16652,
author = {Tobias Lorenz and
Anian Ruoss and
Mislav Balunovic and
Gagandeep Singh and
Martin T. Vechev},
title = {Robustness Certification for Point Cloud Models},
journal = {CoRR},
volume = {abs/2103.16652},
year = {2021},
url = {https://arxiv.org/abs/2103.16652},
eprinttype = {arXiv},
eprint = {2103.16652},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-16652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-05937,
author = {Mislav Balunovic and
Anian Ruoss and
Martin T. Vechev},
title = {Fair Normalizing Flows},
journal = {CoRR},
volume = {abs/2106.05937},
year = {2021},
url = {https://arxiv.org/abs/2106.05937},
eprinttype = {arXiv},
eprint = {2106.05937},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-05937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06946,
author = {Mikl{\'{o}}s Z. Horv{\'{a}}th and
Mark Niklas M{\"{u}}ller and
Marc Fischer and
Martin T. Vechev},
title = {Boosting Randomized Smoothing with Variance Reduced Classifiers},
journal = {CoRR},
volume = {abs/2106.06946},
year = {2021},
url = {https://arxiv.org/abs/2106.06946},
eprinttype = {arXiv},
eprint = {2106.06946},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06946.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00228,
author = {Marc Fischer and
Maximilian Baader and
Martin T. Vechev},
title = {Scalable Certified Segmentation via Randomized Smoothing},
journal = {CoRR},
volume = {abs/2107.00228},
year = {2021},
url = {https://arxiv.org/abs/2107.00228},
eprinttype = {arXiv},
eprint = {2107.00228},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00228.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-00542,
author = {Christian Sprecher and
Marc Fischer and
Dimitar I. Dimitrov and
Gagandeep Singh and
Martin T. Vechev},
title = {Shared Certificates for Neural Network Verification},
journal = {CoRR},
volume = {abs/2109.00542},
year = {2021},
url = {https://arxiv.org/abs/2109.00542},
eprinttype = {arXiv},
eprint = {2109.00542},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-00542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-08260,
author = {Mark Niklas M{\"{u}}ller and
Robin Staab and
Marc Fischer and
Martin T. Vechev},
title = {Effective Certification of Monotone Deep Equilibrium Models},
journal = {CoRR},
volume = {abs/2110.08260},
year = {2021},
url = {https://arxiv.org/abs/2110.08260},
eprinttype = {arXiv},
eprint = {2110.08260},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-08260.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04706,
author = {Mislav Balunovic and
Dimitar I. Dimitrov and
Robin Staab and
Martin T. Vechev},
title = {Bayesian Framework for Gradient Leakage},
journal = {CoRR},
volume = {abs/2111.04706},
year = {2021},
url = {https://arxiv.org/abs/2111.04706},
eprinttype = {arXiv},
eprint = {2111.04706},
timestamp = {Wed, 10 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-13650,
author = {Momchil Peychev and
Anian Ruoss and
Mislav Balunovic and
Maximilian Baader and
Martin T. Vechev},
title = {Latent Space Smoothing for Individually Fair Representations},
journal = {CoRR},
volume = {abs/2111.13650},
year = {2021},
url = {https://arxiv.org/abs/2111.13650},
eprinttype = {arXiv},
eprint = {2111.13650},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-13650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-05235,
author = {Matthew Mirman and
Maximilian Baader and
Martin T. Vechev},
title = {The Fundamental Limits of Interval Arithmetic for Neural Networks},
journal = {CoRR},
volume = {abs/2112.05235},
year = {2021},
url = {https://arxiv.org/abs/2112.05235},
eprinttype = {arXiv},
eprint = {2112.05235},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-05235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BaaderMV20,
author = {Maximilian Baader and
Matthew Mirman and
Martin T. Vechev},
title = {Universal Approximation with Certified Networks},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=B1gX8kBtPr},
timestamp = {Thu, 07 May 2020 17:11:47 +0200},
biburl = {https://dblp.org/rec/conf/iclr/BaaderMV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BalunovicV20,
author = {Mislav Balunovic and
Martin T. Vechev},
title = {Adversarial Training and Provable Defenses: Bridging the Gap},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=SJxSDxrKDr},
timestamp = {Thu, 07 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/BalunovicV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/LaichBV20,
author = {Larissa Laich and
Pavol Bielik and
Martin T. Vechev},
title = {Guiding Program Synthesis by Learning to Generate Examples},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=BJl07ySKvS},
timestamp = {Thu, 07 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/LaichBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BielikV20,
author = {Pavol Bielik and
Martin T. Vechev},
title = {Adversarial Robustness for Code},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {896--907},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/bielik20a.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/BielikV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/Dang-Nhu0BV20,
author = {Rapha{\"{e}}l Dang{-}Nhu and
Gagandeep Singh and
Pavol Bielik and
Martin T. Vechev},
title = {Adversarial Attacks on Probabilistic Autoregressive Forecasting Models},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {2356--2365},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/dang-nhu20a.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/Dang-Nhu0BV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/FischerBV20,
author = {Marc Fischer and
Maximilian Baader and
Martin T. Vechev},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Certified Defense to Image Transformations via Randomized Smoothing},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/5fb37d5bbdbbae16dea2f3104d7f9439-Abstract.html},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/FischerBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/RuossBFV20,
author = {Anian Ruoss and
Mislav Balunovic and
Marc Fischer and
Martin T. Vechev},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Learning Certified Individually Fair Representations},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/55d491cf951b1b920900684d71419282-Abstract.html},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/RuossBFV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/BirknerDVV20,
author = {R{\"{u}}diger Birkner and
Dana Drachsler{-}Cohen and
Laurent Vanbever and
Martin T. Vechev},
editor = {Ranjita Bhagwan and
George Porter},
title = {Config2Spec: Mining Network Specifications from Network Configurations},
booktitle = {17th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2020, Santa Clara, CA, USA, February 25-27, 2020},
pages = {969--984},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/nsdi20/presentation/birkner},
timestamp = {Tue, 02 Feb 2021 08:04:59 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/BirknerDVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BichselBGV20,
author = {Benjamin Bichsel and
Maximilian Baader and
Timon Gehr and
Martin T. Vechev},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Silq: a high-level quantum language with safe uncomputation and intuitive
semantics},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {286--300},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386007},
doi = {10.1145/3385412.3386007},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BichselBGV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GehrSV20,
author = {Timon Gehr and
Samuel Steffen and
Martin T. Vechev},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{\(\lambda\)}PSI: exact inference for higher-order probabilistic programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {883--897},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386006},
doi = {10.1145/3385412.3386006},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GehrSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeSPV20,
author = {Jingxuan He and
Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Learning fast and precise numerical analysis},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1112--1127},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386016},
doi = {10.1145/3385412.3386016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HeSPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/IvanovBMKRV20,
author = {Pesho Ivanov and
Benjamin Bichsel and
Harun Mustafa and
Andr{\'{e}} Kahles and
Gunnar R{\"{a}}tsch and
Martin T. Vechev},
editor = {Russell Schwartz},
title = {AStarix: Fast and Optimal Sequence-to-Graph Alignment},
booktitle = {Research in Computational Molecular Biology - 24th Annual International
Conference, {RECOMB} 2020, Padua, Italy, May 10-13, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12074},
pages = {104--119},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45257-5\_7},
doi = {10.1007/978-3-030-45257-5\_7},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/recomb/IvanovBMKRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/SteffenGTVV20,
author = {Samuel Steffen and
Timon Gehr and
Petar Tsankov and
Laurent Vanbever and
Martin T. Vechev},
editor = {Henning Schulzrinne and
Vishal Misra},
title = {Probabilistic Verification of Network Configurations},
booktitle = {{SIGCOMM} '20: Proceedings of the 2020 Annual conference of the {ACM}
Special Interest Group on Data Communication on the applications,
technologies, architectures, and protocols for computer communication,
Virtual Event, USA, August 10-14, 2020},
pages = {750--764},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387514.3405900},
doi = {10.1145/3387514.3405900},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/SteffenGTVV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/PermenevDTDV20,
author = {Anton Permenev and
Dimitar K. Dimitrov and
Petar Tsankov and
Dana Drachsler{-}Cohen and
Martin T. Vechev},
title = {VerX: Safety Verification of Smart Contracts},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {1661--1677},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00024},
doi = {10.1109/SP40000.2020.00024},
timestamp = {Thu, 21 Sep 2023 15:57:24 +0200},
biburl = {https://dblp.org/rec/conf/sp/PermenevDTDV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04694,
author = {Pavol Bielik and
Martin T. Vechev},
title = {Adversarial Robustness for Code},
journal = {CoRR},
volume = {abs/2002.04694},
year = {2020},
url = {https://arxiv.org/abs/2002.04694},
eprinttype = {arXiv},
eprint = {2002.04694},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-10312,
author = {Anian Ruoss and
Mislav Balunovic and
Marc Fischer and
Martin T. Vechev},
title = {Learning Certified Individually Fair Representations},
journal = {CoRR},
volume = {abs/2002.10312},
year = {2020},
url = {https://arxiv.org/abs/2002.10312},
eprinttype = {arXiv},
eprint = {2002.10312},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-10312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-12463,
author = {Marc Fischer and
Maximilian Baader and
Martin T. Vechev},
title = {Certification of Semantic Perturbations via Randomized Smoothing},
journal = {CoRR},
volume = {abs/2002.12463},
year = {2020},
url = {https://arxiv.org/abs/2002.12463},
eprinttype = {arXiv},
eprint = {2002.12463},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03778,
author = {Rapha{\"{e}}l Dang{-}Nhu and
Gagandeep Singh and
Pavol Bielik and
Martin T. Vechev},
title = {Adversarial Attacks on Probabilistic Autoregressive Forecasting Models},
journal = {CoRR},
volume = {abs/2003.03778},
year = {2020},
url = {https://arxiv.org/abs/2003.03778},
eprinttype = {arXiv},
eprint = {2003.03778},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14756,
author = {Matthew Mirman and
Timon Gehr and
Martin T. Vechev},
title = {Robustness Certification of Generative Models},
journal = {CoRR},
volume = {abs/2004.14756},
year = {2020},
url = {https://arxiv.org/abs/2004.14756},
eprinttype = {arXiv},
eprint = {2004.14756},
timestamp = {Sun, 03 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13300,
author = {Wonryong Ryou and
Jiayu Chen and
Mislav Balunovic and
Gagandeep Singh and
Andrei Marian Dan and
Martin T. Vechev},
title = {Fast and Effective Robustness Certification for Recurrent Neural Networks},
journal = {CoRR},
volume = {abs/2005.13300},
year = {2020},
url = {https://arxiv.org/abs/2005.13300},
eprinttype = {arXiv},
eprint = {2005.13300},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13300.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10868,
author = {Christoph M{\"{u}}ller and
Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
title = {Neural Network Robustness Verification on GPUs},
journal = {CoRR},
volume = {abs/2007.10868},
year = {2020},
url = {https://arxiv.org/abs/2007.10868},
eprinttype = {arXiv},
eprint = {2007.10868},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12133,
author = {Dimitar I. Dimitrov and
Gagandeep Singh and
Timon Gehr and
Martin T. Vechev},
title = {Scalable Inference of Symbolic Adversarial Examples},
journal = {CoRR},
volume = {abs/2007.12133},
year = {2020},
url = {https://arxiv.org/abs/2007.12133},
eprinttype = {arXiv},
eprint = {2007.12133},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12133.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-01020,
author = {Nick Baumann and
Samuel Steffen and
Benjamin Bichsel and
Petar Tsankov and
Martin T. Vechev},
title = {zkay v0.2: Practical Data Privacy for Smart Contracts},
journal = {CoRR},
volume = {abs/2009.01020},
year = {2020},
url = {https://arxiv.org/abs/2009.01020},
eprinttype = {arXiv},
eprint = {2009.01020},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-01020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-09318,
author = {Anian Ruoss and
Maximilian Baader and
Mislav Balunovic and
Martin T. Vechev},
title = {Efficient Certification of Spatial Robustness},
journal = {CoRR},
volume = {abs/2009.09318},
year = {2020},
url = {https://arxiv.org/abs/2009.09318},
eprinttype = {arXiv},
eprint = {2009.09318},
timestamp = {Wed, 23 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-09318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RaychevVK19,
author = {Veselin Raychev and
Martin T. Vechev and
Andreas Krause},
title = {Predicting program properties from 'big code'},
journal = {Commun. {ACM}},
volume = {62},
number = {3},
pages = {99--107},
year = {2019},
url = {https://doi.org/10.1145/3306204},
doi = {10.1145/3306204},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/RaychevVK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SinghGPV19,
author = {Gagandeep Singh and
Timon Gehr and
Markus P{\"{u}}schel and
Martin T. Vechev},
title = {An abstract domain for certifying neural networks},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {41:1--41:30},
year = {2019},
url = {https://doi.org/10.1145/3290354},
doi = {10.1145/3290354},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SinghGPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeBATV19,
author = {Jingxuan He and
Mislav Balunovic and
Nodar Ambroladze and
Petar Tsankov and
Martin T. Vechev},
editor = {Lorenzo Cavallaro and
Johannes Kinder and
XiaoFeng Wang and
Jonathan Katz},
title = {Learning to Fuzz from Symbolic Execution with Application to Smart
Contracts},
booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
pages = {531--548},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319535.3363230},
doi = {10.1145/3319535.3363230},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HeBATV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/SteffenBGMTV19,
author = {Samuel Steffen and
Benjamin Bichsel and
Mario Gersbach and
Noa Melchior and
Petar Tsankov and
Martin T. Vechev},
editor = {Lorenzo Cavallaro and
Johannes Kinder and
XiaoFeng Wang and
Jonathan Katz},
title = {zkay: Specifying and Enforcing Data Privacy in Smart Contracts},
booktitle = {Proceedings of the 2019 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2019, London, UK, November 11-15, 2019},
pages = {1759--1776},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319535.3363222},
doi = {10.1145/3319535.3363222},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/SteffenBGMTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/SinghGPV19,
author = {Gagandeep Singh and
Timon Gehr and
Markus P{\"{u}}schel and
Martin T. Vechev},
title = {Boosting Robustness Certification of Neural Networks},
booktitle = {7th International Conference on Learning Representations, {ICLR} 2019,
New Orleans, LA, USA, May 6-9, 2019},
publisher = {OpenReview.net},
year = {2019},
url = {https://openreview.net/forum?id=HJgeEh09KQ},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclr/SinghGPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/FischerBDGZV19,
author = {Marc Fischer and
Mislav Balunovic and
Dana Drachsler{-}Cohen and
Timon Gehr and
Ce Zhang and
Martin T. Vechev},
editor = {Kamalika Chaudhuri and
Ruslan Salakhutdinov},
title = {{DL2:} Training and Querying Neural Networks with Logic},
booktitle = {Proceedings of the 36th International Conference on Machine Learning,
{ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {97},
pages = {1931--1941},
publisher = {{PMLR}},
year = {2019},
url = {http://proceedings.mlr.press/v97/fischer19a.html},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/FischerBDGZV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SinghGPV19,
author = {Gagandeep Singh and
Rupanshu Ganvir and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Beyond the Single Neuron Convex Barrier for Neural Network Certification},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {15072--15083},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/0a9fdbb17feb6ccb7ec405cfb85222c4-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/SinghGPV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BalunovicBSGV19,
author = {Mislav Balunovic and
Maximilian Baader and
Gagandeep Singh and
Timon Gehr and
Martin T. Vechev},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Certifying Geometric Robustness of Neural Networks},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference
on Neural Information Processing Systems 2019, NeurIPS 2019, December
8-14, 2019, Vancouver, BC, Canada},
pages = {15287--15297},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/f7fa6aca028e7ff4ef62d75ed025fe76-Abstract.html},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/BalunovicBSGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EberhardtSRV19,
author = {Jan Eberhardt and
Samuel Steffen and
Veselin Raychev and
Martin T. Vechev},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Unsupervised learning of {API} aliasing specifications},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {745--759},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314640},
doi = {10.1145/3314221.3314640},
timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EberhardtSRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChibotaruBRV19,
author = {Victor Chibotaru and
Benjamin Bichsel and
Veselin Raychev and
Martin T. Vechev},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Scalable taint specification inference with big code},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {760--774},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314648},
doi = {10.1145/3314221.3314648},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChibotaruBRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-12519,
author = {Matthew Mirman and
Gagandeep Singh and
Martin T. Vechev},
title = {A Provable Defense for Deep Residual Networks},
journal = {CoRR},
volume = {abs/1903.12519},
year = {2019},
url = {http://arxiv.org/abs/1903.12519},
eprinttype = {arXiv},
eprint = {1903.12519},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-12519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-13846,
author = {Maximilian Baader and
Matthew Mirman and
Martin T. Vechev},
title = {Universal Approximation with Certified Networks},
journal = {CoRR},
volume = {abs/1909.13846},
year = {2019},
url = {http://arxiv.org/abs/1909.13846},
eprinttype = {arXiv},
eprint = {1909.13846},
timestamp = {Wed, 02 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-13846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-00887,
author = {Marc Fischer and
Matthew Mirman and
Steven Stalder and
Martin T. Vechev},
title = {Online Robustness Training for Deep Reinforcement Learning},
journal = {CoRR},
volume = {abs/1911.00887},
year = {2019},
url = {http://arxiv.org/abs/1911.00887},
eprinttype = {arXiv},
eprint = {1911.00887},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-00887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-13243,
author = {Philippe Schlattner and
Pavol Bielik and
Martin T. Vechev},
title = {Learning to Infer User Interface Attributes from Images},
journal = {CoRR},
volume = {abs/1912.13243},
year = {2019},
url = {http://arxiv.org/abs/1912.13243},
eprinttype = {arXiv},
eprint = {1912.13243},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-13243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BielikFV18,
author = {Pavol Bielik and
Marc Fischer and
Martin T. Vechev},
title = {Robust relational layout synthesis from examples for Android},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{OOPSLA}},
pages = {156:1--156:29},
year = {2018},
url = {https://doi.org/10.1145/3276526},
doi = {10.1145/3276526},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BielikFV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SinghPV18,
author = {Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
title = {A practical construction for decomposing numerical abstract domains},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {55:1--55:28},
year = {2018},
url = {https://doi.org/10.1145/3158143},
doi = {10.1145/3158143},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SinghPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/DimitrovVS18,
author = {Dimitar K. Dimitrov and
Martin T. Vechev and
Vivek Sarkar},
title = {Race Detection in Two Dimensions},
journal = {{ACM} Trans. Parallel Comput.},
volume = {4},
number = {4},
pages = {19:1--19:22},
year = {2018},
url = {https://doi.org/10.1145/3264618},
doi = {10.1145/3264618},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/DimitrovVS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SinghPV18,
author = {Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Fast Numerical Program Analysis with Reinforcement Learning},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {211--229},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_12},
doi = {10.1007/978-3-319-96145-3\_12},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/SinghPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/TsankovDDGBV18,
author = {Petar Tsankov and
Andrei Marian Dan and
Dana Drachsler{-}Cohen and
Arthur Gervais and
Florian B{\"{u}}nzli and
Martin T. Vechev},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {Securify: Practical Security Analysis of Smart Contracts},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {67--82},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243780},
doi = {10.1145/3243734.3243780},
timestamp = {Tue, 10 Nov 2020 20:00:51 +0100},
biburl = {https://dblp.org/rec/conf/ccs/TsankovDDGBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BichselGDTV18,
author = {Benjamin Bichsel and
Timon Gehr and
Dana Drachsler{-}Cohen and
Petar Tsankov and
Martin T. Vechev},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {DP-Finder: Finding Differential Privacy Violations by Sampling and
Optimization},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {508--524},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243863},
doi = {10.1145/3243734.3243863},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BichselGDTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeITRV18,
author = {Jingxuan He and
Pesho Ivanov and
Petar Tsankov and
Veselin Raychev and
Martin T. Vechev},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {Debin: Predicting Debug Information in Stripped Binaries},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {1667--1680},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243866},
doi = {10.1145/3243734.3243866},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HeITRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BichselGV18,
author = {Benjamin Bichsel and
Timon Gehr and
Martin T. Vechev},
editor = {Amal Ahmed},
title = {Fine-Grained Semantics for Probabilistic Programs},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {145--185},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_6},
doi = {10.1007/978-3-319-89884-1\_6},
timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
biburl = {https://dblp.org/rec/conf/esop/BichselGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/MirmanDDGV18,
author = {Matthew Mirman and
Dimitar K. Dimitrov and
Pavle Djordjevic and
Timon Gehr and
Martin T. Vechev},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Training Neural Machines with Trace-Based Supervision},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {3566--3574},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/mirman18a.html},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/MirmanDDGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/MirmanGV18,
author = {Matthew Mirman and
Timon Gehr and
Martin T. Vechev},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Differentiable Abstract Interpretation for Provably Robust Neural
Networks},
booktitle = {Proceedings of the 35th International Conference on Machine Learning,
{ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July
10-15, 2018},
series = {Proceedings of Machine Learning Research},
volume = {80},
pages = {3575--3583},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/mirman18b.html},
timestamp = {Wed, 03 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icml/MirmanGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BalunovicBV18,
author = {Mislav Balunovic and
Pavol Bielik and
Martin T. Vechev},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Learning to Solve {SMT} Formulas},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {10338--10349},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/68331ff0427b551b68e911eebe35233b-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/BalunovicBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SinghGMPV18,
author = {Gagandeep Singh and
Timon Gehr and
Matthew Mirman and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Samy Bengio and
Hanna M. Wallach and
Hugo Larochelle and
Kristen Grauman and
Nicol{\`{o}} Cesa{-}Bianchi and
Roman Garnett},
title = {Fast and Effective Robustness Certification},
booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
on Neural Information Processing Systems 2018, NeurIPS 2018, December
3-8, 2018, Montr{\'{e}}al, Canada},
pages = {10825--10836},
year = {2018},
url = {https://proceedings.neurips.cc/paper/2018/hash/f2f446980d8e971ef3da97af089481c3-Abstract.html},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/SinghGMPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/El-HassanyTVV18,
author = {Ahmed El{-}Hassany and
Petar Tsankov and
Laurent Vanbever and
Martin T. Vechev},
editor = {Sujata Banerjee and
Srinivasan Seshan},
title = {NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion},
booktitle = {15th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2018, Renton, WA, USA, April 9-11, 2018},
pages = {579--594},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/nsdi18/presentation/el-hassany},
timestamp = {Tue, 02 Feb 2021 08:05:49 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/El-HassanyTVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/BirknerDVV18,
author = {R{\"{u}}diger Birkner and
Dana Drachsler{-}Cohen and
Laurent Vanbever and
Martin T. Vechev},
editor = {Sujata Banerjee and
Srinivasan Seshan},
title = {Net2Text: Query-Guided Summarization of Network Forwarding Behaviors},
booktitle = {15th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2018, Renton, WA, USA, April 9-11, 2018},
pages = {609--623},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/nsdi18/presentation/birkner},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/BirknerDVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BrutschyD0V18,
author = {Lucas Brutschy and
Dimitar K. Dimitrov and
Peter M{\"{u}}ller and
Martin T. Vechev},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Static serializability analysis for causal consistency},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {90--104},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192415},
doi = {10.1145/3192366.3192415},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BrutschyD0V18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PaletovTRV18,
author = {Rumen Paletov and
Petar Tsankov and
Veselin Raychev and
Martin T. Vechev},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Inferring crypto {API} rules from code changes},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {450--464},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192403},
doi = {10.1145/3192366.3192403},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PaletovTRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Cusumano-Towner18a,
author = {Marco F. Cusumano{-}Towner and
Benjamin Bichsel and
Timon Gehr and
Martin T. Vechev and
Vikash K. Mansinghka},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Incremental inference for probabilistic programs},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {571--585},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192399},
doi = {10.1145/3192366.3192399},
timestamp = {Wed, 20 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Cusumano-Towner18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GehrMTVWV18,
author = {Timon Gehr and
Sasa Misailovic and
Petar Tsankov and
Laurent Vanbever and
Pascal Wiesmann and
Martin T. Vechev},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {Bayonet: probabilistic inference for networks},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {586--602},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192400},
doi = {10.1145/3192366.3192400},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GehrMTVWV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Drachsler-Cohen18,
author = {Dana Drachsler{-}Cohen and
Martin T. Vechev and
Eran Yahav},
editor = {Andreas Krall and
Thomas R. Gross},
title = {Practical concurrent traversals in search trees},
booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2018, Vienna, Austria, February
24-28, 2018},
pages = {207--218},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178487.3178503},
doi = {10.1145/3178487.3178503},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Drachsler-Cohen18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/GehrMDTCV18,
author = {Timon Gehr and
Matthew Mirman and
Dana Drachsler{-}Cohen and
Petar Tsankov and
Swarat Chaudhuri and
Martin T. Vechev},
title = {{AI2:} Safety and Robustness Certification of Neural Networks with
Abstract Interpretation},
booktitle = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
21-23 May 2018, San Francisco, California, {USA}},
pages = {3--18},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SP.2018.00058},
doi = {10.1109/SP.2018.00058},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/GehrMDTCV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/MeierTLVV18,
author = {Roland Meier and
Petar Tsankov and
Vincent Lenders and
Laurent Vanbever and
Martin T. Vechev},
editor = {William Enck and
Adrienne Porter Felt},
title = {NetHide: Secure and Practical Network Topology Obfuscation},
booktitle = {27th {USENIX} Security Symposium, {USENIX} Security 2018, Baltimore,
MD, USA, August 15-17, 2018},
pages = {693--709},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/usenixsecurity18/presentation/meier},
timestamp = {Mon, 01 Feb 2021 08:43:20 +0100},
biburl = {https://dblp.org/rec/conf/uss/MeierTLVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BaumannDMHV18,
author = {Cedric Baumann and
Andrei Marian Dan and
Yuri Meshman and
Torsten Hoefler and
Martin T. Vechev},
editor = {Isil Dillig and
Jens Palsberg},
title = {Automatic Verification of {RMA} Programs via Abstraction Extrapolation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {47--70},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_3},
doi = {10.1007/978-3-319-73721-8\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BaumannDMHV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-01143,
author = {Petar Tsankov and
Andrei Marian Dan and
Dana Drachsler{-}Cohen and
Arthur Gervais and
Florian Buenzli and
Martin T. Vechev},
title = {Securify: Practical Security Analysis of Smart Contracts},
journal = {CoRR},
volume = {abs/1806.01143},
year = {2018},
url = {http://arxiv.org/abs/1806.01143},
eprinttype = {arXiv},
eprint = {1806.01143},
timestamp = {Sun, 21 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-01143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DanMVY17,
author = {Andrei Marian Dan and
Yuri Meshman and
Martin T. Vechev and
Eran Yahav},
title = {Effective abstractions for verification under relaxed memory models},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {62--76},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.02.003},
doi = {10.1016/J.CL.2016.02.003},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/DanMVY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BielikRV17,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Learning a Static Analyzer from Data},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {233--253},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_12},
doi = {10.1007/978-3-319-63387-9\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BielikRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/El-HassanyTVV17,
author = {Ahmed El{-}Hassany and
Petar Tsankov and
Laurent Vanbever and
Martin T. Vechev},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Network-Wide Configuration Synthesis},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {261--281},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_14},
doi = {10.1007/978-3-319-63390-9\_14},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/El-HassanyTVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DanS0JV17,
author = {Andrei Marian Dan and
Manu Sridharan and
Satish Chandra and
Jean{-}Baptiste Jeannin and
Martin T. Vechev},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {521--541},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_27},
doi = {10.1007/978-3-319-63390-9\_27},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DanS0JV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KuceraTGGV17,
author = {Martin Kucera and
Petar Tsankov and
Timon Gehr and
Marco Guarnieri and
Martin T. Vechev},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {Synthesis of Probabilistic Privacy Enforcement},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {391--408},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3134079},
doi = {10.1145/3133956.3134079},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/ccs/KuceraTGGV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/BshoutyDVY17,
author = {Nader H. Bshouty and
Dana Drachsler{-}Cohen and
Martin T. Vechev and
Eran Yahav},
editor = {Satyen Kale and
Ohad Shamir},
title = {Learning Disjunctions of Predicates},
booktitle = {Proceedings of the 30th Conference on Learning Theory, {COLT} 2017,
Amsterdam, The Netherlands, 7-10 July 2017},
series = {Proceedings of Machine Learning Research},
volume = {65},
pages = {346--369},
publisher = {{PMLR}},
year = {2017},
url = {http://proceedings.mlr.press/v65/bshouty17a.html},
timestamp = {Wed, 29 May 2019 08:41:46 +0200},
biburl = {https://dblp.org/rec/conf/colt/BshoutyDVY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BielikRV17,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
title = {Program Synthesis for Character Level Language Modeling},
booktitle = {5th International Conference on Learning Representations, {ICLR} 2017,
Toulon, France, April 24-26, 2017, Conference Track Proceedings},
publisher = {OpenReview.net},
year = {2017},
url = {https://openreview.net/forum?id=ry\_sjFqgx},
timestamp = {Thu, 25 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/BielikRV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SinghPV17,
author = {Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Fast polyhedra abstract domain},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {46--59},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009885},
doi = {10.1145/3009837.3009885},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/SinghPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrutschyD0V17,
author = {Lucas Brutschy and
Dimitar K. Dimitrov and
Peter M{\"{u}}ller and
Martin T. Vechev},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Serializability for eventual consistency: criterion, analysis, and
applications},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {458--472},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009895},
doi = {10.1145/3009837.3009895},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BrutschyD0V17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/MayEVV17,
author = {Roman May and
Ahmed El{-}Hassany and
Laurent Vanbever and
Martin T. Vechev},
title = {BigBug: Practical Concurrency Analysis for {SDN}},
booktitle = {Proceedings of the Symposium on {SDN} Research, {SOSR} 2017, Santa
Clara, CA, USA, April 3-4, 2017},
pages = {88--94},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3050220.3050230},
doi = {10.1145/3050220.3050230},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/sosr/MayEVV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017,
editor = {Albert Cohen and
Martin T. Vechev},
title = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341},
doi = {10.1145/3062341},
isbn = {978-1-4503-4988-8},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BshoutyDVY17,
author = {Nader H. Bshouty and
Dana Drachsler{-}Cohen and
Martin T. Vechev and
Eran Yahav},
title = {Learning Disjunctions of Predicates},
journal = {CoRR},
volume = {abs/1706.05070},
year = {2017},
url = {http://arxiv.org/abs/1706.05070},
eprinttype = {arXiv},
eprint = {1706.05070},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BshoutyDVY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/VechevY16,
author = {Martin T. Vechev and
Eran Yahav},
title = {Programming with "Big Code"},
journal = {Found. Trends Program. Lang.},
volume = {3},
number = {4},
pages = {231--284},
year = {2016},
url = {https://doi.org/10.1561/2500000028},
doi = {10.1561/2500000028},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftpl/VechevY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/TsankovPTVF16,
author = {Petar Tsankov and
Marco Pistoia and
Omer Tripp and
Martin T. Vechev and
Pietro Ferrara},
editor = {Stephen Schwab and
William K. Robertson and
Davide Balzarotti},
title = {{FASE:} functionality-aware security enforcement},
booktitle = {Proceedings of the 32nd Annual Conference on Computer Security Applications,
{ACSAC} 2016, Los Angeles, CA, USA, December 5-9, 2016},
pages = {471--483},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2991116},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsac/TsankovPTVF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GehrMV16,
author = {Timon Gehr and
Sasa Misailovic and
Martin T. Vechev},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {{PSI:} Exact Symbolic Inference for Probabilistic Programs},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {62--83},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_4},
doi = {10.1007/978-3-319-41528-4\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GehrMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BichselRTV16,
author = {Benjamin Bichsel and
Veselin Raychev and
Petar Tsankov and
Martin T. Vechev},
editor = {Edgar R. Weippl and
Stefan Katzenbeisser and
Christopher Kruegel and
Andrew C. Myers and
Shai Halevi},
title = {Statistical Deobfuscation of Android Applications},
booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
pages = {343--355},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976749.2978422},
doi = {10.1145/2976749.2978422},
timestamp = {Tue, 10 Nov 2020 20:00:49 +0100},
biburl = {https://dblp.org/rec/conf/ccs/BichselRTV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BielikRV16,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
editor = {Maria{-}Florina Balcan and
Kilian Q. Weinberger},
title = {{PHOG:} Probabilistic Model for Code},
booktitle = {Proceedings of the 33nd International Conference on Machine Learning,
{ICML} 2016, New York City, NY, USA, June 19-24, 2016},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {48},
pages = {2933--2942},
publisher = {JMLR.org},
year = {2016},
url = {http://proceedings.mlr.press/v48/bielik16.html},
timestamp = {Wed, 29 May 2019 08:41:46 +0200},
biburl = {https://dblp.org/rec/conf/icml/BielikRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DanLHV16,
author = {Andrei Marian Dan and
Patrick Lam and
Torsten Hoefler and
Martin T. Vechev},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Modeling and analysis of remote memory access programming},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {129--144},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984033},
doi = {10.1145/2983990.2984033},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/DanLHV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RaychevBV16,
author = {Veselin Raychev and
Pavol Bielik and
Martin T. Vechev},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Probabilistic model for code with decision trees},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {731--747},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984041},
doi = {10.1145/2983990.2984041},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RaychevBV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/El-HassanyMBVV16,
author = {Ahmed El{-}Hassany and
Jeremie Miserez and
Pavol Bielik and
Laurent Vanbever and
Martin T. Vechev},
editor = {Chandra Krintz and
Emery D. Berger},
title = {SDNRacer: concurrency analysis for software-defined networks},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {402--415},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908124},
doi = {10.1145/2908080.2908124},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/El-HassanyMBVV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RaychevBVK16,
author = {Veselin Raychev and
Pavol Bielik and
Martin T. Vechev and
Andreas Krause},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Learning programs from noisy data},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {761--774},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837671},
doi = {10.1145/2837614.2837671},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/RaychevBVK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Drachsler-Cohen16,
author = {Dana Drachsler{-}Cohen and
Martin T. Vechev and
Eran Yahav},
title = {Optimal Learning of Specifications from Examples},
journal = {CoRR},
volume = {abs/1608.00089},
year = {2016},
url = {http://arxiv.org/abs/1608.00089},
eprinttype = {arXiv},
eprint = {1608.00089},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Drachsler-Cohen16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BielikRV16,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
title = {Learning a Static Analyzer from Data},
journal = {CoRR},
volume = {abs/1611.01752},
year = {2016},
url = {http://arxiv.org/abs/1611.01752},
eprinttype = {arXiv},
eprint = {1611.01752},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BielikRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/El-HassanyTVV16,
author = {Ahmed El{-}Hassany and
Petar Tsankov and
Laurent Vanbever and
Martin T. Vechev},
title = {Network-wide Configuration Synthesis},
journal = {CoRR},
volume = {abs/1611.02537},
year = {2016},
url = {http://arxiv.org/abs/1611.02537},
eprinttype = {arXiv},
eprint = {1611.02537},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/El-HassanyTVV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GehrDV15,
author = {Timon Gehr and
Dimitar K. Dimitrov and
Martin T. Vechev},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Learning Commutativity Specifications},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {307--323},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_18},
doi = {10.1007/978-3-319-21690-4\_18},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GehrDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/OuVH15,
author = {Jibin Ou and
Martin T. Vechev and
Otmar Hilliges},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {An Interactive System for Data Structure Development},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference on Human Factors in
Computing Systems, {CHI} 2015, Seoul, Republic of Korea, April 18-23,
2015},
pages = {3053--3062},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702123.2702319},
doi = {10.1145/2702123.2702319},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/OuVH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JensenMRDV15,
author = {Casper Svenning Jensen and
Anders M{\o}ller and
Veselin Raychev and
Dimitar K. Dimitrov and
Martin T. Vechev},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Stateless model checking of event-driven applications},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {57--73},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814282},
doi = {10.1145/2814270.2814282},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/JensenMRDV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BielikRV15,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Scalable race detection for Android applications},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
25-30, 2015},
pages = {332--348},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814270.2814303},
doi = {10.1145/2814270.2814303},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/BielikRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SinghPV15,
author = {Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {David Grove and
Stephen M. Blackburn},
title = {Making numerical program analysis fast},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {303--313},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2738000},
doi = {10.1145/2737924.2738000},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SinghPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RaychevVK15,
author = {Veselin Raychev and
Martin T. Vechev and
Andreas Krause},
editor = {Sriram K. Rajamani and
David Walker},
title = {Predicting Program Properties from "Big Code"},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {111--124},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677009},
doi = {10.1145/2676726.2677009},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/RaychevVK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BielikRV15,
author = {Pavol Bielik and
Veselin Raychev and
Martin T. Vechev},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {Programming with "Big Code": Lessons, Techniques and Applications},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {41--50},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.41},
doi = {10.4230/LIPICS.SNAPL.2015.41},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/snapl/BielikRV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosr/MiserezBEVV15,
author = {Jeremie Miserez and
Pavol Bielik and
Ahmed El{-}Hassany and
Laurent Vanbever and
Martin T. Vechev},
editor = {Jennifer Rexford and
Amin Vahdat},
title = {SDNRacer: detecting concurrency violations in software-defined networks},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Symposium on Software Defined
Networking Research, {SOSR} '15, Santa Clara, California, USA, June
17-18, 2015},
pages = {22:1--22:7},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774993.2775004},
doi = {10.1145/2774993.2775004},
timestamp = {Tue, 06 Nov 2018 11:07:02 +0100},
biburl = {https://dblp.org/rec/conf/sosr/MiserezBEVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DimitrovVS15,
author = {Dimitar K. Dimitrov and
Martin T. Vechev and
Vivek Sarkar},
editor = {Guy E. Blelloch and
Kunal Agrawal},
title = {Race Detection in Two Dimensions},
booktitle = {Proceedings of the 27th {ACM} on Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2015, Portland, OR, USA, June 13-15, 2015},
pages = {101--110},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2755573.2755601},
doi = {10.1145/2755573.2755601},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/DimitrovVS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DanMVY15,
author = {Andrei Marian Dan and
Yuri Meshman and
Martin T. Vechev and
Eran Yahav},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Effective Abstractions for Verification under Relaxed Memory Models},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {449--466},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_25},
doi = {10.1007/978-3-662-46081-8\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DanMVY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/CohenSV15,
author = {William W. Cohen and
Charles Sutton and
Martin T. Vechev},
title = {Programming with "Big Code" (Dagstuhl Seminar 15472)},
journal = {Dagstuhl Reports},
volume = {5},
number = {11},
pages = {90--102},
year = {2015},
url = {https://doi.org/10.4230/DagRep.5.11.90},
doi = {10.4230/DAGREP.5.11.90},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CohenSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShachamYGABSV14,
author = {Ohad Shacham and
Eran Yahav and
Guy Golan{-}Gueta and
Alex Aiken and
Nathan Grasso Bronson and
Mooly Sagiv and
Martin T. Vechev},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Verifying atomicity via data independence},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {26--36},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610402},
doi = {10.1145/2610384.2610402},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShachamYGABSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KaraivanovRV14,
author = {Svetoslav Karaivanov and
Veselin Raychev and
Martin T. Vechev},
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
title = {Phrase-Based Statistical Translation of Programming Languages},
booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
on New Ideas, New Paradigms, and Reflections on Programming {\&}
Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
2014},
pages = {173--184},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136.2661148},
doi = {10.1145/2661136.2661148},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KaraivanovRV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DimitrovRVK14,
author = {Dimitar K. Dimitrov and
Veselin Raychev and
Martin T. Vechev and
Eric Koskinen},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Commutativity race detection},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {305--315},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594322},
doi = {10.1145/2594291.2594322},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DimitrovRVK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RaychevVY14,
author = {Veselin Raychev and
Martin T. Vechev and
Eran Yahav},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Code completion with statistical language models},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {419--428},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594321},
doi = {10.1145/2594291.2594321},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RaychevVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DrachslerVY14,
author = {Dana Drachsler and
Martin T. Vechev and
Eran Yahav},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Practical concurrent binary search trees via logical ordering},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {343--356},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555269},
doi = {10.1145/2555243.2555269},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/DrachslerVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MeshmanDVY14,
author = {Yuri Meshman and
Andrei Marian Dan and
Martin T. Vechev and
Eran Yahav},
editor = {Markus M{\"{u}}ller{-}Olm and
Helmut Seidl},
title = {Synthesis of Memory Fences via Refinement Propagation},
booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
Germany, September 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8723},
pages = {237--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10936-7\_15},
doi = {10.1007/978-3-319-10936-7\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/MeshmanDVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/VechevYY13,
author = {Martin T. Vechev and
Eran Yahav and
Greta Yorsh},
title = {Abstraction-guided synthesis of synchronization},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {413--431},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0232-3},
doi = {10.1007/S10009-012-0232-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/VechevYY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RaychevVS13,
author = {Veselin Raychev and
Martin T. Vechev and
Manu Sridharan},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Effective race detection for event-driven programs},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {151--166},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509538},
doi = {10.1145/2509136.2509538},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RaychevVS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RaychevSSV13,
author = {Veselin Raychev and
Max Sch{\"{a}}fer and
Manu Sridharan and
Martin T. Vechev},
editor = {Antony L. Hosking and
Patrick Th. Eugster and
Cristina V. Lopes},
title = {Refactoring with synthesis},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
Object Oriented Programming Systems Languages {\&} Applications,
{OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
26-31, 2013},
pages = {339--354},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2509136.2509544},
doi = {10.1145/2509136.2509544},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RaychevSSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DanMVY13,
author = {Andrei Marian Dan and
Yuri Meshman and
Martin T. Vechev and
Eran Yahav},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Predicate Abstraction for Relaxed Memory Models},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {84--104},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_7},
doi = {10.1007/978-3-642-38856-9\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DanMVY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RaychevVY13,
author = {Veselin Raychev and
Martin T. Vechev and
Eran Yahav},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Automatic Synthesis of Deterministic Concurrency},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {283--303},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_16},
doi = {10.1007/978-3-642-38856-9\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/RaychevVY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RamanZSVY12,
author = {Raghavan Raman and
Jisheng Zhao and
Vivek Sarkar and
Martin T. Vechev and
Eran Yahav},
title = {Efficient data race detection for async-finish parallelism},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {3},
pages = {321--347},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0143-7},
doi = {10.1007/S10703-012-0143-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/RamanZSVY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/KupersteinVY12,
author = {Michael Kuperstein and
Martin T. Vechev and
Eran Yahav},
title = {Automatic inference of memory fences},
journal = {{SIGACT} News},
volume = {43},
number = {2},
pages = {108--123},
year = {2012},
url = {https://doi.org/10.1145/2261417.2261438},
doi = {10.1145/2261417.2261438},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/KupersteinVY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PetrovVSD12,
author = {Boris Petrov and
Martin T. Vechev and
Manu Sridharan and
Julian Dolby},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Race detection for web applications},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {251--262},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254095},
doi = {10.1145/2254064.2254095},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PetrovVSD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiuNPVY12,
author = {Feng Liu and
Nayden Nedev and
Nedyalko Prisadnikov and
Martin T. Vechev and
Eran Yahav},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Dynamic synthesis for relaxed memory models},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {429--440},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254115},
doi = {10.1145/2254064.2254115},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiuNPVY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RamanZSVY12,
author = {Raghavan Raman and
Jisheng Zhao and
Vivek Sarkar and
Martin T. Vechev and
Eran Yahav},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Scalable and precise dynamic datarace detection for structured parallelism},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {531--542},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254127},
doi = {10.1145/2254064.2254127},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RamanZSVY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2012,
editor = {Martin T. Vechev and
Kathryn S. McKinley},
title = {International Symposium on Memory Management, {ISMM} '12, Beijing,
China, June 15-16, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2258996},
doi = {10.1145/2258996},
isbn = {978-1-4503-1350-6},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/ArnoldVY11,
author = {Matthew Arnold and
Martin T. Vechev and
Eran Yahav},
title = {{QVM:} An Efficient Runtime for Detecting Defects in Deployed Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {21},
number = {1},
pages = {2:1--2:35},
year = {2011},
url = {https://doi.org/10.1145/2063239.2063241},
doi = {10.1145/2063239.2063241},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/ArnoldVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ShachamBASVY11,
author = {Ohad Shacham and
Nathan Grasso Bronson and
Alex Aiken and
Mooly Sagiv and
Martin T. Vechev and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Testing atomicity of composed concurrent operations},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {51--64},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048073},
doi = {10.1145/2048066.2048073},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ShachamBASVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RamanYVY11,
author = {Arun Raman and
Greta Yorsh and
Martin T. Vechev and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Sprint: speculative prefetching of remote data},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {259--274},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048088},
doi = {10.1145/2048066.2048088},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/RamanYVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AftandilianGVY11,
author = {Edward Aftandilian and
Samuel Z. Guyer and
Martin T. Vechev and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Asynchronous assertions},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {275--288},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048090},
doi = {10.1145/2048066.2048090},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AftandilianGVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KupersteinVY11,
author = {Michael Kuperstein and
Martin T. Vechev and
Eran Yahav},
editor = {Mary W. Hall and
David A. Padua},
title = {Partial-coherence abstractions for relaxed memory models},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {187--198},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993521},
doi = {10.1145/1993498.1993521},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KupersteinVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AttiyaGHKMV11,
author = {Hagit Attiya and
Rachid Guerraoui and
Danny Hendler and
Petr Kuznetsov and
Maged M. Michael and
Martin T. Vechev},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Laws of order: expensive synchronization in concurrent algorithms
cannot be eliminated},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {487--498},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926442},
doi = {10.1145/1926385.1926442},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AttiyaGHKMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsystech/Vechev10,
author = {Martin T. Vechev},
editor = {Boris Rachev and
Angel Smrikarov},
title = {Computer-aided construction of concurrent systems},
booktitle = {Proceedings of the 11th International Conference on Computer Systems
and Technologies and Workshop for PhD Students in Computing, CompSysTech
2010, Sofia, Bulgaria, June 17-18, 2010},
pages = {19--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839379.1839383},
doi = {10.1145/1839379.1839383},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsystech/Vechev10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KupersteinVY10,
author = {Michael Kuperstein and
Martin T. Vechev and
Eran Yahav},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Automatic inference of memory fences},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {111--119},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770939/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KupersteinVY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/VechevYY10,
author = {Martin T. Vechev and
Eran Yahav and
Greta Yorsh},
editor = {Jan Vitek and
Doug Lea},
title = {{PHALANX:} parallel checking of expressive heap assertions},
booktitle = {Proceedings of the 9th International Symposium on Memory Management,
{ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
pages = {41--50},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806651.1806658},
doi = {10.1145/1806651.1806658},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/VechevYY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/OHearnRVYY10,
author = {Peter W. O'Hearn and
Noam Rinetzky and
Martin T. Vechev and
Eran Yahav and
Greta Yorsh},
editor = {Andr{\'{e}}a W. Richa and
Rachid Guerraoui},
title = {Verifying linearizability with hindsight},
booktitle = {Proceedings of the 29th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2010, Zurich, Switzerland, July 25-28, 2010},
pages = {85--94},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1835698.1835722},
doi = {10.1145/1835698.1835722},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/OHearnRVYY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VechevYY10,
author = {Martin T. Vechev and
Eran Yahav and
Greta Yorsh},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Abstraction-guided synthesis of synchronization},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {327--338},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706338},
doi = {10.1145/1706299.1706338},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/VechevYY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RamanZSVY10,
author = {Raghavan Raman and
Jisheng Zhao and
Vivek Sarkar and
Martin T. Vechev and
Eran Yahav},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Efficient Data Race Detection for Async-Finish Parallelism},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {368--383},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_28},
doi = {10.1007/978-3-642-16612-9\_28},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/RamanZSVY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/VechevYRS10,
author = {Martin T. Vechev and
Eran Yahav and
Raghavan Raman and
Vivek Sarkar},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Automatic Verification of Determinism for Structured Parallel Programs},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {455--471},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_28},
doi = {10.1007/978-3-642-15769-1\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/VechevYRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShachamVY09,
author = {Ohad Shacham and
Martin T. Vechev and
Eran Yahav},
editor = {Michael Hind and
Amer Diwan},
title = {Chameleon: adaptive selection of collections},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
June 15-21, 2009},
pages = {408--418},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542476.1542522},
doi = {10.1145/1542476.1542522},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShachamVY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MichaelVS09,
author = {Maged M. Michael and
Martin T. Vechev and
Vijay A. Saraswat},
editor = {Daniel A. Reed and
Vivek Sarkar},
title = {Idempotent work stealing},
booktitle = {Proceedings of the 14th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2009, Raleigh, NC, USA,
February 14-18, 2009},
pages = {45--54},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1504176.1504186},
doi = {10.1145/1504176.1504186},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/MichaelVS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/VechevYY09,
author = {Martin T. Vechev and
Eran Yahav and
Greta Yorsh},
editor = {Corina S. Pasareanu},
title = {Experience with Model Checking Linearizability},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {261--278},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_21},
doi = {10.1007/978-3-642-02652-2\_21},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/VechevYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VechevYY09,
author = {Martin T. Vechev and
Eran Yahav and
Greta Yorsh},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Inferring Synchronization under Limited Observability},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {139--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_13},
doi = {10.1007/978-3-642-00768-2\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/VechevYY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ArnoldVY08,
author = {Matthew Arnold and
Martin T. Vechev and
Eran Yahav},
editor = {Gail E. Harris},
title = {{QVM:} an efficient runtime for detecting defects in deployed systems},
booktitle = {Proceedings of the 23rd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2008,
October 19-23, 2008, Nashville, TN, {USA}},
pages = {143--162},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1449764.1449776},
doi = {10.1145/1449764.1449776},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ArnoldVY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VechevY08,
author = {Martin T. Vechev and
Eran Yahav},
editor = {Rajiv Gupta and
Saman P. Amarasinghe},
title = {Deriving linearizable fine-grained concurrent objects},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
pages = {125--135},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375581.1375598},
doi = {10.1145/1375581.1375598},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VechevY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Vechev07,
author = {Martin T. Vechev},
title = {Derivation and evaluation of concurrent collectors},
school = {University of Cambridge, {UK}},
year = {2007},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.613364},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Vechev07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VechevYBR07,
author = {Martin T. Vechev and
Eran Yahav and
David F. Bacon and
Noam Rinetzky},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CGCExplorer: a semi-automated search procedure for provably correct
concurrent collectors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {456--467},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250787},
doi = {10.1145/1250734.1250787},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VechevYBR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VechevYB06,
author = {Martin T. Vechev and
Eran Yahav and
David F. Bacon},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Correctness-preserving derivation of concurrent garbage collection
algorithms},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {341--353},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134022},
doi = {10.1145/1133981.1134022},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VechevYB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VechevBCG05,
author = {Martin T. Vechev and
David F. Bacon and
Perry Cheng and
David Grove},
editor = {Andrew P. Black},
title = {Derivation and Evaluation of Concurrent Collectors},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {577--601},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_25},
doi = {10.1007/11531142\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/VechevBCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BaconCGHRYHKSV05,
author = {David F. Bacon and
Perry Cheng and
David Grove and
Michael Hind and
V. T. Rajan and
Eran Yahav and
Matthias Hauswirth and
Christoph M. Kirsch and
Daniel Spoonhower and
Martin T. Vechev},
editor = {Wayne H. Wolf},
title = {High-level real-time programming in Java},
booktitle = {{EMSOFT} 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th {ACM}
International Conference On Embedded Software, Proceedings},
pages = {68--78},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086228.1086242},
doi = {10.1145/1086228.1086242},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BaconCGHRYHKSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/BaconCGV05,
author = {David F. Bacon and
Perry Cheng and
David Grove and
Martin T. Vechev},
editor = {Yunheung Paek and
Rajiv Gupta},
title = {Syncopation: generational real-time garbage collection in the metronome},
booktitle = {Proceedings of the 2005 {ACM} {SIGPLAN/SIGBED} Conference on Languages,
Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois,
USA, June 15-17, 2005},
pages = {183--192},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065910.1065937},
doi = {10.1145/1065910.1065937},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/BaconCGV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/VechevB04,
author = {Martin T. Vechev and
David F. Bacon},
editor = {David F. Bacon and
Amer Diwan},
title = {Write barrier elision for concurrent garbage collectors},
booktitle = {Proceedings of the 4th International Symposium on Memory Management,
{ISMM} 2004, Vancouver, BC, Canada, October 24-25, 2004},
pages = {13--24},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029873.1029876},
doi = {10.1145/1029873.1029876},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/VechevB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csreaESA/VechevP03,
author = {Martin T. Vechev and
Peter D. Petrov},
editor = {Hamid R. Arabnia and
Laurence Tianruo Yang},
title = {Class Unloading with a Concurrent Garbage Collector in an Embedded
Java {VM}},
booktitle = {Proceedings of the International Conference on Embedded Systems and
Applications, {ESA} '03, June 23 - 26, 2003, Las Vegas, Nevada, {USA}},
pages = {99--108},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Fri, 12 Jun 2015 19:15:11 +0200},
biburl = {https://dblp.org/rec/conf/csreaESA/VechevP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 01:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
