Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eran Yahav
@inproceedings{DBLP:conf/acl/Brody0Y23,
author = {Shaked Brody and
Uri Alon and
Eran Yahav},
editor = {Anna Rogers and
Jordan L. Boyd{-}Graber and
Naoaki Okazaki},
title = {On the Expressivity Role of LayerNorm in Transformers' Attention},
booktitle = {Findings of the Association for Computational Linguistics: {ACL} 2023,
Toronto, Canada, July 9-14, 2023},
pages = {14211--14221},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-acl.895},
doi = {10.18653/V1/2023.FINDINGS-ACL.895},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/Brody0Y23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Yahav23,
author = {Eran Yahav},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Towards AI-Driven Software Development: Challenges and Lessons from
the Field (Keynote)},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {1},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3633451},
doi = {10.1145/3611643.3633451},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Yahav23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-00613,
author = {Daniel Glickman and
Eran Yahav},
title = {Diffusing Graph Attention},
journal = {CoRR},
volume = {abs/2303.00613},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.00613},
doi = {10.48550/ARXIV.2303.00613},
eprinttype = {arXiv},
eprint = {2303.00613},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-00613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-02582,
author = {Shaked Brody and
Uri Alon and
Eran Yahav},
title = {On the Expressivity Role of LayerNorm in Transformers' Attention},
journal = {CoRR},
volume = {abs/2305.02582},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.02582},
doi = {10.48550/ARXIV.2305.02582},
eprinttype = {arXiv},
eprint = {2305.02582},
timestamp = {Wed, 10 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-02582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/PradelRSY23,
author = {Michael Pradel and
Baishakhi Ray and
Charles Sutton and
Eran Yahav},
title = {Programming Language Processing (Dagstuhl Seminar 23062)},
journal = {Dagstuhl Reports},
volume = {13},
number = {2},
pages = {20--32},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.2.20},
doi = {10.4230/DAGREP.13.2.20},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/PradelRSY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/Brody0Y22,
author = {Shaked Brody and
Uri Alon and
Eran Yahav},
title = {How Attentive are Graph Attention Networks?},
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=F72ximsx7C1},
timestamp = {Sat, 20 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/Brody0Y22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/0002Y21,
author = {Uri Alon and
Eran Yahav},
title = {On the Bottleneck of Graph Neural Networks and its Practical Implications},
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=i80OPhOCVH2},
timestamp = {Wed, 23 Jun 2021 17:36:39 +0200},
biburl = {https://dblp.org/rec/conf/iclr/0002Y21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/WeissGY21,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
editor = {Marina Meila and
Tong Zhang},
title = {Thinking Like Transformers},
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 = {11080--11090},
publisher = {{PMLR}},
year = {2021},
url = {http://proceedings.mlr.press/v139/weiss21a.html},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/WeissGY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2021,
editor = {Stephen N. Freund and
Eran Yahav},
title = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, Virtual Event, Canada, June 20-25,
2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3453483},
doi = {10.1145/3453483},
isbn = {978-1-4503-8391-2},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14491,
author = {Shaked Brody and
Uri Alon and
Eran Yahav},
title = {How Attentive are Graph Attention Networks?},
journal = {CoRR},
volume = {abs/2105.14491},
year = {2021},
url = {https://arxiv.org/abs/2105.14491},
eprinttype = {arXiv},
eprint = {2105.14491},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14491.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-06981,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
title = {Thinking Like Transformers},
journal = {CoRR},
volume = {abs/2106.06981},
year = {2021},
url = {https://arxiv.org/abs/2106.06981},
eprinttype = {arXiv},
eprint = {2106.06981},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-06981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PelegISY20,
author = {Hila Peleg and
Shachar Itzhaky and
Sharon Shoham and
Eran Yahav},
title = {Programming by predicates: a formal model for interactive synthesis},
journal = {Acta Informatica},
volume = {57},
number = {1-2},
pages = {165--193},
year = {2020},
url = {https://doi.org/10.1007/s00236-019-00340-y},
doi = {10.1007/S00236-019-00340-Y},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PelegISY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PelegGIY20,
author = {Hila Peleg and
Roi Gabay and
Shachar Itzhaky and
Eran Yahav},
title = {Programming with a read-eval-synth loop},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {159:1--159:30},
year = {2020},
url = {https://doi.org/10.1145/3428227},
doi = {10.1145/3428227},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PelegGIY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Yefet0Y20,
author = {Noam Yefet and
Uri Alon and
Eran Yahav},
title = {Adversarial examples for models of code},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {162:1--162:30},
year = {2020},
url = {https://doi.org/10.1145/3428230},
doi = {10.1145/3428230},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Yefet0Y20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Brody0Y20,
author = {Shaked Brody and
Uri Alon and
Eran Yahav},
title = {A structural model for contextual code changes},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {215:1--215:28},
year = {2020},
url = {https://doi.org/10.1145/3428283},
doi = {10.1145/3428283},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Brody0Y20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/David0Y20,
author = {Yaniv David and
Uri Alon and
Eran Yahav},
title = {Neural reverse engineering of stripped binaries using augmented control
flow graphs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {225:1--225:28},
year = {2020},
url = {https://doi.org/10.1145/3428293},
doi = {10.1145/3428293},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/David0Y20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/MerrillWGSSY20,
author = {William Merrill and
Gail Weiss and
Yoav Goldberg and
Roy Schwartz and
Noah A. Smith and
Eran Yahav},
editor = {Dan Jurafsky and
Joyce Chai and
Natalie Schluter and
Joel R. Tetreault},
title = {A Formal Hierarchy of {RNN} Architectures},
booktitle = {Proceedings of the 58th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2020, Online, July 5-10, 2020},
pages = {443--459},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.acl-main.43},
doi = {10.18653/V1/2020.ACL-MAIN.43},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl/MerrillWGSSY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/0002SLY20,
author = {Uri Alon and
Roy Sadaka and
Omer Levy and
Eran Yahav},
title = {Structural Language Models of 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 = {245--256},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/alon20a.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/0002SLY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-08500,
author = {William Merrill and
Gail Weiss and
Yoav Goldberg and
Roy Schwartz and
Noah A. Smith and
Eran Yahav},
title = {A Formal Hierarchy of {RNN} Architectures},
journal = {CoRR},
volume = {abs/2004.08500},
year = {2020},
url = {https://arxiv.org/abs/2004.08500},
eprinttype = {arXiv},
eprint = {2004.08500},
timestamp = {Wed, 23 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-08500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-13209,
author = {Shaked Brody and
Uri Alon and
Eran Yahav},
title = {Neural Edit Completion},
journal = {CoRR},
volume = {abs/2005.13209},
year = {2020},
url = {https://arxiv.org/abs/2005.13209},
eprinttype = {arXiv},
eprint = {2005.13209},
timestamp = {Thu, 28 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-13209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-05205,
author = {Uri Alon and
Eran Yahav},
title = {On the Bottleneck of Graph Neural Networks and its Practical Implications},
journal = {CoRR},
volume = {abs/2006.05205},
year = {2020},
url = {https://arxiv.org/abs/2006.05205},
eprinttype = {arXiv},
eprint = {2006.05205},
timestamp = {Fri, 12 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-05205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlonZLY19,
author = {Uri Alon and
Meital Zilberstein and
Omer Levy and
Eran Yahav},
title = {code2vec: learning distributed representations of code},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {40:1--40:29},
year = {2019},
url = {https://doi.org/10.1145/3290353},
doi = {10.1145/3290353},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlonZLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/AlonBLY19,
author = {Uri Alon and
Shaked Brody and
Omer Levy and
Eran Yahav},
title = {code2seq: Generating Sequences from Structured Representations of
Code},
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=H1gKYo09tX},
timestamp = {Thu, 25 Jul 2019 13:03:15 +0200},
biburl = {https://dblp.org/rec/conf/iclr/AlonBLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YahavFDRG19,
author = {Eran Yahav and
Stephen J. Fink and
Nurit Dor and
G. Ramalingam and
Emmanuel Geay},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {From typestate verification to interpretable deep models (invited
talk abstract)},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {4--5},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3338992},
doi = {10.1145/3293882.3338992},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/YahavFDRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/WeissGY19,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
editor = {Hanna M. Wallach and
Hugo Larochelle and
Alina Beygelzimer and
Florence d'Alch{\'{e}}{-}Buc and
Emily B. Fox and
Roman Garnett},
title = {Learning Deterministic Weighted Automata with Queries and Counterexamples},
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 = {8558--8569},
year = {2019},
url = {https://proceedings.neurips.cc/paper/2019/hash/d3f93e7766e8e1b7ef66dfdd9a8be93b-Abstract.html},
timestamp = {Mon, 16 May 2022 15:41:51 +0200},
biburl = {https://dblp.org/rec/conf/nips/WeissGY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09122,
author = {Yaniv David and
Uri Alon and
Eran Yahav},
title = {Neural Reverse Engineering of Stripped Binaries},
journal = {CoRR},
volume = {abs/1902.09122},
year = {2019},
url = {http://arxiv.org/abs/1902.09122},
eprinttype = {arXiv},
eprint = {1902.09122},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09122.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08325,
author = {Omer Katz and
Yuval Olshaker and
Yoav Goldberg and
Eran Yahav},
title = {Towards Neural Decompilation},
journal = {CoRR},
volume = {abs/1905.08325},
year = {2019},
url = {http://arxiv.org/abs/1905.08325},
eprinttype = {arXiv},
eprint = {1905.08325},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-00577,
author = {Uri Alon and
Roy Sadaka and
Omer Levy and
Eran Yahav},
title = {Structural Language Models for Any-Code Generation},
journal = {CoRR},
volume = {abs/1910.00577},
year = {2019},
url = {http://arxiv.org/abs/1910.00577},
eprinttype = {arXiv},
eprint = {1910.00577},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00577.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-07517,
author = {Noam Yefet and
Uri Alon and
Eran Yahav},
title = {Adversarial Examples for Models of Code},
journal = {CoRR},
volume = {abs/1910.07517},
year = {2019},
url = {http://arxiv.org/abs/1910.07517},
eprinttype = {arXiv},
eprint = {1910.07517},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-07517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-13895,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
title = {Learning Deterministic Weighted Automata with Queries and Counterexamples},
journal = {CoRR},
volume = {abs/1910.13895},
year = {2019},
url = {http://arxiv.org/abs/1910.13895},
eprinttype = {arXiv},
eprint = {1910.13895},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-13895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/WeissGY18,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
editor = {Iryna Gurevych and
Yusuke Miyao},
title = {On the Practical Computational Power of Finite Precision RNNs for
Language Recognition},
booktitle = {Proceedings of the 56th Annual Meeting of the Association for Computational
Linguistics, {ACL} 2018, Melbourne, Australia, July 15-20, 2018, Volume
2: Short Papers},
pages = {740--745},
publisher = {Association for Computational Linguistics},
year = {2018},
url = {https://aclanthology.org/P18-2117/},
doi = {10.18653/V1/P18-2117},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl/WeissGY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/KatzRY18,
author = {Omer Katz and
Noam Rinetzky and
Eran Yahav},
editor = {Xipeng Shen and
James Tuck and
Ricardo Bianchini and
Vivek Sarkar},
title = {Statistical Reconstruction of Class Hierarchies in Binaries},
booktitle = {Proceedings of the Twenty-Third International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2018, Williamsburg, VA, USA, March 24-28, 2018},
pages = {363--376},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3173162.3173202},
doi = {10.1145/3173162.3173202},
timestamp = {Tue, 23 Jan 2024 20:31:22 +0100},
biburl = {https://dblp.org/rec/conf/asplos/KatzRY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/DavidPY18,
author = {Yaniv David and
Nimrod Partush and
Eran Yahav},
editor = {Xipeng Shen and
James Tuck and
Ricardo Bianchini and
Vivek Sarkar},
title = {FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware},
booktitle = {Proceedings of the Twenty-Third International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2018, Williamsburg, VA, USA, March 24-28, 2018},
pages = {392--404},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3173162.3177157},
doi = {10.1145/3173162.3177157},
timestamp = {Mon, 22 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/DavidPY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Yahav18,
author = {Eran Yahav},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {From Programs to Interpretable Deep Models and Back},
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 = {27--37},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_2},
doi = {10.1007/978-3-319-96145-3\_2},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/Yahav18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/WeissGY18,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
editor = {Jennifer G. Dy and
Andreas Krause},
title = {Extracting Automata from Recurrent Neural Networks Using Queries and
Counterexamples},
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 = {5244--5253},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v80/weiss18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:30 +0200},
biburl = {https://dblp.org/rec/conf/icml/WeissGY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PelegSY18,
author = {Hila Peleg and
Sharon Shoham and
Eran Yahav},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {Programming not only by example},
booktitle = {Proceedings of the 40th International Conference on Software Engineering,
{ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {1114--1124},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3180155.3180189},
doi = {10.1145/3180155.3180189},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PelegSY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0002ZLY18,
author = {Uri Alon and
Meital Zilberstein and
Omer Levy and
Eran Yahav},
editor = {Jeffrey S. Foster and
Dan Grossman},
title = {A general path-based representation for predicting program properties},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
USA, June 18-22, 2018},
pages = {404--419},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3192366.3192412},
doi = {10.1145/3192366.3192412},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0002ZLY18.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/vmcai/PelegRY18,
author = {Hila Peleg and
Dan Rasin and
Eran Yahav},
editor = {Isil Dillig and
Jens Palsberg},
title = {Generating Tests by Example},
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 = {406--429},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_19},
doi = {10.1007/978-3-319-73721-8\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PelegRY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09473,
author = {Uri Alon and
Meital Zilberstein and
Omer Levy and
Eran Yahav},
title = {code2vec: Learning Distributed Representations of Code},
journal = {CoRR},
volume = {abs/1803.09473},
year = {2018},
url = {http://arxiv.org/abs/1803.09473},
eprinttype = {arXiv},
eprint = {1803.09473},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09544,
author = {Uri Alon and
Meital Zilberstein and
Omer Levy and
Eran Yahav},
title = {A General Path-Based Representation for Predicting Program Properties},
journal = {CoRR},
volume = {abs/1803.09544},
year = {2018},
url = {http://arxiv.org/abs/1803.09544},
eprinttype = {arXiv},
eprint = {1803.09544},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-04908,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
title = {On the Practical Computational Power of Finite Precision RNNs for
Language Recognition},
journal = {CoRR},
volume = {abs/1805.04908},
year = {2018},
url = {http://arxiv.org/abs/1805.04908},
eprinttype = {arXiv},
eprint = {1805.04908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-04908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-01400,
author = {Uri Alon and
Omer Levy and
Eran Yahav},
title = {code2seq: Generating Sequences from Structured Representations of
Code},
journal = {CoRR},
volume = {abs/1808.01400},
year = {2018},
url = {http://arxiv.org/abs/1808.01400},
eprinttype = {arXiv},
eprint = {1808.01400},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-01400.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}
}
@article{DBLP:journals/topc/Golan-GuetaRSY17,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
title = {Automatic Scalable Atomicity via Semantic Locking},
journal = {{ACM} Trans. Parallel Comput.},
volume = {3},
number = {4},
pages = {21:1--21:29},
year = {2017},
url = {https://doi.org/10.1145/3040223},
doi = {10.1145/3040223},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topc/Golan-GuetaRSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Drachsler-Cohen17,
author = {Dana Drachsler{-}Cohen and
Sharon Shoham and
Eran Yahav},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Synthesis with Abstract Examples},
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 = {254--278},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_13},
doi = {10.1007/978-3-319-63387-9\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Drachsler-Cohen17.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/pldi/DavidPY17,
author = {Yaniv David and
Nimrod Partush and
Eran Yahav},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Similarity of binaries through re-optimization},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {79--94},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062387},
doi = {10.1145/3062341.3062387},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DavidPY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/OmariSY17,
author = {Adi Omari and
Sharon Shoham and
Eran Yahav},
editor = {Maarten de Rijke and
Milad Shokouhi and
Andrew Tomkins and
Min Zhang},
title = {Synthesis of Forgiving Data Extractors},
booktitle = {Proceedings of the Tenth {ACM} International Conference on Web Search
and Data Mining, {WSDM} 2017, Cambridge, United Kingdom, February
6-10, 2017},
pages = {385--394},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3018661.3018740},
doi = {10.1145/3018661.3018740},
timestamp = {Mon, 20 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/OmariSY17.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/corr/abs-1710-01291,
author = {Hila Peleg and
Sharon Shoham and
Eran Yahav},
title = {Programming Not Only by Example},
journal = {CoRR},
volume = {abs/1710.01291},
year = {2017},
url = {http://arxiv.org/abs/1710.01291},
eprinttype = {arXiv},
eprint = {1710.01291},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-01291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09576,
author = {Gail Weiss and
Yoav Goldberg and
Eran Yahav},
title = {Extracting Automata from Recurrent Neural Networks Using Queries and
Counterexamples},
journal = {CoRR},
volume = {abs/1711.09576},
year = {2017},
url = {http://arxiv.org/abs/1711.09576},
eprinttype = {arXiv},
eprint = {1711.09576},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-09576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/PelegSYY16,
author = {Hila Peleg and
Sharon Shoham and
Eran Yahav and
Hongseok Yang},
title = {Symbolic automata for representing big code},
journal = {Acta Informatica},
volume = {53},
number = {4},
pages = {327--356},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0234-1},
doi = {10.1007/S00236-015-0234-1},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/PelegSYY16.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/icse/OmariSY16,
author = {Adi Omari and
Sharon Shoham and
Eran Yahav},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Cross-supervised synthesis of web-crawlers},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {368--379},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884842},
doi = {10.1145/2884781.2884842},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/OmariSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/OmariKYS16,
author = {Adi Omari and
Benny Kimelfeld and
Eran Yahav and
Sharon Shoham},
editor = {Balaji Krishnapuram and
Mohak Shah and
Alexander J. Smola and
Charu C. Aggarwal and
Dou Shen and
Rajeev Rastogi},
title = {Lossless Separation of Web Pages into Layout Code and Data},
booktitle = {Proceedings of the 22nd {ACM} {SIGKDD} International Conference on
Knowledge Discovery and Data Mining, San Francisco, CA, USA, August
13-17, 2016},
pages = {1805--1814},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2939672.2939858},
doi = {10.1145/2939672.2939858},
timestamp = {Tue, 06 Nov 2018 16:59:37 +0100},
biburl = {https://dblp.org/rec/conf/kdd/OmariKYS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/YadidY16,
author = {Shir Yadid and
Eran Yahav},
editor = {Eelco Visser and
Emerson R. Murphy{-}Hill and
Cristina V. Lopes},
title = {Extracting code from programming tutorial videos},
booktitle = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2016, Amsterdam,
The Netherlands, November 2-4, 2016},
pages = {98--111},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2986012.2986021},
doi = {10.1145/2986012.2986021},
timestamp = {Tue, 27 Dec 2022 12:44:40 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/YadidY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ZilbersteinY16,
author = {Meital Zilberstein and
Eran Yahav},
editor = {Eelco Visser and
Emerson R. Murphy{-}Hill and
Cristina V. Lopes},
title = {Leveraging a corpus of natural language descriptions for program similarity},
booktitle = {2016 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2016, Amsterdam,
The Netherlands, November 2-4, 2016},
pages = {197--211},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2986012.2986013},
doi = {10.1145/2986012.2986013},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/ZilbersteinY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DavidPY16,
author = {Yaniv David and
Nimrod Partush and
Eran Yahav},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Statistical similarity of binaries},
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 = {266--280},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908126},
doi = {10.1145/2908080.2908126},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DavidPY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KatzEY16,
author = {Omer Katz and
Ran El{-}Yaniv and
Eran Yahav},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Estimating types in binaries using predictive modeling},
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 = {313--326},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837674},
doi = {10.1145/2837614.2837674},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/KatzEY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PelegSY16,
author = {Hila Peleg and
Sharon Shoham and
Eran Yahav},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {D{\^{}}3 : Data-Driven Disjunctive Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {185--205},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_9},
doi = {10.1007/978-3-662-49122-5\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PelegSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/natosec/Yahav16,
author = {Eran Yahav},
editor = {Javier Esparza and
Orna Grumberg and
Salomon Sickert},
title = {Analysis and Synthesis with "Big Code"},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {45},
pages = {244--282},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-627-9-244},
doi = {10.3233/978-1-61499-627-9-244},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Yahav16.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}
}
@inproceedings{DBLP:conf/aplas/Yahav15,
author = {Eran Yahav},
editor = {Xinyu Feng and
Sungwoo Park},
title = {Programming with "Big Code"},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {3--8},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_1},
doi = {10.1007/978-3-319-26529-2\_1},
timestamp = {Fri, 04 Mar 2022 17:17:35 +0100},
biburl = {https://dblp.org/rec/conf/aplas/Yahav15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MeshmanRY15,
author = {Yuri Meshman and
Noam Rinetzky and
Eran Yahav},
editor = {Roope Kaivola and
Thomas Wahl},
title = {Pattern-based Synthesis of Synchronization for the {C++} Memory Model},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2015, Austin, Texas,
USA, September 27-30, 2015},
pages = {120--127},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/FMCAD.2015.7542261},
doi = {10.1109/FMCAD.2015.7542261},
timestamp = {Tue, 30 May 2023 17:04:45 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/MeshmanRY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/Golan-GuetaRSY15,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Albert Cohen and
David Grove},
title = {Automatic scalable atomicity via semantic locking},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
February 7-11, 2015},
pages = {31--41},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2688500.2688511},
doi = {10.1145/2688500.2688511},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Golan-GuetaRSY15.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}
}
@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/PartushY14,
author = {Nimrod Partush and
Eran Yahav},
editor = {Andrew P. Black and
Todd D. Millstein},
title = {Abstract semantic differencing via speculative correlation},
booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
pages = {811--828},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660193.2660245},
doi = {10.1145/2660193.2660245},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/PartushY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DavidY14,
author = {Yaniv David and
Eran Yahav},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Tracelet-based code search in executables},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {349--360},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594343},
doi = {10.1145/2594291.2594343},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DavidY14.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/ppopp/Golan-GuetaRSY14,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Jos{\'{e}} E. Moreira and
James R. Larus},
title = {Automatic semantic locking},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '14, Orlando, FL, USA, February 15-19, 2014},
pages = {385--386},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2555243.2555281},
doi = {10.1145/2555243.2555281},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/Golan-GuetaRSY14.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}
}
@incollection{DBLP:series/natosec/Yahav14,
author = {Eran Yahav},
editor = {Orna Grumberg and
Helmut Seidl and
Maximilian Irlbeck},
title = {Practical Software Synthesis},
booktitle = {Software Systems Safety},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {36},
pages = {349--377},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-385-8-349},
doi = {10.3233/978-1-61499-385-8-349},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/natosec/Yahav14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2014,
editor = {Eran Yahav},
title = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6},
doi = {10.1007/978-3-319-13338-6},
isbn = {978-3-319-13337-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SinaiPYY14,
author = {Meital Ben Sinai and
Nimrod Partush and
Shir Yadid and
Eran Yahav},
title = {Exploiting Social Navigation},
journal = {CoRR},
volume = {abs/1410.0151},
year = {2014},
url = {http://arxiv.org/abs/1410.0151},
eprinttype = {arXiv},
eprint = {1410.0151},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SinaiPYY14.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/birthday/KreikerRRSWY13,
author = {J{\"{o}}rg Kreiker and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav},
editor = {Andrei Voronkov and
Christoph Weidenbach},
title = {Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs},
booktitle = {Programming Logics - Essays in Memory of Harald Ganzinger},
series = {Lecture Notes in Computer Science},
volume = {7797},
pages = {414--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37651-1\_17},
doi = {10.1007/978-3-642-37651-1\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KreikerRRSWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ChocklerEY13,
author = {Hana Chockler and
Karine Even and
Eran Yahav},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Finding rare numerical stability errors in concurrent computations},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {12--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483791},
doi = {10.1145/2483760.2483791},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/ChocklerEY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Golan-GuetaRSY13,
author = {Guy Golan{-}Gueta and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Concurrent libraries with foresight},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {263--274},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462172},
doi = {10.1145/2491956.2462172},
timestamp = {Fri, 30 Nov 2018 12:21:40 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Golan-GuetaRSY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PelegSYY13,
author = {Hila Peleg and
Sharon Shoham and
Eran Yahav and
Hongseok Yang},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Symbolic Automata for Static Specification Mining},
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 = {63--83},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_6},
doi = {10.1007/978-3-642-38856-9\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/PelegSYY13.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 = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DanMVY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PartushY13,
author = {Nimrod Partush and
Eran Yahav},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Abstract Semantic Differencing for Numerical Programs},
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 = {238--258},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_14},
doi = {10.1007/978-3-642-38856-9\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/PartushY13.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}
}
@inproceedings{DBLP:conf/vmcai/Yahav13,
author = {Eran Yahav},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Abstraction-Guided Synthesis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {27},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_4},
doi = {10.1007/978-3-642-35873-9\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Yahav13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/SridharanCDFY13,
author = {Manu Sridharan and
Satish Chandra and
Julian Dolby and
Stephen J. Fink and
Eran Yahav},
editor = {Dave Clarke and
James Noble and
Tobias Wrigstad},
title = {Alias Analysis for Object-Oriented Programs},
booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
series = {Lecture Notes in Computer Science},
volume = {7850},
pages = {196--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36946-9\_8},
doi = {10.1007/978-3-642-36946-9\_8},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/SridharanCDFY13.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/oopsla/MishneSY12,
author = {Alon Mishne and
Sharon Shoham and
Eran Yahav},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Typestate-based semantic code search over partial programs},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {997--1016},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384689},
doi = {10.1145/2384616.2384689},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MishneSY12.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 16:19:30 +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}
}
@article{DBLP:journals/dagstuhl-reports/BodikGY12,
author = {Rastislav Bod{\'{\i}}k and
Sumit Gulwani and
Eran Yahav},
title = {Software Synthesis (Dagstuhl Seminar 12152)},
journal = {Dagstuhl Reports},
volume = {2},
number = {4},
pages = {21--38},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.4.21},
doi = {10.4230/DAGREP.2.4.21},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BodikGY12.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/Golan-GuetaBARSY11,
author = {Guy Golan{-}Gueta and
Nathan Grasso Bronson and
Alex Aiken and
G. Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Automatic fine-grain locking using shape properties},
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 = {225--242},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048086},
doi = {10.1145/2048066.2048086},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Golan-GuetaBARSY11.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}
}
@proceedings{DBLP:conf/sas/2011,
editor = {Eran Yahav},
title = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7},
doi = {10.1007/978-3-642-23702-7},
isbn = {978-3-642-23701-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/YahavS10,
author = {Eran Yahav and
Mooly Sagiv},
title = {Verifying safety properties of concurrent heap-manipulating programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {5},
pages = {18:1--18:50},
year = {2010},
url = {https://doi.org/10.1145/1745312.1745315},
doi = {10.1145/1745312.1745315},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/YahavS10.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/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}
}
@proceedings{DBLP:conf/dagstuhl/2009P9501,
editor = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
title = {Software Synthesis, 06.12. - 11.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09501},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/portals/09501/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2009P9501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BodikKSY09,
author = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
editor = {Rastislav Bod{\'{\i}}k and
Orna Kupferman and
Douglas R. Smith and
Eran Yahav},
title = {09501 Abstracts Collection - Software Synthesis},
booktitle = {Software Synthesis, 06.12. - 11.12.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09501},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2669/},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BodikKSY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RinetzkyRSY08,
author = {Noam Rinetzky and
G. Ramalingam and
Shmuel Sagiv and
Eran Yahav},
title = {On the complexity of partially-flow-sensitive alias analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {30},
number = {3},
pages = {13:1--13:28},
year = {2008},
url = {https://doi.org/10.1145/1353445.1353447},
doi = {10.1145/1353445.1353447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RinetzkyRSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FinkYDRG08,
author = {Stephen J. Fink and
Eran Yahav and
Nurit Dor and
G. Ramalingam and
Emmanuel Geay},
title = {Effective typestate verification in the presence of aliasing},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {17},
number = {2},
pages = {9:1--9:34},
year = {2008},
url = {https://doi.org/10.1145/1348250.1348255},
doi = {10.1145/1348250.1348255},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FinkYDRG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ShohamYFP08,
author = {Sharon Shoham and
Eran Yahav and
Stephen J. Fink and
Marco Pistoia},
title = {Static Specification Mining Using Automata-Based Abstractions},
journal = {{IEEE} Trans. Software Eng.},
volume = {34},
number = {5},
pages = {651--666},
year = {2008},
url = {https://doi.org/10.1109/TSE.2008.63},
doi = {10.1109/TSE.2008.63},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ShohamYFP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LoginovYCFRN08,
author = {Alexey Loginov and
Eran Yahav and
Satish Chandra and
Stephen Fink and
Noam Rinetzky and
Mangala Gowri Nanda},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Verifying dereference safety via expanding-scope analysis},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {213--224},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390657},
doi = {10.1145/1390630.1390657},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LoginovYCFRN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/DilligDYC08,
author = {Isil Dillig and
Thomas Dillig and
Eran Yahav and
Satish Chandra},
editor = {Richard E. Jones and
Stephen M. Blackburn},
title = {The {CLOSER:} automating resource management in java},
booktitle = {Proceedings of the 7th International Symposium on Memory Management,
{ISMM} 2008, Tucson, AZ, USA, June 7-8, 2008},
pages = {1--10},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1375634.1375636},
doi = {10.1145/1375634.1375636},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/DilligDYC08.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}
}
@inproceedings{DBLP:conf/popl/YorshYC08,
author = {Greta Yorsh and
Eran Yahav and
Satish Chandra},
editor = {George C. Necula and
Philip Wadler},
title = {Generating precise and concise procedure summaries},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {221--234},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328467},
doi = {10.1145/1328438.1328467},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/YorshYC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmsj/PistoiaCFY07,
author = {Marco Pistoia and
Satish Chandra and
Stephen J. Fink and
Eran Yahav},
title = {A survey of static analysis methods for identifying security vulnerabilities
in software systems},
journal = {{IBM} Syst. J.},
volume = {46},
number = {2},
pages = {265--288},
year = {2007},
url = {https://doi.org/10.1147/sj.462.0265},
doi = {10.1147/SJ.462.0265},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ibmsj/PistoiaCFY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmitRRSY07,
author = {Daphna Amit and
Noam Rinetzky and
Thomas W. Reps and
Mooly Sagiv and
Eran Yahav},
editor = {Werner Damm and
Holger Hermanns},
title = {Comparison Under Abstraction for Verifying Linearizability},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {477--490},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_49},
doi = {10.1007/978-3-540-73368-3\_49},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AmitRRSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RinetzkyPRSY07,
author = {Noam Rinetzky and
Arnd Poetzsch{-}Heffter and
Ganesan Ramalingam and
Mooly Sagiv and
Eran Yahav},
editor = {Rocco De Nicola},
title = {Modular Shape Analysis for Dynamically Encapsulated Programs},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {220--236},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_16},
doi = {10.1007/978-3-540-71316-6\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/RinetzkyPRSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PistoiaFFY07,
author = {Marco Pistoia and
Stephen J. Fink and
Robert J. Flynn and
Eran Yahav},
title = {When Role Models Have Flaws: Static Validation of Enterprise Security
Policies},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {478--488},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.98},
doi = {10.1109/ICSE.2007.98},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PistoiaFFY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShohamYFP07,
author = {Sharon Shoham and
Eran Yahav and
Stephen Fink and
Marco Pistoia},
editor = {David S. Rosenblum and
Sebastian G. Elbaum},
title = {Static specification mining using automata-based abstractions},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
pages = {174--184},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273463.1273487},
doi = {10.1145/1273463.1273487},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShohamYFP07.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/spin/GuetaFYS07,
author = {Guy Gueta and
Cormac Flanagan and
Eran Yahav and
Mooly Sagiv},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {Cartesian Partial-Order Reduction},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {95--112},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_8},
doi = {10.1007/978-3-540-73370-6\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GuetaFYS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/YahavRSW06,
author = {Eran Yahav and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
journal = {Log. J. {IGPL}},
volume = {14},
number = {5},
pages = {755--783},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzl009},
doi = {10.1093/JIGPAL/JZL009},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/YahavRSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FinkYDRG06,
author = {Stephen J. Fink and
Eran Yahav and
Nurit Dor and
G. Ramalingam and
Emmanuel Geay},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Effective typestate verification in the presence of aliasing},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {133--144},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146254},
doi = {10.1145/1146238.1146254},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/FinkYDRG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/GeayYF06,
author = {Emmanuel Geay and
Eran Yahav and
Stephen J. Fink},
editor = {John Hatcliff and
Frank Tip},
title = {Continuous code-quality assurance with {SAFE}},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {145--149},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111567},
doi = {10.1145/1111542.1111567},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/GeayYF06.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}
}
@article{DBLP:journals/scp/FieldGRY05,
author = {John Field and
Deepak Goyal and
Ganesan Ramalingam and
Eran Yahav},
title = {Typestate verification: Abstraction techniques and complexity results},
journal = {Sci. Comput. Program.},
volume = {58},
number = {1-2},
pages = {57--82},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.02.004},
doi = {10.1016/J.SCICO.2005.02.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/FieldGRY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ShahamYKS05,
author = {Ran Shaham and
Eran Yahav and
Elliot K. Kolodner and
Mooly Sagiv},
title = {Establishing local temporal heap safety properties with applications
to compile-time memory management},
journal = {Sci. Comput. Program.},
volume = {58},
number = {1-2},
pages = {264--289},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.02.010},
doi = {10.1016/J.SCICO.2005.02.010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ShahamYKS05.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/sas/RinetzkySY05,
author = {Noam Rinetzky and
Mooly Sagiv and
Eran Yahav},
editor = {Chris Hankin and
Igor Siveroni},
title = {Interprocedural Shape Analysis for Cutpoint-Free Programs},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {284--302},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_20},
doi = {10.1007/11547662\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/RinetzkySY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ManevichYRS05,
author = {Roman Manevich and
Eran Yahav and
Ganesan Ramalingam and
Shmuel Sagiv},
editor = {Radhia Cousot},
title = {Predicate Abstraction and Canonical Abstraction for Singly-Linked
Lists},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {181--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_13},
doi = {10.1007/978-3-540-30579-8\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ManevichYRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DorFGLLMRRRSWYY05,
author = {Nurit Dor and
John Field and
Denis Gopan and
Tal Lev{-}Ami and
Alexey Loginov and
Roman Manevich and
G. Ramalingam and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav and
Greta Yorsh},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Automatic Verification of Strongly Dynamic Software Systems},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {82--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_11},
doi = {10.1007/978-3-540-69149-5\_11},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DorFGLLMRRRSWYY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/il/Yahav04,
author = {Eran Yahav},
title = {Property-guided verification of concurrent heap-manipulating programs},
school = {Tel Aviv University, Israel},
year = {2004},
url = {https://tau.primo.exlibrisgroup.com/permalink/972TAU\_INST/bai57q/alma990020204330204146},
timestamp = {Fri, 03 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/il/Yahav04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YahavR04,
author = {Eran Yahav and
G. Ramalingam},
editor = {William W. Pugh and
Craig Chambers},
title = {Verifying safety properties using separation and heterogeneous abstractions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {25--34},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996846},
doi = {10.1145/996841.996846},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YahavR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/YahavRSW03,
author = {Eran Yahav and
Thomas W. Reps and
Shmuel Sagiv and
Reinhard Wilhelm},
editor = {Pierpaolo Degano},
title = {Verifying Temporal Heap Properties Specified via Evolution Logic},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {204--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_15},
doi = {10.1007/3-540-36575-3\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/YahavRSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FieldGRY03,
author = {John Field and
Deepak Goyal and
G. Ramalingam and
Eran Yahav},
editor = {Radhia Cousot},
title = {Typestate Verification: Abstraction Techniques and Complexity Results},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {439--462},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_25},
doi = {10.1007/3-540-44898-5\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/FieldGRY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ShahamYKS03,
author = {Ran Shaham and
Eran Yahav and
Elliot K. Kolodner and
Shmuel Sagiv},
editor = {Radhia Cousot},
title = {Establishing Local Temporal Heap Safety Properties with Applications
to Compile-Time Memory Management},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {483--503},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_27},
doi = {10.1007/3-540-44898-5\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/ShahamYKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/YahavS03,
author = {Eran Yahav and
Shmuel Sagiv},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Automatically Verifying Concurrent Queue Algorithms},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {450--463},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80006-4},
doi = {10.1016/S1571-0661(05)80006-4},
timestamp = {Thu, 08 Dec 2022 15:49:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/YahavS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Yahav01,
author = {Eran Yahav},
editor = {Chris Hankin and
Dave Schmidt},
title = {Verifying safety properties of concurrent Java programs using 3-valued
logic},
booktitle = {Conference Record of {POPL} 2001: The 28th {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, London, UK, January
17-19, 2001},
pages = {27--40},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/360204.360206},
doi = {10.1145/360204.360206},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/popl/Yahav01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/PoratBFRY96,
author = {Sara Porat and
David Bernstein and
Yaroslav Fedorov and
Joseph Rodrigue and
Eran Yahav},
title = {Compiler Optimization of {C++} Virtual Function Calls},
booktitle = {Proceedings of the {USENIX} Conference on Object-Oriented Technologies,
COOTS'96, Toronto, Ontario, Canada, June 17-21, 1996},
publisher = {{USENIX}},
year = {1996},
url = {http://www.usenix.org/publications/library/proceedings/coots96/porat.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coots/PoratBFRY96.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-02-07 03:42 CET 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:
