BibTeX records: Osbert Bastani

download as .bib file

@inproceedings{DBLP:conf/cav/SadraddiniSB19,
  author    = {Sadra Sadraddini and
               Shen Shen and
               Osbert Bastani},
  title     = {Polytopic Trees for Verification of Learning-Based Controllers},
  booktitle = {Numerical Software Verification - 12th International Workshop, NSV@CAV
               2019, New York City, NY, USA, July 13-14, 2019, Proceedings},
  pages     = {110--127},
  year      = {2019},
  crossref  = {DBLP:conf/cav/2019nsv},
  url       = {https://doi.org/10.1007/978-3-030-28423-7\_8},
  doi       = {10.1007/978-3-030-28423-7\_8},
  timestamp = {Mon, 05 Aug 2019 12:50:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/SadraddiniSB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Bastani0CAA19,
  author    = {Osbert Bastani and
               Rahul Sharma and
               Lazaro Clapp and
               Saswat Anand and
               Alex Aiken},
  title     = {Eventually Sound Points-To Analysis with Specifications},
  booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
               July 15-19, 2019, London, United Kingdom.},
  pages     = {11:1--11:28},
  year      = {2019},
  crossref  = {DBLP:conf/ecoop/2019},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.11},
  doi       = {10.4230/LIPIcs.ECOOP.2019.11},
  timestamp = {Wed, 10 Jul 2019 14:41:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/Bastani0CAA19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/YoungBN19,
  author    = {Halley Young and
               Osbert Bastani and
               Mayur Naik},
  title     = {Learning Neurosymbolic Generative Models via Program synthesis},
  booktitle = {Deep Reinforcement Learning Meets Structured Prediction, {ICLR} 2019
               Workshop, New Orleans, Louisiana, United States, May 6, 2019},
  year      = {2019},
  crossref  = {DBLP:conf/iclr/2019drlsp},
  url       = {https://openreview.net/forum?id=S1gUCFx4dN},
  timestamp = {Thu, 25 Jul 2019 16:26:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclr/YoungBN19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/YoungBN19,
  author    = {Halley Young and
               Osbert Bastani and
               Mayur Naik},
  title     = {Learning Neurosymbolic Generative Models via Program Synthesis},
  booktitle = {Proceedings of the 36th International Conference on Machine Learning,
               {ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}},
  pages     = {7144--7153},
  year      = {2019},
  crossref  = {DBLP:conf/icml/2019},
  url       = {http://proceedings.mlr.press/v97/young19a.html},
  timestamp = {Tue, 11 Jun 2019 15:37:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icml/YoungBN19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WuJYBSPX19,
  author    = {Zhengkai Wu and
               Evan Johnson and
               Wei Yang and
               Osbert Bastani and
               Dawn Song and
               Jian Peng and
               Tao Xie},
  title     = {{REINAM:} reinforcement learning for input-grammar inference},
  booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019.},
  pages     = {488--498},
  year      = {2019},
  crossref  = {DBLP:conf/sigsoft/2019},
  url       = {https://doi.org/10.1145/3338906.3338958},
  doi       = {10.1145/3338906.3338958},
  timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/WuJYBSPX19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08562,
  author    = {Osbert Bastani},
  title     = {Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic
               Dynamical Systems},
  journal   = {CoRR},
  volume    = {abs/1901.08562},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.08562},
  archivePrefix = {arXiv},
  eprint    = {1901.08562},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-08562},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08565,
  author    = {Halley Young and
               Osbert Bastani and
               Mayur Naik},
  title     = {Learning Neurosymbolic Generative Models via Program Synthesis},
  journal   = {CoRR},
  volume    = {abs/1901.08565},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.08565},
  archivePrefix = {arXiv},
  eprint    = {1901.08565},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-08565},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08568,
  author    = {Min Wen and
               Osbert Bastani and
               Ufuk Topcu},
  title     = {Fairness with Dynamics},
  journal   = {CoRR},
  volume    = {abs/1901.08568},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.08568},
  archivePrefix = {arXiv},
  eprint    = {1901.08568},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-08568},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08576,
  author    = {Carolyn Kim and
               Osbert Bastani},
  title     = {Learning Interpretable Models with Causal Guarantees},
  journal   = {CoRR},
  volume    = {abs/1901.08576},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.08576},
  archivePrefix = {arXiv},
  eprint    = {1901.08576},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-08576},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09589,
  author    = {Brian Heath and
               Neelay Velingker and
               Osbert Bastani and
               Mayur Naik},
  title     = {PolyDroid: Learning-Driven Specialization of Mobile Applications},
  journal   = {CoRR},
  volume    = {abs/1902.09589},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.09589},
  archivePrefix = {arXiv},
  eprint    = {1902.09589},
  timestamp = {Tue, 21 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1902-09589},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-10691,
  author    = {Osbert Bastani},
  title     = {Safe Reinforcement Learning via Online Shielding},
  journal   = {CoRR},
  volume    = {abs/1905.10691},
  year      = {2019},
  url       = {http://arxiv.org/abs/1905.10691},
  archivePrefix = {arXiv},
  eprint    = {1905.10691},
  timestamp = {Mon, 03 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1905-10691},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05300,
  author    = {Arbaaz Khan and
               Chi Zhang and
               Shuo Li and
               Jiayue Wu and
               Brent Schlotfeldt and
               Sarah Y. Tang and
               Alejandro Ribeiro and
               Osbert Bastani and
               Vijay Kumar},
  title     = {Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints},
  journal   = {CoRR},
  volume    = {abs/1907.05300},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.05300},
  archivePrefix = {arXiv},
  eprint    = {1907.05300},
  timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1907-05300},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BastaniPS18,
  author    = {Osbert Bastani and
               Yewen Pu and
               Armando Solar{-}Lezama},
  title     = {Verifiable Reinforcement Learning via Policy Extraction},
  booktitle = {Advances in Neural Information Processing Systems 31: Annual Conference
               on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December
               2018, Montr{\'{e}}al, Canada.},
  pages     = {2499--2509},
  year      = {2018},
  crossref  = {DBLP:conf/nips/2018},
  url       = {http://papers.nips.cc/paper/7516-verifiable-reinforcement-learning-via-policy-extraction},
  timestamp = {Sun, 16 Dec 2018 17:30:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nips/BastaniPS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FengMBD18,
  author    = {Yu Feng and
               Ruben Martins and
               Osbert Bastani and
               Isil Dillig},
  title     = {Program synthesis using conflict-driven learning},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  pages     = {420--435},
  year      = {2018},
  crossref  = {DBLP:conf/pldi/2018},
  url       = {https://doi.org/10.1145/3192366.3192382},
  doi       = {10.1145/3192366.3192382},
  timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/FengMBD18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bastani0AL18,
  author    = {Osbert Bastani and
               Rahul Sharma and
               Alex Aiken and
               Percy Liang},
  title     = {Active learning of points-to specifications},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  pages     = {678--692},
  year      = {2018},
  crossref  = {DBLP:conf/pldi/2018},
  url       = {https://doi.org/10.1145/3192366.3192383},
  doi       = {10.1145/3192366.3192383},
  timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/Bastani0AL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08328,
  author    = {Osbert Bastani and
               Yewen Pu and
               Armando Solar{-}Lezama},
  title     = {Verifiable Reinforcement Learning via Policy Extraction},
  journal   = {CoRR},
  volume    = {abs/1805.08328},
  year      = {2018},
  url       = {http://arxiv.org/abs/1805.08328},
  archivePrefix = {arXiv},
  eprint    = {1805.08328},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1805-08328},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-02573,
  author    = {Osbert Bastani and
               Xin Zhang and
               Armando Solar{-}Lezama},
  title     = {Verifying Fairness Properties via Concentration},
  journal   = {CoRR},
  volume    = {abs/1812.02573},
  year      = {2018},
  url       = {http://arxiv.org/abs/1812.02573},
  archivePrefix = {arXiv},
  eprint    = {1812.02573},
  timestamp = {Wed, 06 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1812-02573},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/FengBMDA17,
  author    = {Yu Feng and
               Osbert Bastani and
               Ruben Martins and
               Isil Dillig and
               Saswat Anand},
  title     = {Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability},
  booktitle = {24th Annual Network and Distributed System Security Symposium, {NDSS}
               2017, San Diego, California, USA, February 26 - March 1, 2017},
  year      = {2017},
  crossref  = {DBLP:conf/ndss/2017},
  url       = {https://www.ndss-symposium.org/ndss2017/ndss-2017-programme/automated-synthesis-semantic-malware-signatures-using-maximum-satisfiability/},
  timestamp = {Tue, 16 Jan 2018 15:43:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ndss/FengBMDA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bastani0AL17,
  author    = {Osbert Bastani and
               Rahul Sharma and
               Alex Aiken and
               Percy Liang},
  title     = {Synthesizing program input grammars},
  booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
               June 18-23, 2017},
  pages     = {95--110},
  year      = {2017},
  crossref  = {DBLP:conf/pldi/2017},
  url       = {https://doi.org/10.1145/3062341.3062349},
  doi       = {10.1145/3062341.3062349},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/Bastani0AL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BastaniKB17,
  author    = {Osbert Bastani and
               Carolyn Kim and
               Hamsa Bastani},
  title     = {Interpreting Blackbox Models via Model Extraction},
  journal   = {CoRR},
  volume    = {abs/1705.08504},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.08504},
  archivePrefix = {arXiv},
  eprint    = {1705.08504},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BastaniKB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BastaniKB17a,
  author    = {Osbert Bastani and
               Carolyn Kim and
               Hamsa Bastani},
  title     = {Interpretability via Model Extraction},
  journal   = {CoRR},
  volume    = {abs/1706.09773},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.09773},
  archivePrefix = {arXiv},
  eprint    = {1706.09773},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BastaniKB17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03239,
  author    = {Osbert Bastani and
               Rahul Sharma and
               Alex Aiken and
               Percy Liang},
  title     = {Active Learning of Points-To Specifications},
  journal   = {CoRR},
  volume    = {abs/1711.03239},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.03239},
  archivePrefix = {arXiv},
  eprint    = {1711.03239},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-03239},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03436,
  author    = {Osbert Bastani and
               Lazaro Clapp and
               Saswat Anand and
               Rahul Sharma and
               Alex Aiken},
  title     = {Eventually Sound Points-To Analysis with Missing Code},
  journal   = {CoRR},
  volume    = {abs/1711.03436},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.03436},
  archivePrefix = {arXiv},
  eprint    = {1711.03436},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-03436},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/BastaniILVNC16,
  author    = {Osbert Bastani and
               Yani Ioannou and
               Leonidas Lampropoulos and
               Dimitrios Vytiniotis and
               Aditya V. Nori and
               Antonio Criminisi},
  title     = {Measuring Neural Net Robustness with Constraints},
  booktitle = {Advances in Neural Information Processing Systems 29: Annual Conference
               on Neural Information Processing Systems 2016, December 5-10, 2016,
               Barcelona, Spain},
  pages     = {2613--2621},
  year      = {2016},
  crossref  = {DBLP:conf/nips/2016},
  url       = {http://papers.nips.cc/paper/6339-measuring-neural-net-robustness-with-constraints},
  timestamp = {Wed, 12 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nips/BastaniILVNC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ClappBAA16,
  author    = {Lazaro Clapp and
               Osbert Bastani and
               Saswat Anand and
               Alex Aiken},
  title     = {Minimizing {GUI} event traces},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {422--434},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950342},
  doi       = {10.1145/2950290.2950342},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/ClappBAA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BastaniILVNC16,
  author    = {Osbert Bastani and
               Yani Ioannou and
               Leonidas Lampropoulos and
               Dimitrios Vytiniotis and
               Aditya V. Nori and
               Antonio Criminisi},
  title     = {Measuring Neural Net Robustness with Constraints},
  journal   = {CoRR},
  volume    = {abs/1605.07262},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.07262},
  archivePrefix = {arXiv},
  eprint    = {1605.07262},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BastaniILVNC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bastani0AL16,
  author    = {Osbert Bastani and
               Rahul Sharma and
               Alex Aiken and
               Percy Liang},
  title     = {Synthesizing Program Input Grammars},
  journal   = {CoRR},
  volume    = {abs/1608.01723},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.01723},
  archivePrefix = {arXiv},
  eprint    = {1608.01723},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Bastani0AL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FengBMDA16,
  author    = {Yu Feng and
               Osbert Bastani and
               Ruben Martins and
               Isil Dillig and
               Saswat Anand},
  title     = {Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability},
  journal   = {CoRR},
  volume    = {abs/1608.06254},
  year      = {2016},
  url       = {http://arxiv.org/abs/1608.06254},
  archivePrefix = {arXiv},
  eprint    = {1608.06254},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FengBMDA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BastaniAA15a,
  author    = {Osbert Bastani and
               Saswat Anand and
               Alex Aiken},
  title     = {An interactive approach to mobile app verification},
  booktitle = {Proceedings of the 3rd International Workshop on Mobile Development
               Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages     = {45--46},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015mobiledeli},
  url       = {https://doi.org/10.1145/2846661.2846668},
  doi       = {10.1145/2846661.2846668},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BastaniAA15a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BastaniAA15,
  author    = {Osbert Bastani and
               Saswat Anand and
               Alex Aiken},
  title     = {Interactively verifying absence of explicit information flows in Android
               apps},
  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     = {299--315},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015},
  url       = {https://doi.org/10.1145/2814270.2814274},
  doi       = {10.1145/2814270.2814274},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BastaniAA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BastaniAA15,
  author    = {Osbert Bastani and
               Saswat Anand and
               Alex Aiken},
  title     = {Specification Inference Using Context-Free Language Reachability},
  booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  pages     = {553--566},
  year      = {2015},
  crossref  = {DBLP:conf/popl/2015},
  url       = {https://doi.org/10.1145/2676726.2676977},
  doi       = {10.1145/2676726.2676977},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BastaniAA15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-3666,
  author    = {Richard Socher and
               Milind Ganjoo and
               Hamsa Sridhar and
               Osbert Bastani and
               Christopher D. Manning and
               Andrew Y. Ng},
  title     = {Zero-Shot Learning Through Cross-Modal Transfer},
  booktitle = {1st International Conference on Learning Representations, {ICLR} 2013,
               Scottsdale, Arizona, USA, May 2-4, 2013, Workshop Track Proceedings},
  year      = {2013},
  crossref  = {DBLP:conf/iclr/2013w},
  url       = {http://arxiv.org/abs/1301.3666},
  timestamp = {Thu, 04 Apr 2019 13:20:08 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1301-3666},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tac/AngeliCCRTWBSM13,
  author    = {Gabor Angeli and
               Arun Tejasvi Chaganty and
               Angel X. Chang and
               Kevin Reschke and
               Julie Tibshirani and
               Jean Wu and
               Osbert Bastani and
               Keith Siilats and
               Christopher D. Manning},
  title     = {Stanford's 2013 {KBP} System},
  booktitle = {Proceedings of the Sixth Text Analysis Conference, {TAC} 2013, Gaithersburg,
               Maryland, USA, November 18-19, 2013},
  year      = {2013},
  crossref  = {DBLP:conf/tac/2013},
  url       = {https://tac.nist.gov/publications/2013/participant.papers/Stanford.TAC2013.proceedings.pdf},
  timestamp = {Tue, 20 Aug 2019 13:25:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tac/AngeliCCRTWBSM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/XiaoBY12,
  author    = {Liangliang Xiao and
               Osbert Bastani and
               I{-}Ling Yen},
  title     = {An Efficient Homomorphic Encryption Protocol for Multi-User Systems},
  journal   = {{IACR} Cryptology ePrint Archive},
  volume    = {2012},
  pages     = {193},
  year      = {2012},
  url       = {http://eprint.iacr.org/2012/193},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iacr/XiaoBY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BastaniHPR11,
  author    = {Osbert Bastani and
               Christopher J. Hillar and
               Dimitar Popov and
               J. Maurice Rojas},
  title     = {Randomization, Sums of Squares, and Faster Real Root Counting for
               Tetranomials and Beyond},
  journal   = {CoRR},
  volume    = {abs/1101.2642},
  year      = {2011},
  url       = {http://arxiv.org/abs/1101.2642},
  archivePrefix = {arXiv},
  eprint    = {1101.2642},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BastaniHPR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2019nsv,
  editor    = {Majid Zamani and
               Damien Zufferey},
  title     = {Numerical Software Verification - 12th International Workshop, NSV@CAV
               2019, New York City, NY, USA, July 13-14, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11652},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-28423-7},
  doi       = {10.1007/978-3-030-28423-7},
  isbn      = {978-3-030-28422-0},
  timestamp = {Mon, 05 Aug 2019 12:50:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2019nsv},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2019,
  editor    = {Alastair F. Donaldson},
  title     = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
               July 15-19, 2019, London, United Kingdom},
  series    = {LIPIcs},
  volume    = {134},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2019},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-111-5},
  isbn      = {978-3-95977-111-5},
  timestamp = {Wed, 10 Jul 2019 14:41:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclr/2019drlsp,
  title     = {Deep Reinforcement Learning Meets Structured Prediction, {ICLR} 2019
               Workshop, New Orleans, Louisiana, United States, May 6, 2019},
  publisher = {OpenReview.net},
  year      = {2019},
  url       = {https://openreview.net/group?id=ICLR.cc/2019/Workshop/drlStructPred},
  timestamp = {Thu, 25 Jul 2019 16:26:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclr/2019drlsp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icml/2019,
  editor    = {Kamalika Chaudhuri and
               Ruslan Salakhutdinov},
  title     = {Proceedings of the 36th International Conference on Machine Learning,
               {ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}},
  series    = {Proceedings of Machine Learning Research},
  volume    = {97},
  publisher = {{PMLR}},
  year      = {2019},
  url       = {http://proceedings.mlr.press/v97/},
  timestamp = {Tue, 11 Jun 2019 15:37:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icml/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2019,
  editor    = {Marlon Dumas and
               Dietmar Pfahl and
               Sven Apel and
               Alessandra Russo},
  title     = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3338906},
  isbn      = {978-1-4503-5572-8},
  timestamp = {Fri, 09 Aug 2019 14:12:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nips/2018,
  editor    = {Samy Bengio and
               Hanna M. Wallach and
               Hugo Larochelle and
               Kristen Grauman and
               Nicol{\`{o}} Cesa{-}Bianchi and
               Roman Garnett},
  title     = {Advances in Neural Information Processing Systems 31: Annual Conference
               on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December
               2018, Montr{\'{e}}al, Canada},
  year      = {2018},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-31-2018},
  timestamp = {Sun, 16 Dec 2018 17:30:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nips/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2018,
  editor    = {Jeffrey S. Foster and
               Dan Grossman},
  title     = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
               USA, June 18-22, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3192366},
  doi       = {10.1145/3192366},
  timestamp = {Wed, 21 Nov 2018 12:44:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ndss/2017,
  title     = {24th Annual Network and Distributed System Security Symposium, {NDSS}
               2017, San Diego, California, USA, February 26 - March 1, 2017},
  publisher = {The Internet Society},
  year      = {2017},
  url       = {https://www.ndss-symposium.org/ndss2017/},
  timestamp = {Tue, 16 Jan 2018 15:43:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ndss/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017,
  editor    = {Albert Cohen and
               Martin T. Vechev},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
               June 18-23, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3062341},
  doi       = {10.1145/3062341},
  isbn      = {978-1-4503-4988-8},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nips/2016,
  editor    = {Daniel D. Lee and
               Masashi Sugiyama and
               Ulrike von Luxburg and
               Isabelle Guyon and
               Roman Garnett},
  title     = {Advances in Neural Information Processing Systems 29: Annual Conference
               on Neural Information Processing Systems 2016, December 5-10, 2016,
               Barcelona, Spain},
  year      = {2016},
  url       = {http://papers.nips.cc/book/advances-in-neural-information-processing-systems-29-2016},
  timestamp = {Fri, 03 Mar 2017 14:59:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/nips/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016,
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2950290},
  doi       = {10.1145/2950290},
  isbn      = {978-1-4503-4218-6},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015mobiledeli,
  editor    = {Aharon Abadi and
               Lori Flynn and
               Jeff Gray},
  title     = {Proceedings of the 3rd International Workshop on Mobile Development
               Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2846661},
  isbn      = {978-1-4503-3906-3},
  timestamp = {Tue, 16 Feb 2016 08:57:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2015mobiledeli},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015,
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814270},
  isbn      = {978-1-4503-3689-5},
  timestamp = {Thu, 07 Apr 2016 13:01:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
  editor    = {Sriram K. Rajamani and
               David Walker},
  title     = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
               15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676726},
  isbn      = {978-1-4503-3300-9},
  timestamp = {Sat, 20 Dec 2014 16:56:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclr/2013w,
  editor    = {Yoshua Bengio and
               Yann LeCun},
  title     = {1st International Conference on Learning Representations, {ICLR} 2013,
               Scottsdale, Arizona, USA, May 2-4, 2013, Workshop Track Proceedings},
  year      = {2013},
  url       = {https://openreview.net/group?id=ICLR.cc/2013},
  timestamp = {Thu, 04 Apr 2019 13:20:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclr/2013w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tac/2013,
  title     = {Proceedings of the Sixth Text Analysis Conference, {TAC} 2013, Gaithersburg,
               Maryland, USA, November 18-19, 2013},
  publisher = {{NIST}},
  year      = {2013},
  url       = {https://tac.nist.gov/publications/2013/papers.html},
  timestamp = {Tue, 20 Aug 2019 13:25:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics