BibTeX records: Veselin Raychev

download as .bib file

@article{DBLP:journals/corr/abs-2402-13291,
  author       = {Berkay Berabi and
                  Alexey Gronskiy and
                  Veselin Raychev and
                  Gishor Sivanrupan and
                  Victor Chibotaru and
                  Martin T. Vechev},
  title        = {DeepCode {AI} Fix: Fixing Security Vulnerabilities with Large Language
                  Models},
  journal      = {CoRR},
  volume       = {abs/2402.13291},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.13291},
  doi          = {10.48550/ARXIV.2402.13291},
  eprinttype    = {arXiv},
  eprint       = {2402.13291},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-13291.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BerabiHRV21,
  author       = {Berkay Berabi and
                  Jingxuan He and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Marina Meila and
                  Tong Zhang},
  title        = {TFix: Learning to Fix Coding Errors with a Text-to-Text Transformer},
  booktitle    = {Proceedings of the 38th International Conference on Machine Learning,
                  {ICML} 2021, 18-24 July 2021, Virtual Event},
  series       = {Proceedings of Machine Learning Research},
  volume       = {139},
  pages        = {780--791},
  publisher    = {{PMLR}},
  year         = {2021},
  url          = {http://proceedings.mlr.press/v139/berabi21a.html},
  timestamp    = {Wed, 25 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/BerabiHRV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeLRV21,
  author       = {Jingxuan He and
                  Cheng{-}Chun Lee and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Stephen N. Freund and
                  Eran Yahav},
  title        = {Learning to find naming issues with big code and small supervision},
  booktitle    = {{PLDI} '21: 42nd {ACM} {SIGPLAN} International Conference on Programming
                  Language Design and Implementation, Virtual Event, Canada, June 20-25,
                  2021},
  pages        = {296--311},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3453483.3454045},
  doi          = {10.1145/3453483.3454045},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HeLRV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RaychevVK19,
  author       = {Veselin Raychev and
                  Martin T. Vechev and
                  Andreas Krause},
  title        = {Predicting program properties from 'big code'},
  journal      = {Commun. {ACM}},
  volume       = {62},
  number       = {3},
  pages        = {99--107},
  year         = {2019},
  url          = {https://doi.org/10.1145/3306204},
  doi          = {10.1145/3306204},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/RaychevVK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EberhardtSRV19,
  author       = {Jan Eberhardt and
                  Samuel Steffen and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {Unsupervised learning of {API} aliasing specifications},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {745--759},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314640},
  doi          = {10.1145/3314221.3314640},
  timestamp    = {Sun, 09 Jun 2019 18:52:19 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/EberhardtSRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChibotaruBRV19,
  author       = {Victor Chibotaru and
                  Benjamin Bichsel and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Kathryn S. McKinley and
                  Kathleen Fisher},
  title        = {Scalable taint specification inference with big code},
  booktitle    = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
                  June 22-26, 2019},
  pages        = {760--774},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314221.3314648},
  doi          = {10.1145/3314221.3314648},
  timestamp    = {Sun, 09 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChibotaruBRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-12544,
  author       = {Veselin Raychev and
                  Preslav Nakov},
  title        = {Language-Independent Sentiment Analysis Using Subjectivity and Positional
                  Information},
  journal      = {CoRR},
  volume       = {abs/1911.12544},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.12544},
  eprinttype    = {arXiv},
  eprint       = {1911.12544},
  timestamp    = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-12544.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HeITRV18,
  author       = {Jingxuan He and
                  Pesho Ivanov and
                  Petar Tsankov and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {David Lie and
                  Mohammad Mannan and
                  Michael Backes and
                  XiaoFeng Wang},
  title        = {Debin: Predicting Debug Information in Stripped Binaries},
  booktitle    = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2018, Toronto, ON, Canada, October
                  15-19, 2018},
  pages        = {1667--1680},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3243734.3243866},
  doi          = {10.1145/3243734.3243866},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/HeITRV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PaletovTRV18,
  author       = {Rumen Paletov and
                  Petar Tsankov and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Jeffrey S. Foster and
                  Dan Grossman},
  title        = {Inferring crypto {API} rules from code changes},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
                  USA, June 18-22, 2018},
  pages        = {450--464},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3192366.3192403},
  doi          = {10.1145/3192366.3192403},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/PaletovTRV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BielikRV17,
  author       = {Pavol Bielik and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Rupak Majumdar and
                  Viktor Kuncak},
  title        = {Learning a Static Analyzer from Data},
  booktitle    = {Computer Aided Verification - 29th International Conference, {CAV}
                  2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10426},
  pages        = {233--253},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63387-9\_12},
  doi          = {10.1007/978-3-319-63387-9\_12},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BielikRV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/BielikRV17,
  author       = {Pavol Bielik and
                  Veselin Raychev and
                  Martin T. Vechev},
  title        = {Program Synthesis for Character Level Language Modeling},
  booktitle    = {5th International Conference on Learning Representations, {ICLR} 2017,
                  Toulon, France, April 24-26, 2017, Conference Track Proceedings},
  publisher    = {OpenReview.net},
  year         = {2017},
  url          = {https://openreview.net/forum?id=ry\_sjFqgx},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/BielikRV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Raychev16,
  author       = {Veselin Raychev},
  title        = {Learning from Large Codebases},
  school       = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
  year         = {2016},
  url          = {https://hdl.handle.net/20.500.11850/121456},
  doi          = {10.3929/ETHZ-A-010737712},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Raychev16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BichselRTV16,
  author       = {Benjamin Bichsel and
                  Veselin Raychev and
                  Petar Tsankov and
                  Martin T. Vechev},
  editor       = {Edgar R. Weippl and
                  Stefan Katzenbeisser and
                  Christopher Kruegel and
                  Andrew C. Myers and
                  Shai Halevi},
  title        = {Statistical Deobfuscation of Android Applications},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, Vienna, Austria, October 24-28, 2016},
  pages        = {343--355},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2976749.2978422},
  doi          = {10.1145/2976749.2978422},
  timestamp    = {Tue, 10 Nov 2020 20:00:49 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/BichselRTV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BielikRV16,
  author       = {Pavol Bielik and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Maria{-}Florina Balcan and
                  Kilian Q. Weinberger},
  title        = {{PHOG:} Probabilistic Model for Code},
  booktitle    = {Proceedings of the 33nd International Conference on Machine Learning,
                  {ICML} 2016, New York City, NY, USA, June 19-24, 2016},
  series       = {{JMLR} Workshop and Conference Proceedings},
  volume       = {48},
  pages        = {2933--2942},
  publisher    = {JMLR.org},
  year         = {2016},
  url          = {http://proceedings.mlr.press/v48/bielik16.html},
  timestamp    = {Wed, 29 May 2019 08:41:46 +0200},
  biburl       = {https://dblp.org/rec/conf/icml/BielikRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RaychevBV16,
  author       = {Veselin Raychev and
                  Pavol Bielik and
                  Martin T. Vechev},
  editor       = {Eelco Visser and
                  Yannis Smaragdakis},
  title        = {Probabilistic model for code with decision trees},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
                  October 30 - November 4, 2016},
  pages        = {731--747},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2983990.2984041},
  doi          = {10.1145/2983990.2984041},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/RaychevBV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RaychevBVK16,
  author       = {Veselin Raychev and
                  Pavol Bielik and
                  Martin T. Vechev and
                  Andreas Krause},
  editor       = {Rastislav Bod{\'{\i}}k and
                  Rupak Majumdar},
  title        = {Learning programs from noisy data},
  booktitle    = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2016, St. Petersburg,
                  FL, USA, January 20 - 22, 2016},
  pages        = {761--774},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2837614.2837671},
  doi          = {10.1145/2837614.2837671},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/RaychevBVK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BielikRV16,
  author       = {Pavol Bielik and
                  Veselin Raychev and
                  Martin T. Vechev},
  title        = {Learning a Static Analyzer from Data},
  journal      = {CoRR},
  volume       = {abs/1611.01752},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.01752},
  eprinttype    = {arXiv},
  eprint       = {1611.01752},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BielikRV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/JensenMRDV15,
  author       = {Casper Svenning Jensen and
                  Anders M{\o}ller and
                  Veselin Raychev and
                  Dimitar K. Dimitrov and
                  Martin T. Vechev},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Stateless model checking of event-driven applications},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                  25-30, 2015},
  pages        = {57--73},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814270.2814282},
  doi          = {10.1145/2814270.2814282},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/JensenMRDV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BielikRV15,
  author       = {Pavol Bielik and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Scalable race detection for Android applications},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                  25-30, 2015},
  pages        = {332--348},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814270.2814303},
  doi          = {10.1145/2814270.2814303},
  timestamp    = {Wed, 23 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BielikRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RaychevVK15,
  author       = {Veselin Raychev and
                  Martin T. Vechev and
                  Andreas Krause},
  editor       = {Sriram K. Rajamani and
                  David Walker},
  title        = {Predicting Program Properties from "Big Code"},
  booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
                  Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
                  15-17, 2015},
  pages        = {111--124},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2676726.2677009},
  doi          = {10.1145/2676726.2677009},
  timestamp    = {Mon, 08 Apr 2024 08:19:10 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/RaychevVK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/BielikRV15,
  author       = {Pavol Bielik and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Thomas Ball and
                  Rastislav Bod{\'{\i}}k and
                  Shriram Krishnamurthi and
                  Benjamin S. Lerner and
                  Greg Morrisett},
  title        = {Programming with "Big Code": Lessons, Techniques and Applications},
  booktitle    = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
                  3-6, 2015, Asilomar, California, {USA}},
  series       = {LIPIcs},
  volume       = {32},
  pages        = {41--50},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.41},
  doi          = {10.4230/LIPICS.SNAPL.2015.41},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/snapl/BielikRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/RaychevMM15,
  author       = {Veselin Raychev and
                  Madanlal Musuvathi and
                  Todd Mytkowicz},
  editor       = {Ethan L. Miller and
                  Steven Hand},
  title        = {Parallelizing user-defined aggregations using symbolic execution},
  booktitle    = {Proceedings of the 25th Symposium on Operating Systems Principles,
                  {SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
  pages        = {153--167},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2815400.2815418},
  doi          = {10.1145/2815400.2815418},
  timestamp    = {Tue, 20 Dec 2022 17:33:10 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/RaychevMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KaraivanovRV14,
  author       = {Svetoslav Karaivanov and
                  Veselin Raychev and
                  Martin T. Vechev},
  editor       = {Andrew P. Black and
                  Shriram Krishnamurthi and
                  Bernd Bruegge and
                  Joseph N. Ruskiewicz},
  title        = {Phrase-Based Statistical Translation of Programming Languages},
  booktitle    = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
                  on New Ideas, New Paradigms, and Reflections on Programming {\&}
                  Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
                  2014},
  pages        = {173--184},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2661136.2661148},
  doi          = {10.1145/2661136.2661148},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/KaraivanovRV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DimitrovRVK14,
  author       = {Dimitar K. Dimitrov and
                  Veselin Raychev and
                  Martin T. Vechev and
                  Eric Koskinen},
  editor       = {Michael F. P. O'Boyle and
                  Keshav Pingali},
  title        = {Commutativity race detection},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages        = {305--315},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2594291.2594322},
  doi          = {10.1145/2594291.2594322},
  timestamp    = {Wed, 01 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/DimitrovRVK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RaychevVY14,
  author       = {Veselin Raychev and
                  Martin T. Vechev and
                  Eran Yahav},
  editor       = {Michael F. P. O'Boyle and
                  Keshav Pingali},
  title        = {Code completion with statistical language models},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages        = {419--428},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2594291.2594321},
  doi          = {10.1145/2594291.2594321},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/RaychevVY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RaychevVS13,
  author       = {Veselin Raychev and
                  Martin T. Vechev and
                  Manu Sridharan},
  editor       = {Antony L. Hosking and
                  Patrick Th. Eugster and
                  Cristina V. Lopes},
  title        = {Effective race detection for event-driven programs},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
                  Object Oriented Programming Systems Languages {\&} Applications,
                  {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
                  26-31, 2013},
  pages        = {151--166},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2509136.2509538},
  doi          = {10.1145/2509136.2509538},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/RaychevVS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RaychevSSV13,
  author       = {Veselin Raychev and
                  Max Sch{\"{a}}fer and
                  Manu Sridharan and
                  Martin T. Vechev},
  editor       = {Antony L. Hosking and
                  Patrick Th. Eugster and
                  Cristina V. Lopes},
  title        = {Refactoring with synthesis},
  booktitle    = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on
                  Object Oriented Programming Systems Languages {\&} Applications,
                  {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October
                  26-31, 2013},
  pages        = {339--354},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2509136.2509544},
  doi          = {10.1145/2509136.2509544},
  timestamp    = {Thu, 24 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/RaychevSSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/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    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RaychevVY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/BastCEGHRV10,
  author       = {Hannah Bast and
                  Erik Carlsson and
                  Arno Eigenwillig and
                  Robert Geisberger and
                  Chris Harrelson and
                  Veselin Raychev and
                  Fabien Viger},
  editor       = {Mark de Berg and
                  Ulrich Meyer},
  title        = {Fast Routing in Very Large Public Transportation Networks Using Transfer
                  Patterns},
  booktitle    = {Algorithms - {ESA} 2010, 18th Annual European Symposium, Liverpool,
                  UK, September 6-8, 2010. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6346},
  pages        = {290--301},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15775-2\_25},
  doi          = {10.1007/978-3-642-15775-2\_25},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/esa/BastCEGHRV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ranlp/RaychevN09,
  author       = {Veselin Raychev and
                  Preslav Nakov},
  editor       = {Galia Angelova and
                  Kalina Bontcheva and
                  Ruslan Mitkov and
                  Nicolas Nicolov and
                  Nikolai Nikolov},
  title        = {Language-Independent Sentiment Analysis Using Subjectivity and Positional
                  Information},
  booktitle    = {Recent Advances in Natural Language Processing, {RANLP} 2009, 14-16
                  September, 2009, Borovets, Bulgaria},
  pages        = {360--364},
  publisher    = {{RANLP} 2009 Organising Committee / {ACL}},
  year         = {2009},
  url          = {https://aclanthology.org/R09-1065/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ranlp/RaychevN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics