BibTeX records: Ranjit Jhala

download as .bib file

@article{DBLP:journals/pacmpl/GleissenthallKB19,
  author    = {Klaus von Gleissenthall and
               Rami G{\"{o}}khan Kici and
               Alexander Bakst and
               Deian Stefan and
               Ranjit Jhala},
  title     = {Pretend synchrony: synchronous verification of asynchronous distributed
               programs},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  pages     = {59:1--59:30},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3290372},
  timestamp = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/GleissenthallKB19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SeidelJW18,
  author    = {Eric L. Seidel and
               Ranjit Jhala and
               Westley Weimer},
  title     = {Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually
               Go Wrong)},
  journal   = {J. Funct. Program.},
  volume    = {28},
  pages     = {e13},
  year      = {2018},
  url       = {https://doi.org/10.1017/S0956796818000126},
  doi       = {10.1017/S0956796818000126},
  timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/SeidelJW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VazouTCSNWJ18,
  author    = {Niki Vazou and
               Anish Tondwalkar and
               Vikraman Choudhury and
               Ryan G. Scott and
               Ryan R. Newton and
               Philip Wadler and
               Ranjit Jhala},
  title     = {Refinement reflection: complete verification with {SMT}},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {53:1--53:31},
  year      = {2018},
  url       = {https://doi.org/10.1145/3158141},
  doi       = {10.1145/3158141},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/VazouTCSNWJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AndryscoNBJS18,
  author    = {Marc Andrysco and
               Andres N{\"{o}}tzli and
               Fraser Brown and
               Ranjit Jhala and
               Deian Stefan},
  title     = {Towards Verified, Constant-time Floating Point Operations},
  booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  pages     = {1369--1382},
  year      = {2018},
  crossref  = {DBLP:conf/ccs/2018},
  url       = {https://doi.org/10.1145/3243734.3243766},
  doi       = {10.1145/3243734.3243766},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/AndryscoNBJS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/JhalaPR18,
  author    = {Ranjit Jhala and
               Andreas Podelski and
               Andrey Rybalchenko},
  title     = {Predicate Abstraction for Program Verification},
  booktitle = {Handbook of Model Checking.},
  pages     = {447--491},
  year      = {2018},
  crossref  = {DBLP:reference/mc/2018},
  url       = {https://doi.org/10.1007/978-3-319-10575-8\_15},
  doi       = {10.1007/978-3-319-10575-8\_15},
  timestamp = {Tue, 29 May 2018 12:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/mc/JhalaPR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CosmanJ17,
  author    = {Benjamin Cosman and
               Ranjit Jhala},
  title     = {Local refinement typing},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {26:1--26:27},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110270},
  doi       = {10.1145/3110270},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/CosmanJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SeidelSCWJ17,
  author    = {Eric L. Seidel and
               Huma Sibghat and
               Kamalika Chaudhuri and
               Westley Weimer and
               Ranjit Jhala},
  title     = {Learning to blame: localizing novice type errors with data-driven
               diagnosis},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {60:1--60:27},
  year      = {2017},
  url       = {https://doi.org/10.1145/3138818},
  doi       = {10.1145/3138818},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/SeidelSCWJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BakstGKJ17,
  author    = {Alexander Bakst and
               Klaus von Gleissenthall and
               Rami G{\"{o}}khan Kici and
               Ranjit Jhala},
  title     = {Verifying distributed programs via canonical sequentialization},
  journal   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {110:1--110:27},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133934},
  doi       = {10.1145/3133934},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/BakstGKJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/CauligiSBJHJS17,
  author    = {Sunjay Cauligi and
               Gary Soeller and
               Fraser Brown and
               Brian Johannesmeyer and
               Yunlu Huang and
               Ranjit Jhala and
               Deian Stefan},
  title     = {FaCT: {A} Flexible, Constant-Time Programming Language},
  booktitle = {{IEEE} Cybersecurity Development, SecDev 2017, Cambridge, MA, USA,
               September 24-26, 2017},
  pages     = {69--76},
  year      = {2017},
  crossref  = {DBLP:conf/secdev/2017},
  url       = {https://doi.org/10.1109/SecDev.2017.24},
  doi       = {10.1109/SecDev.2017.24},
  timestamp = {Tue, 27 Nov 2018 14:50:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/secdev/CauligiSBJHJS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BrownNWEJS17,
  author    = {Fraser Brown and
               Shravan Narayan and
               Riad S. Wahby and
               Dawson R. Engler and
               Ranjit Jhala and
               Deian Stefan},
  title     = {Finding and Preventing Bugs in JavaScript Bindings},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  pages     = {559--578},
  year      = {2017},
  crossref  = {DBLP:conf/sp/2017},
  url       = {https://doi.org/10.1109/SP.2017.68},
  doi       = {10.1109/SP.2017.68},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sp/BrownNWEJS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CosmanJ17,
  author    = {Benjamin Cosman and
               Ranjit Jhala},
  title     = {Local Refinement Typing},
  journal   = {CoRR},
  volume    = {abs/1706.08007},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.08007},
  archivePrefix = {arXiv},
  eprint    = {1706.08007},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CosmanJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02328,
  author    = {Ryan G. Scott and
               Vikraman Choudhury and
               Ryan Newton and
               Niki Vazou and
               Ranjit Jhala},
  title     = {Deriving Law-Abiding Instances},
  journal   = {CoRR},
  volume    = {abs/1708.02328},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.02328},
  archivePrefix = {arXiv},
  eprint    = {1708.02328},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1708-02328},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-07583,
  author    = {Eric L. Seidel and
               Huma Sibghat and
               Kamalika Chaudhuri and
               Westley Weimer and
               Ranjit Jhala},
  title     = {Learning to Blame: Localizing Novice Type Errors with Data-Driven
               Diagnosis},
  journal   = {CoRR},
  volume    = {abs/1708.07583},
  year      = {2017},
  url       = {http://arxiv.org/abs/1708.07583},
  archivePrefix = {arXiv},
  eprint    = {1708.07583},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1708-07583},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03842,
  author    = {Niki Vazou and
               Anish Tondwalkar and
               Vikraman Choudhury and
               Ryan G. Scott and
               Ryan R. Newton and
               Philip Wadler and
               Ranjit Jhala},
  title     = {Refinement Reflection: Complete Verification with {SMT}},
  journal   = {CoRR},
  volume    = {abs/1711.03842},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.03842},
  archivePrefix = {arXiv},
  eprint    = {1711.03842},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-03842},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SeidelJW16,
  author    = {Eric L. Seidel and
               Ranjit Jhala and
               Westley Weimer},
  title     = {Dynamic witnesses for static type errors (or, ill-typed programs usually
               go wrong)},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  pages     = {228--242},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {https://doi.org/10.1145/2951913.2951915},
  doi       = {10.1145/2951913.2951915},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/SeidelJW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VekrisCJ16,
  author    = {Panagiotis Vekris and
               Benjamin Cosman and
               Ranjit Jhala},
  title     = {Refinement types for TypeScript},
  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     = {310--325},
  year      = {2016},
  crossref  = {DBLP:conf/pldi/2016},
  url       = {https://doi.org/10.1145/2908080.2908110},
  doi       = {10.1145/2908080.2908110},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/VekrisCJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AndryscoJL16,
  author    = {Marc Andrysco and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {Printing floating-point numbers: a faster, always correct method},
  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     = {555--567},
  year      = {2016},
  crossref  = {DBLP:conf/popl/2016},
  url       = {https://doi.org/10.1145/2837614.2837654},
  doi       = {10.1145/2837614.2837654},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AndryscoJL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BakstJ16,
  author    = {Alexander Bakst and
               Ranjit Jhala},
  title     = {Predicate Abstraction for Linked Data Structures},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
               Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
               2016. Proceedings},
  pages     = {65--84},
  year      = {2016},
  crossref  = {DBLP:conf/vmcai/2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5\_3},
  doi       = {10.1007/978-3-662-49122-5\_3},
  timestamp = {Wed, 14 Nov 2018 10:59:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/BakstJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VekrisCJ16,
  author    = {Panagiotis Vekris and
               Benjamin Cosman and
               Ranjit Jhala},
  title     = {Refinement Types for TypeScript},
  journal   = {CoRR},
  volume    = {abs/1604.02480},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.02480},
  archivePrefix = {arXiv},
  eprint    = {1604.02480},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VekrisCJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeidelJW16,
  author    = {Eric L. Seidel and
               Ranjit Jhala and
               Westley Weimer},
  title     = {Dynamic Witnesses for Static Type Errors},
  journal   = {CoRR},
  volume    = {abs/1606.07557},
  year      = {2016},
  url       = {http://arxiv.org/abs/1606.07557},
  archivePrefix = {arXiv},
  eprint    = {1606.07557},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SeidelJW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VazouJ16,
  author    = {Niki Vazou and
               Ranjit Jhala},
  title     = {Refinement Reflection (or, how to turn your favorite language into
               a proof assistant using {SMT)}},
  journal   = {CoRR},
  volume    = {abs/1610.04641},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.04641},
  archivePrefix = {arXiv},
  eprint    = {1610.04641},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VazouJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/GaboardiJJW16,
  author    = {Marco Gaboardi and
               Suresh Jagannathan and
               Ranjit Jhala and
               Stephanie Weirich},
  title     = {Language Based Verification Tools for Functional Programs (Dagstuhl
               Seminar 16131)},
  journal   = {Dagstuhl Reports},
  volume    = {6},
  number    = {3},
  pages     = {59--77},
  year      = {2016},
  url       = {https://doi.org/10.4230/DagRep.6.3.59},
  doi       = {10.4230/DagRep.6.3.59},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/GaboardiJJW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/WannerLRGMHSADD15,
  author    = {Lucas Francisco Wanner and
               Liangzhen Lai and
               Abbas Rahimi and
               Mark Gottscho and
               Pietro Mercati and
               Chu{-}Hsiang Huang and
               Frederic Sala and
               Yuvraj Agarwal and
               Lara Dolecek and
               Nikil D. Dutt and
               Puneet Gupta and
               Rajesh K. Gupta and
               Ranjit Jhala and
               Rakesh Kumar and
               Sorin Lerner and
               Subhasish Mitra and
               Alexandru Nicolau and
               Tajana Simunic Rosing and
               Mani B. Srivastava and
               Steven Swanson and
               Dennis Sylvester and
               Yuanyuan Zhou},
  title     = {{NSF} expedition on variability-aware software: Recent results and
               contributions},
  journal   = {it - Information Technology},
  volume    = {57},
  number    = {3},
  pages     = {181--198},
  year      = {2015},
  url       = {https://doi.org/10.1515/itit-2014-1085},
  doi       = {10.1515/itit-2014-1085},
  timestamp = {Mon, 05 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/it/WannerLRGMHSADD15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VekrisCJ15,
  author    = {Panagiotis Vekris and
               Benjamin Cosman and
               Ranjit Jhala},
  title     = {Trust, but Verify: Two-Phase Typing for Dynamic Languages},
  booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
               July 5-10, 2015, Prague, Czech Republic},
  pages     = {52--75},
  year      = {2015},
  crossref  = {DBLP:conf/ecoop/2015},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.52},
  doi       = {10.4230/LIPIcs.ECOOP.2015.52},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/VekrisCJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SeidelVJ15,
  author    = {Eric L. Seidel and
               Niki Vazou and
               Ranjit Jhala},
  title     = {Type Targeted Testing},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  pages     = {812--836},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_33},
  doi       = {10.1007/978-3-662-46669-8\_33},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/SeidelVJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VazouBJ15,
  author    = {Niki Vazou and
               Alexander Bakst and
               Ranjit Jhala},
  title     = {Bounded refinement types},
  booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  pages     = {48--61},
  year      = {2015},
  crossref  = {DBLP:conf/icfp/2015},
  url       = {https://doi.org/10.1145/2784731.2784745},
  doi       = {10.1145/2784731.2784745},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/VazouBJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AndryscoKMJLS15,
  author    = {Marc Andrysco and
               David Kohlbrenner and
               Keaton Mowery and
               Ranjit Jhala and
               Sorin Lerner and
               Hovav Shacham},
  title     = {On Subnormal Floating Point and Abnormal Timing},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  pages     = {623--639},
  year      = {2015},
  crossref  = {DBLP:conf/sp/2015},
  url       = {https://doi.org/10.1109/SP.2015.44},
  doi       = {10.1109/SP.2015.44},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/AndryscoKMJLS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VekrisCJ15,
  author    = {Panagiotis Vekris and
               Benjamin Cosman and
               Ranjit Jhala},
  title     = {Trust, but Verify: Two-Phase Typing for Dynamic Languages},
  journal   = {CoRR},
  volume    = {abs/1504.08039},
  year      = {2015},
  url       = {http://arxiv.org/abs/1504.08039},
  archivePrefix = {arXiv},
  eprint    = {1504.08039},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VekrisCJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BakstJ15,
  author    = {Alexander Bakst and
               Ranjit Jhala},
  title     = {Predicate Abstraction for Linked Data Structures},
  journal   = {CoRR},
  volume    = {abs/1505.02298},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.02298},
  archivePrefix = {arXiv},
  eprint    = {1505.02298},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BakstJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VazouBJ15,
  author    = {Niki Vazou and
               Alexander Bakst and
               Ranjit Jhala},
  title     = {Bounded Refinement Types},
  journal   = {CoRR},
  volume    = {abs/1507.00385},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.00385},
  archivePrefix = {arXiv},
  eprint    = {1507.00385},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VazouBJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/VazouSJ14,
  author    = {Niki Vazou and
               Eric L. Seidel and
               Ranjit Jhala},
  title     = {LiquidHaskell: experience with refinement types in the real world},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  pages     = {39--51},
  year      = {2014},
  crossref  = {DBLP:conf/haskell/2014},
  url       = {https://doi.org/10.1145/2633357.2633366},
  doi       = {10.1145/2633357.2633366},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/VazouSJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VazouSJVJ14,
  author    = {Niki Vazou and
               Eric L. Seidel and
               Ranjit Jhala and
               Dimitrios Vytiniotis and
               Simon L. {Peyton Jones}},
  title     = {Refinement types for Haskell},
  booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages     = {269--282},
  year      = {2014},
  crossref  = {DBLP:conf/icfp/2014},
  url       = {https://doi.org/10.1145/2628136.2628161},
  doi       = {10.1145/2628136.2628161},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/VazouSJVJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plpv/Jhala14,
  author    = {Ranjit Jhala},
  title     = {Refinement types for Haskell},
  booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages
               meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego,
               California, USA, Co-located with {POPL} '14},
  pages     = {27--28},
  year      = {2014},
  crossref  = {DBLP:conf/plpv/2014},
  url       = {https://doi.org/10.1145/2541568.2541569},
  doi       = {10.1145/2541568.2541569},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/Jhala14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VazouSJ14,
  author    = {Niki Vazou and
               Eric L. Seidel and
               Ranjit Jhala},
  title     = {From Safety To Termination And Back: SMT-Based Verification For Lazy
               Languages},
  journal   = {CoRR},
  volume    = {abs/1401.6227},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.6227},
  archivePrefix = {arXiv},
  eprint    = {1401.6227},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VazouSJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeidelVJ14,
  author    = {Eric L. Seidel and
               Niki Vazou and
               Ranjit Jhala},
  title     = {Type Targeted Testing},
  journal   = {CoRR},
  volume    = {abs/1410.5370},
  year      = {2014},
  url       = {http://arxiv.org/abs/1410.5370},
  archivePrefix = {arXiv},
  eprint    = {1410.5370},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/SeidelVJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/HengleinJKT14,
  author    = {Fritz Henglein and
               Ranjit Jhala and
               Shriram Krishnamurthi and
               Peter Thiemann},
  title     = {Scripting Languages and Frameworks: Analysis and Verification (Dagstuhl
               Seminar 14271)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {6},
  pages     = {84--107},
  year      = {2014},
  url       = {https://doi.org/10.4230/DagRep.4.6.84},
  doi       = {10.4230/DagRep.4.6.84},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/HengleinJKT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VazouRJ13,
  author    = {Niki Vazou and
               Patrick Maxim Rondon and
               Ranjit Jhala},
  title     = {Abstract Refinement Types},
  booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  pages     = {209--228},
  year      = {2013},
  crossref  = {DBLP:conf/esop/2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6\_13},
  doi       = {10.1007/978-3-642-37036-6\_13},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/VazouRJ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2013,
  editor    = {Ranjit Jhala and
               Koen De Bosschere},
  title     = {Compiler Construction - 22nd International Conference, {CC} 2013,
               Held as Part of the European Joint Conferences on Theory and Practice
               of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7791},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37051-9},
  doi       = {10.1007/978-3-642-37051-9},
  isbn      = {978-3-642-37050-2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RondonBKJ12,
  author    = {Patrick Maxim Rondon and
               Alexander Bakst and
               Ming Kawaguchi and
               Ranjit Jhala},
  title     = {CSolve: Verifying {C} with Liquid Types},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  pages     = {744--750},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_59},
  doi       = {10.1007/978-3-642-31424-7\_59},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/RondonBKJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ChughHJ12,
  author    = {Ravi Chugh and
               David Herman and
               Ranjit Jhala},
  title     = {Dependent types for JavaScript},
  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     = {587--606},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012},
  url       = {https://doi.org/10.1145/2384616.2384659},
  doi       = {10.1145/2384616.2384659},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/ChughHJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/VekrisJLA12,
  author    = {Panagiotis Vekris and
               Ranjit Jhala and
               Sorin Lerner and
               Yuvraj Agarwal},
  title     = {Towards Verifying Android Apps for the Absence of No-Sleep Energy
               Bugs},
  booktitle = {2012 Workshop on Power-Aware Computing Systems, HotPower'12, Hollywood,
               CA, USA, October 7, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/osdi/2012hotpower},
  url       = {https://www.usenix.org/conference/hotpower12/workshop-program/presentation/vekris},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/VekrisJLA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KawaguchiRBJ12,
  author    = {Ming Kawaguchi and
               Patrick Maxim Rondon and
               Alexander Bakst and
               Ranjit Jhala},
  title     = {Deterministic parallelism via liquid effects},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages     = {45--54},
  year      = {2012},
  crossref  = {DBLP:conf/pldi/2012},
  url       = {https://doi.org/10.1145/2254064.2254071},
  doi       = {10.1145/2254064.2254071},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/KawaguchiRBJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeungGAGJL12,
  author    = {Alan Leung and
               Manish Gupta and
               Yuvraj Agarwal and
               Rajesh Gupta and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {Verifying {GPU} kernels by test amplification},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages     = {383--394},
  year      = {2012},
  crossref  = {DBLP:conf/pldi/2012},
  url       = {https://doi.org/10.1145/2254064.2254110},
  doi       = {10.1145/2254064.2254110},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/LeungGAGJL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChughRJ12,
  author    = {Ravi Chugh and
               Patrick Maxim Rondon and
               Ranjit Jhala},
  title     = {Nested refinements: a logic for duck typing},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  pages     = {231--244},
  year      = {2012},
  crossref  = {DBLP:conf/popl/2012},
  url       = {https://doi.org/10.1145/2103656.2103686},
  doi       = {10.1145/2103656.2103686},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/ChughRJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Jhala12,
  author    = {Ranjit Jhala},
  title     = {Software Verification with Liquid Types},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  pages     = {23},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9\_2},
  doi       = {10.1007/978-3-642-27940-9\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/Jhala12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2012,
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2},
  doi       = {10.1007/978-3-642-35182-2},
  isbn      = {978-3-642-35181-5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1373,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Counterexample-guided Planning},
  journal   = {CoRR},
  volume    = {abs/1207.1373},
  year      = {2012},
  url       = {http://arxiv.org/abs/1207.1373},
  archivePrefix = {arXiv},
  eprint    = {1207.1373},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1207-1373},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Jhala11,
  author    = {Ranjit Jhala},
  title     = {Software Verification with Liquid Types},
  booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
               Kenting, Taiwan, December 5-7, 2011. Proceedings},
  pages     = {3},
  year      = {2011},
  crossref  = {DBLP:conf/aplas/2011},
  url       = {https://doi.org/10.1007/978-3-642-25318-8\_2},
  doi       = {10.1007/978-3-642-25318-8\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/Jhala11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CoburnCAGGJS11,
  author    = {Joel Coburn and
               Adrian M. Caulfield and
               Ameen Akel and
               Laura M. Grupp and
               Rajesh K. Gupta and
               Ranjit Jhala and
               Steven Swanson},
  title     = {NV-Heaps: making persistent objects fast and safe with next-generation,
               non-volatile memories},
  booktitle = {Proceedings of the 16th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2011, Newport Beach, CA, USA, March 5-11, 2011},
  pages     = {105--118},
  year      = {2011},
  crossref  = {DBLP:conf/asplos/2011},
  url       = {https://doi.org/10.1145/1950365.1950380},
  doi       = {10.1145/1950365.1950380},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/CoburnCAGGJS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Jhala11,
  author    = {Ranjit Jhala},
  title     = {Using Types for Software Verification},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {20},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_2},
  doi       = {10.1007/978-3-642-22110-1\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/Jhala11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JhalaMR11,
  author    = {Ranjit Jhala and
               Rupak Majumdar and
               Andrey Rybalchenko},
  title     = {{HMC:} Verifying Functional Programs Using Abstract Interpreters},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {470--485},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_38},
  doi       = {10.1007/978-3-642-22110-1\_38},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/JhalaMR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2011,
  editor    = {Ranjit Jhala and
               Wouter Swierstra},
  title     = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
               Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0487-0},
  timestamp = {Mon, 14 Feb 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2011,
  editor    = {Ranjit Jhala and
               David A. Schmidt},
  title     = {Verification, Model Checking, and Abstract Interpretation - 12th International
               Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6538},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-18275-4},
  doi       = {10.1007/978-3-642-18275-4},
  isbn      = {978-3-642-18274-7},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5055,
  author    = {Ravi Chugh and
               Patrick Maxim Rondon and
               Ranjit Jhala},
  title     = {System {D:} Dependent Dynamic Dictionaries},
  journal   = {CoRR},
  volume    = {abs/1103.5055},
  year      = {2011},
  url       = {http://arxiv.org/abs/1103.5055},
  archivePrefix = {arXiv},
  eprint    = {1103.5055},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1103-5055},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-4106,
  author    = {Ravi Chugh and
               Ranjit Jhala},
  title     = {Dependent Types for JavaScript},
  journal   = {CoRR},
  volume    = {abs/1112.4106},
  year      = {2011},
  url       = {http://arxiv.org/abs/1112.4106},
  archivePrefix = {arXiv},
  eprint    = {1112.4106},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1112-4106},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KawaguchiRJ10,
  author    = {Ming Kawaguchi and
               Patrick Maxim Rondon and
               Ranjit Jhala},
  title     = {Dsolve: Safety Verification via Liquid Types},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {123--126},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_12},
  doi       = {10.1007/978-3-642-14295-6\_12},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KawaguchiRJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/JangJLS10,
  author    = {Dongseok Jang and
               Ranjit Jhala and
               Sorin Lerner and
               Hovav Shacham},
  title     = {An empirical study of privacy-violating information flows in JavaScript
               web applications},
  booktitle = {Proceedings of the 17th {ACM} Conference on Computer and Communications
               Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010},
  pages     = {270--283},
  year      = {2010},
  crossref  = {DBLP:conf/ccs/2010},
  url       = {https://doi.org/10.1145/1866307.1866339},
  doi       = {10.1145/1866307.1866339},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/JangJLS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RondonKJ10,
  author    = {Patrick Maxim Rondon and
               Ming Kawaguchi and
               Ranjit Jhala},
  title     = {Low-level liquid types},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  pages     = {131--144},
  year      = {2010},
  crossref  = {DBLP:conf/popl/2010},
  url       = {https://doi.org/10.1145/1706299.1706316},
  doi       = {10.1145/1706299.1706316},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/RondonKJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KillianNPBAJ10,
  author    = {Charles Edwin Killian and
               Karthik Nagaraj and
               Salman Pervez and
               Ryan Braud and
               James W. Anderson and
               Ranjit Jhala},
  title     = {Finding latent performance bugs in systems implementations},
  booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  pages     = {17--26},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010},
  url       = {https://doi.org/10.1145/1882291.1882297},
  doi       = {10.1145/1882291.1882297},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/KillianNPBAJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2884,
  author    = {Ranjit Jhala and
               Rupak Majumdar and
               Andrey Rybalchenko},
  title     = {Refinement type inference via abstract interpretation},
  journal   = {CoRR},
  volume    = {abs/1004.2884},
  year      = {2010},
  url       = {http://arxiv.org/abs/1004.2884},
  archivePrefix = {arXiv},
  eprint    = {1004.2884},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1004-2884},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/JhalaM09,
  author    = {Ranjit Jhala and
               Rupak Majumdar},
  title     = {Software model checking},
  journal   = {{ACM} Comput. Surv.},
  volume    = {41},
  number    = {4},
  pages     = {21:1--21:54},
  year      = {2009},
  url       = {https://doi.org/10.1145/1592434.1592438},
  doi       = {10.1145/1592434.1592438},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/JhalaM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/p2p/KillianABJV09,
  author    = {Charles Edwin Killian and
               James W. Anderson and
               Ryan Braud and
               Ranjit Jhala and
               Amin Vahdat},
  title     = {Building Distributed Systems Using Mace},
  booktitle = {Proceedings {P2P} 2009, Ninth International Conference on Peer-to-Peer
               Computing, 9-11 September 2009, Seattle, Washington, {USA}},
  pages     = {91--92},
  year      = {2009},
  crossref  = {DBLP:conf/p2p/2009},
  url       = {https://doi.org/10.1109/P2P.2009.5284502},
  doi       = {10.1109/P2P.2009.5284502},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/p2p/KillianABJV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChughMJL09,
  author    = {Ravi Chugh and
               Jeffrey A. Meister and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {Staged information flow for javascript},
  booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
               June 15-21, 2009},
  pages     = {50--62},
  year      = {2009},
  crossref  = {DBLP:conf/pldi/2009},
  url       = {https://doi.org/10.1145/1542476.1542483},
  doi       = {10.1145/1542476.1542483},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ChughMJL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KawaguchiRJ09,
  author    = {Ming Kawaguchi and
               Patrick Maxim Rondon and
               Ranjit Jhala},
  title     = {Type-based data structure verification},
  booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
               June 15-21, 2009},
  pages     = {304--315},
  year      = {2009},
  crossref  = {DBLP:conf/pldi/2009},
  url       = {https://doi.org/10.1145/1542476.1542510},
  doi       = {10.1145/1542476.1542510},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/KawaguchiRJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EmmiJKM09,
  author    = {Michael Emmi and
               Ranjit Jhala and
               Eddie Kohler and
               Rupak Majumdar},
  title     = {Verifying Reference Counting Implementations},
  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},
  pages     = {352--367},
  year      = {2009},
  crossref  = {DBLP:conf/tacas/2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_30},
  doi       = {10.1007/978-3-642-00768-2\_30},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/EmmiJKM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TatlockTSJL08,
  author    = {Zachary Tatlock and
               Chris Tucker and
               David Shuffelton and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {Deep typechecking and refactoring},
  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     = {37--52},
  year      = {2008},
  crossref  = {DBLP:conf/oopsla/2008},
  url       = {https://doi.org/10.1145/1449764.1449768},
  doi       = {10.1145/1449764.1449768},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/TatlockTSJL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RondonKJ08,
  author    = {Patrick Maxim Rondon and
               Ming Kawaguchi and
               Ranjit Jhala},
  title     = {Liquid types},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
               Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  pages     = {159--169},
  year      = {2008},
  crossref  = {DBLP:conf/pldi/2008},
  url       = {https://doi.org/10.1145/1375581.1375602},
  doi       = {10.1145/1375581.1375602},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/RondonKJ08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChughVJL08,
  author    = {Ravi Chugh and
               Jan Wen Voung and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {Dataflow analysis for concurrent programs using datarace detection},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
               Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  pages     = {316--326},
  year      = {2008},
  crossref  = {DBLP:conf/pldi/2008},
  url       = {https://doi.org/10.1145/1375581.1375620},
  doi       = {10.1145/1375581.1375620},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ChughVJL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/JhalaM07,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {Interpolant-Based Transition Relation Approximation},
  journal   = {Logical Methods in Computer Science},
  volume    = {3},
  number    = {4},
  year      = {2007},
  url       = {https://doi.org/10.2168/LMCS-3(4:1)2007},
  doi       = {10.2168/LMCS-3(4:1)2007},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lmcs/JhalaM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BeyerHJM07,
  author    = {Dirk Beyer and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {The software model checker Blast},
  journal   = {{STTT}},
  volume    = {9},
  number    = {5-6},
  pages     = {505--525},
  year      = {2007},
  url       = {https://doi.org/10.1007/s10009-007-0044-z},
  doi       = {10.1007/s10009-007-0044-z},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/BeyerHJM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JhalaM07,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {Array Abstractions from Proofs},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {193--206},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_23},
  doi       = {10.1007/978-3-540-73368-3\_23},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/JhalaM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/ChuangNCJ07,
  author    = {Weihaw Chuang and
               Satish Narayanasamy and
               Brad Calder and
               Ranjit Jhala},
  title     = {Bounds Checking with Taint-Based Analysis},
  booktitle = {High Performance Embedded Architectures and Compilers, Second International
               Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings},
  pages     = {71--86},
  year      = {2007},
  crossref  = {DBLP:conf/hipeac/2007},
  url       = {https://doi.org/10.1007/978-3-540-69338-3\_6},
  doi       = {10.1007/978-3-540-69338-3\_6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hipeac/ChuangNCJ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TuckerSJL07,
  author    = {Chris Tucker and
               David Shuffelton and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {{OPIUM:} Optimal Package Install/Uninstall Manager},
  booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  pages     = {178--188},
  year      = {2007},
  crossref  = {DBLP:conf/icse/2007},
  url       = {https://doi.org/10.1109/ICSE.2007.59},
  doi       = {10.1109/ICSE.2007.59},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TuckerSJL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/KillianAJV07,
  author    = {Charles Edwin Killian and
               James W. Anderson and
               Ranjit Jhala and
               Amin Vahdat},
  title     = {Life, Death, and the Critical Transition: Finding Liveness Bugs in
               Systems Code (Awarded Best Paper)},
  booktitle = {4th Symposium on Networked Systems Design and Implementation {(NSDI}
               2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings.},
  year      = {2007},
  crossref  = {DBLP:conf/nsdi/2007},
  url       = {http://www.usenix.org/events/nsdi07/tech/killian.html},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nsdi/KillianAJV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KillianABJV07,
  author    = {Charles Edwin Killian and
               James W. Anderson and
               Ryan Braud and
               Ranjit Jhala and
               Amin Vahdat},
  title     = {Mace: language support for building distributed systems},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  pages     = {179--188},
  year      = {2007},
  crossref  = {DBLP:conf/pldi/2007},
  url       = {https://doi.org/10.1145/1250734.1250755},
  doi       = {10.1145/1250734.1250755},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/KillianABJV07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EmmiFJM07,
  author    = {Michael Emmi and
               Jeffrey S. Fischer and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Lock allocation},
  booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  pages     = {291--296},
  year      = {2007},
  crossref  = {DBLP:conf/popl/2007},
  url       = {https://doi.org/10.1145/1190216.1190260},
  doi       = {10.1145/1190216.1190260},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/EmmiFJM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JhalaM07,
  author    = {Ranjit Jhala and
               Rupak Majumdar},
  title     = {Interprocedural analysis of asynchronous programs},
  booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  pages     = {339--350},
  year      = {2007},
  crossref  = {DBLP:conf/popl/2007},
  url       = {https://doi.org/10.1145/1190216.1190266},
  doi       = {10.1145/1190216.1190266},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/JhalaM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VoungJL07,
  author    = {Jan Wen Voung and
               Ranjit Jhala and
               Sorin Lerner},
  title     = {{RELAY:} static race detection on millions of lines of code},
  booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
               2007},
  pages     = {205--214},
  year      = {2007},
  crossref  = {DBLP:conf/sigsoft/2007},
  url       = {https://doi.org/10.1145/1287624.1287654},
  doi       = {10.1145/1287624.1287654},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/VoungJL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JhalaMX07,
  author    = {Ranjit Jhala and
               Rupak Majumdar and
               Ru{-}Gang Xu},
  title     = {State of the Union: Type Inference Via Craig Interpolation},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  pages     = {553--567},
  year      = {2007},
  crossref  = {DBLP:conf/tacas/2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1\_43},
  doi       = {10.1007/978-3-540-71209-1\_43},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/JhalaMX07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0706-0523,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {Interpolant-Based Transition Relation Approximation},
  journal   = {CoRR},
  volume    = {abs/0706.0523},
  year      = {2007},
  url       = {http://arxiv.org/abs/0706.0523},
  archivePrefix = {arXiv},
  eprint    = {0706.0523},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0706-0523},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JhalaMX06,
  author    = {Ranjit Jhala and
               Rupak Majumdar and
               Ru{-}Gang Xu},
  title     = {Structural Invariants},
  booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
               Korea, August 29-31, 2006, Proceedings},
  pages     = {71--87},
  year      = {2006},
  crossref  = {DBLP:conf/sas/2006},
  url       = {https://doi.org/10.1007/11823230\_6},
  doi       = {10.1007/11823230\_6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/JhalaMX06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JhalaM06,
  author    = {Ranjit Jhala and
               Rupak Majumdar},
  title     = {Bit level types for high level reasoning},
  booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
               USA, November 5-11, 2006},
  pages     = {128--140},
  year      = {2006},
  crossref  = {DBLP:conf/sigsoft/2006},
  url       = {https://doi.org/10.1145/1181775.1181791},
  doi       = {10.1145/1181775.1181791},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/JhalaM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JhalaM06,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {A Practical and Complete Approach to Predicate Refinement},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  pages     = {459--473},
  year      = {2006},
  crossref  = {DBLP:conf/tacas/2006},
  url       = {https://doi.org/10.1007/11691372\_33},
  doi       = {10.1007/11691372\_33},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/JhalaM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JhalaM05,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {Interpolant-Based Transition Relation Approximation},
  booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  pages     = {39--51},
  year      = {2005},
  crossref  = {DBLP:conf/cav/2005},
  url       = {https://doi.org/10.1007/11513988\_6},
  doi       = {10.1007/11513988\_6},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/JhalaM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/BeyerHJM05,
  author    = {Dirk Beyer and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Checking Memory Safety with Blast},
  booktitle = {Fundamental Approaches to Software Engineering, 8th International
               Conference, {FASE} 2005, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
               4-8, 2005, Proceedings},
  pages     = {2--18},
  year      = {2005},
  crossref  = {DBLP:conf/fase/2005},
  url       = {https://doi.org/10.1007/978-3-540-31984-9\_2},
  doi       = {10.1007/978-3-540-31984-9\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/BeyerHJM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JhalaM05,
  author    = {Ranjit Jhala and
               Rupak Majumdar},
  title     = {Path slicing},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
               Language Design and Implementation, Chicago, IL, USA, June 12-15,
               2005},
  pages     = {38--47},
  year      = {2005},
  crossref  = {DBLP:conf/pldi/2005},
  url       = {https://doi.org/10.1145/1065010.1065016},
  doi       = {10.1145/1065010.1065016},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/JhalaM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HenzingerJM05,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Permissive interfaces},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  pages     = {31--40},
  year      = {2005},
  crossref  = {DBLP:conf/sigsoft/2005},
  url       = {https://doi.org/10.1145/1081706.1081713},
  doi       = {10.1145/1081706.1081713},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/HenzingerJM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FischerJM05,
  author    = {Jeffrey Fischer and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Joining dataflow with predicates},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  pages     = {227--236},
  year      = {2005},
  crossref  = {DBLP:conf/sigsoft/2005},
  url       = {https://doi.org/10.1145/1081706.1081742},
  doi       = {10.1145/1081706.1081742},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/FischerJM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HenzingerJM05,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {The {BLAST} Software Verification System},
  booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
               CA, USA, August 22-24, 2005, Proceedings},
  pages     = {25--26},
  year      = {2005},
  crossref  = {DBLP:conf/spin/2005},
  url       = {https://doi.org/10.1007/11537328\_4},
  doi       = {10.1007/11537328\_4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/HenzingerJM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/ChatterjeeHJM05,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Counterexample-guided Planning},
  booktitle = {{UAI} '05, Proceedings of the 21st Conference in Uncertainty in Artificial
               Intelligence, Edinburgh, Scotland, July 26-29, 2005},
  pages     = {104--111},
  year      = {2005},
  crossref  = {DBLP:conf/uai/2005},
  url       = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=1214\&\#38;proceeding\_id=21},
  timestamp = {Wed, 06 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uai/ChatterjeeHJM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BeyerCM04,
  author    = {Dirk Beyer and
               Adam Chlipala and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Generating Tests from Counterexamples},
  booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
               23-28 May 2004, Edinburgh, United Kingdom},
  pages     = {326--335},
  year      = {2004},
  crossref  = {DBLP:conf/icse/2004},
  url       = {https://doi.org/10.1109/ICSE.2004.1317455},
  doi       = {10.1109/ICSE.2004.1317455},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BeyerCM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/BeyerHJM04,
  author    = {Dirk Beyer and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {An Eclipse Plug-in for Model Checking},
  booktitle = {12th International Workshop on Program Comprehension {(IWPC} 2004),
               24-26 June 2004, Bari, Italy},
  pages     = {251--255},
  year      = {2004},
  crossref  = {DBLP:conf/iwpc/2004},
  url       = {https://doi.org/10.1109/WPC.2004.1311069},
  doi       = {10.1109/WPC.2004.1311069},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/BeyerHJM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/BeyerCHJM04,
  author    = {Dirk Beyer and
               Adam Chlipala and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Invited talk: the blast query language for software verification},
  booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2004, Verona, Italy, August
               24-25, 2004},
  pages     = {201--202},
  year      = {2004},
  crossref  = {DBLP:conf/pepm/2004},
  url       = {https://doi.org/10.1145/1014007.1014028},
  doi       = {10.1145/1014007.1014028},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/BeyerCHJM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HenzingerJM04,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Race checking by context inference},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
               Language Design and Implementation 2004, Washington, DC, USA, June
               9-11, 2004},
  pages     = {1--13},
  year      = {2004},
  crossref  = {DBLP:conf/pldi/2004},
  url       = {https://doi.org/10.1145/996841.996844},
  doi       = {10.1145/996841.996844},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/HenzingerJM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HenzingerJMM04,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar and
               Kenneth L. McMillan},
  title     = {Abstractions from proofs},
  booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
               2004},
  pages     = {232--244},
  year      = {2004},
  crossref  = {DBLP:conf/popl/2004},
  url       = {https://doi.org/10.1145/964001.964021},
  doi       = {10.1145/964001.964021},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/HenzingerJMM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BeyerCHJM04,
  author    = {Dirk Beyer and
               Adam Chlipala and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Invited talk: the blast query language for software verification},
  booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 24-26 August 2004,
               Verona, Italy},
  pages     = {1--2},
  year      = {2004},
  crossref  = {DBLP:conf/ppdp/2004},
  url       = {https://doi.org/10.1145/1013963.1013964},
  doi       = {10.1145/1013963.1013964},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/BeyerCHJM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BeyerCHJM04,
  author    = {Dirk Beyer and
               Adam Chlipala and
               Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {The Blast Query Language for Software Verification.},
  booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
               Italy, August 26-28, 2004, Proceedings},
  pages     = {2--18},
  year      = {2004},
  crossref  = {DBLP:conf/sas/2004},
  url       = {https://doi.org/10.1007/978-3-540-27864-1\_2},
  doi       = {10.1007/978-3-540-27864-1\_2},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/BeyerCHJM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HenzingerJMS03,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar and
               Marco A. A. Sanvido},
  title     = {Extreme Model Checking},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  pages     = {332--358},
  year      = {2003},
  crossref  = {DBLP:conf/birthday/2003manna},
  url       = {https://doi.org/10.1007/978-3-540-39910-0\_16},
  doi       = {10.1007/978-3-540-39910-0\_16},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/HenzingerJMS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerJMQ03,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar and
               Shaz Qadeer},
  title     = {Thread-Modular Abstraction Refinement},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {262--274},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_27},
  doi       = {10.1007/978-3-540-45069-6\_27},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/HenzingerJMQ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HenzingerJM03,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar},
  title     = {Counterexample-Guided Control},
  booktitle = {Automata, Languages and Programming, 30th International Colloquium,
               {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
               Proceedings},
  pages     = {886--902},
  year      = {2003},
  crossref  = {DBLP:conf/icalp/2003},
  url       = {https://doi.org/10.1007/3-540-45061-0\_69},
  doi       = {10.1007/3-540-45061-0\_69},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/HenzingerJM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HenzingerJMS03,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar and
               Gr{\'{e}}goire Sutre},
  title     = {Software Verification with {BLAST}},
  booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  pages     = {235--239},
  year      = {2003},
  crossref  = {DBLP:conf/spin/2003},
  url       = {https://doi.org/10.1007/3-540-44829-2\_17},
  doi       = {10.1007/3-540-44829-2\_17},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/HenzingerJMS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HenzingerJMNSW02,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar and
               George C. Necula and
               Gr{\'{e}}goire Sutre and
               Westley Weimer},
  title     = {Temporal-Safety Proofs for Systems Code},
  booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  pages     = {526--538},
  year      = {2002},
  crossref  = {DBLP:conf/cav/2002},
  url       = {https://doi.org/10.1007/3-540-45657-0\_45},
  doi       = {10.1007/3-540-45657-0\_45},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/HenzingerJMNSW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HenzingerJMS02,
  author    = {Thomas A. Henzinger and
               Ranjit Jhala and
               Rupak Majumdar and
               Gr{\'{e}}goire Sutre},
  title     = {Lazy abstraction},
  booktitle = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Portland, OR, USA, January
               16-18, 2002},
  pages     = {58--70},
  year      = {2002},
  crossref  = {DBLP:conf/popl/2002},
  url       = {https://doi.org/10.1145/503272.503279},
  doi       = {10.1145/503272.503279},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/HenzingerJMS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JhalaM01,
  author    = {Ranjit Jhala and
               Kenneth L. McMillan},
  title     = {Microarchitecture Verification by Compositional Model Checking},
  booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  pages     = {396--410},
  year      = {2001},
  crossref  = {DBLP:conf/cav/2001},
  url       = {https://doi.org/10.1007/3-540-44585-4\_40},
  doi       = {10.1007/3-540-44585-4\_40},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/JhalaM01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroHJ01,
  author    = {Luca de Alfaro and
               Thomas A. Henzinger and
               Ranjit Jhala},
  title     = {Compositional Methods for Probabilistic Systems},
  booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  pages     = {351--365},
  year      = {2001},
  crossref  = {DBLP:conf/concur/2001},
  url       = {https://doi.org/10.1007/3-540-44685-0\_24},
  doi       = {10.1007/3-540-44685-0\_24},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/AlfaroHJ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2018,
  editor    = {David Lie and
               Mohammad Mannan and
               Michael Backes and
               XiaoFeng Wang},
  title     = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
               Communications Security, {CCS} 2018, Toronto, ON, Canada, October
               15-19, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3243734},
  isbn      = {978-1-4503-5693-0},
  timestamp = {Wed, 31 Oct 2018 17:23:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/mc/2018,
  editor    = {Edmund M. Clarke and
               Thomas A. Henzinger and
               Helmut Veith and
               Roderick Bloem},
  title     = {Handbook of Model Checking},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-10575-8},
  doi       = {10.1007/978-3-319-10575-8},
  isbn      = {978-3-319-10574-1},
  timestamp = {Tue, 29 May 2018 12:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/mc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/secdev/2017,
  title     = {{IEEE} Cybersecurity Development, SecDev 2017, Cambridge, MA, USA,
               September 24-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8071083},
  isbn      = {978-1-5386-3467-7},
  timestamp = {Tue, 27 Nov 2018 14:50:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/secdev/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2017,
  title     = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
               CA, USA, May 22-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7957740},
  isbn      = {978-1-5090-5533-3},
  timestamp = {Tue, 27 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016,
  editor    = {Chandra Krintz and
               Emery Berger},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2908080},
  doi       = {10.1145/2908080},
  isbn      = {978-1-4503-4261-2},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2016,
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  title     = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2837614},
  isbn      = {978-1-4503-3549-2},
  timestamp = {Wed, 09 Mar 2016 08:11:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2016,
  editor    = {Barbara Jobstmann and
               K. Rustan M. Leino},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49122-5},
  doi       = {10.1007/978-3-662-49122-5},
  isbn      = {978-3-662-49121-8},
  timestamp = {Wed, 14 Nov 2018 10:59:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2015,
  editor    = {John Tang Boyland},
  title     = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
               July 5-10, 2015, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {37},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015},
  url       = {http://www.dagstuhl.de/dagpub/978-3-939897-86-6},
  isbn      = {978-3-939897-86-6},
  timestamp = {Mon, 29 Jun 2015 15:27:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2015,
  editor    = {Kathleen Fisher and
               John H. Reppy},
  title     = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
               1-3, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2784731},
  isbn      = {978-1-4503-3669-7},
  timestamp = {Tue, 08 Sep 2015 09:21:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sp/2015,
  title     = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
               CA, USA, May 17-21, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7160813},
  isbn      = {978-1-4673-6949-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2014,
  editor    = {Wouter Swierstra},
  title     = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
               Sweden, September 4-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2633357},
  isbn      = {978-1-4503-3041-1},
  timestamp = {Mon, 08 Sep 2014 16:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014,
  editor    = {Johan Jeuring and
               Manuel M. T. Chakravarty},
  title     = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2628136},
  isbn      = {978-1-4503-2873-9},
  timestamp = {Thu, 20 Nov 2014 18:05:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plpv/2014,
  editor    = {Nils Anders Danielsson and
               Bart Jacobs},
  title     = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages
               meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego,
               California, USA, Co-located with {POPL} '14},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2541568},
  isbn      = {978-1-4503-2567-7},
  timestamp = {Thu, 09 Jan 2014 10:53:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/plpv/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2013,
  editor    = {Matthias Felleisen and
               Philippa Gardner},
  title     = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7792},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6},
  doi       = {10.1007/978-3-642-37036-6},
  isbn      = {978-3-642-37035-9},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7},
  doi       = {10.1007/978-3-642-31424-7},
  isbn      = {978-3-642-31423-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384616},
  isbn      = {978-1-4503-1561-6},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2012hotpower,
  editor    = {Mani Srivastava and
               Thomas F. Wenisch},
  title     = {2012 Workshop on Power-Aware Computing Systems, HotPower'12, Hollywood,
               CA, USA, October 7, 2012},
  publisher = {{USENIX} Association},
  year      = {2012},
  url       = {https://www.usenix.org/conference/hotpower12},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/2012hotpower},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012,
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2254064},
  isbn      = {978-1-4503-1205-9},
  timestamp = {Tue, 12 Jun 2012 19:17:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2012,
  editor    = {John Field and
               Michael Hicks},
  title     = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103656},
  isbn      = {978-1-4503-1083-3},
  timestamp = {Sun, 03 Dec 2017 00:17:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {Verification, Model Checking, and Abstract Interpretation - 13th International
               Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7148},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2011,
  editor    = {Hongseok Yang},
  title     = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
               Kenting, Taiwan, December 5-7, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7078},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25318-8},
  doi       = {10.1007/978-3-642-25318-8},
  isbn      = {978-3-642-25317-1},
  timestamp = {Fri, 19 May 2017 01:25:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2011,
  editor    = {Rajiv Gupta and
               Todd C. Mowry},
  title     = {Proceedings of the 16th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2011, Newport Beach, CA, USA, March 5-11, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0266-1},
  timestamp = {Mon, 26 Feb 2018 15:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2011,
  editor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1},
  doi       = {10.1007/978-3-642-22110-1},
  isbn      = {978-3-642-22109-5},
  timestamp = {Thu, 25 May 2017 00:39:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2010,
  editor    = {Ehab Al{-}Shaer and
               Angelos D. Keromytis and
               Vitaly Shmatikov},
  title     = {Proceedings of the 17th {ACM} Conference on Computer and Communications
               Security, {CCS} 2010, Chicago, Illinois, USA, October 4-8, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0245-6},
  timestamp = {Mon, 22 Nov 2010 20:51:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccs/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2010,
  editor    = {Manuel V. Hermenegildo and
               Jens Palsberg},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1706299},
  isbn      = {978-1-60558-479-9},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010,
  editor    = {Gruia{-}Catalin Roman and
               Andr{\'{e}} van der Hoek},
  title     = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-791-2},
  timestamp = {Mon, 16 Apr 2018 15:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/p2p/2009,
  editor    = {Henning Schulzrinne and
               Karl Aberer and
               Anwitaman Datta},
  title     = {Proceedings {P2P} 2009, Ninth International Conference on Peer-to-Peer
               Computing, 9-11 September 2009, Seattle, Washington, {USA}},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5273785},
  isbn      = {978-1-4244-5066-4},
  timestamp = {Thu, 19 Nov 2015 17:00:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/p2p/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2009,
  editor    = {Michael Hind and
               Amer Diwan},
  title     = {Proceedings of the 2009 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2009, Dublin, Ireland,
               June 15-21, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-392-1},
  timestamp = {Thu, 18 Jun 2009 21:03:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2009,
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2},
  doi       = {10.1007/978-3-642-00768-2},
  isbn      = {978-3-642-00767-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2008,
  editor    = {Gail E. Harris},
  title     = {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}},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-215-3},
  timestamp = {Mon, 27 Oct 2008 11:03:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2008,
  editor    = {Rajiv Gupta and
               Saman P. Amarasinghe},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
               Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1375581},
  doi       = {10.1145/1375581},
  isbn      = {978-1-59593-860-2},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hipeac/2007,
  editor    = {Koen De Bosschere and
               David R. Kaeli and
               Per Stenstr{\"{o}}m and
               David B. Whalley and
               Theo Ungerer},
  title     = {High Performance Embedded Architectures and Compilers, Second International
               Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4367},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-69338-3},
  doi       = {10.1007/978-3-540-69338-3},
  isbn      = {978-3-540-69337-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hipeac/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2007,
  title     = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4222553},
  isbn      = {0-7695-2828-7},
  timestamp = {Tue, 08 Sep 2015 16:21:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsdi/2007,
  editor    = {Hari Balakrishnan and
               Peter Druschel},
  title     = {4th Symposium on Networked Systems Design and Implementation {(NSDI}
               2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings},
  publisher = {{USENIX}},
  year      = {2007},
  url       = {http://www.usenix.org/nsdi07/},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nsdi/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2007,
  editor    = {Jeanne Ferrante and
               Kathryn S. McKinley},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
               Language Design and Implementation, San Diego, California, USA, June
               10-13, 2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-633-2},
  timestamp = {Wed, 13 Jun 2007 10:00:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2007,
  editor    = {Martin Hofmann and
               Matthias Felleisen},
  title     = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://dl.acm.org/citation.cfm?id=1190216},
  isbn      = {1-59593-575-4},
  timestamp = {Tue, 05 Nov 2013 17:32:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007,
  editor    = {Ivica Crnkovic and
               Antonia Bertolino},
  title     = {Proceedings of the 6th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
               2007},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-811-4},
  timestamp = {Mon, 03 Nov 2008 10:57:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2007,
  editor    = {Orna Grumberg and
               Michael Huth},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               13th International Conference, {TACAS} 2007, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2007
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4424},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71209-1},
  doi       = {10.1007/978-3-540-71209-1},
  isbn      = {978-3-540-71208-4},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2006,
  editor    = {Kwangkeun Yi},
  title     = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
               Korea, August 29-31, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4134},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11823230},
  doi       = {10.1007/11823230},
  isbn      = {3-540-37756-5},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2006,
  editor    = {Michal Young and
               Premkumar T. Devanbu},
  title     = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
               USA, November 5-11, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-468-5},
  timestamp = {Sat, 14 May 2011 10:24:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
  editor    = {Holger Hermanns and
               Jens Palsberg},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691372},
  doi       = {10.1007/11691372},
  isbn      = {3-540-33056-9},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2005,
  editor    = {Maura Cerioli},
  title     = {Fundamental Approaches to Software Engineering, 8th International
               Conference, {FASE} 2005, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
               4-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3442},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b107062},
  doi       = {10.1007/b107062},
  isbn      = {3-540-25420-X},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2005,
  editor    = {Vivek Sarkar and
               Mary W. Hall},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2005 Conference on Programming
               Language Design and Implementation, Chicago, IL, USA, June 12-15,
               2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-056-6},
  timestamp = {Wed, 22 Jun 2005 09:32:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2005,
  editor    = {Michel Wermelinger and
               Harald C. Gall},
  title     = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-014-0},
  timestamp = {Wed, 01 Apr 2015 20:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2005,
  editor    = {Patrice Godefroid},
  title     = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
               CA, USA, August 22-24, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3639},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11537328},
  doi       = {10.1007/11537328},
  isbn      = {3-540-28195-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uai/2005,
  title     = {{UAI} '05, Proceedings of the 21st Conference in Uncertainty in Artificial
               Intelligence, Edinburgh, Scotland, July 26-29, 2005},
  publisher = {{AUAI} Press},
  year      = {2005},
  isbn      = {0-9749039-1-4},
  timestamp = {Thu, 15 Dec 2011 17:17:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/uai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2004,
  editor    = {Anthony Finkelstein and
               Jacky Estublier and
               David S. Rosenblum},
  title     = {26th International Conference on Software Engineering {(ICSE} 2004),
               23-28 May 2004, Edinburgh, United Kingdom},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9201},
  isbn      = {0-7695-2163-0},
  timestamp = {Wed, 25 May 2016 16:09:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpc/2004,
  title     = {12th International Workshop on Program Comprehension {(IWPC} 2004),
               24-26 June 2004, Bari, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9175},
  isbn      = {0-7695-2149-5},
  timestamp = {Fri, 06 May 2016 09:37:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2004,
  editor    = {Nevin Heintze and
               Peter Sestoft},
  title     = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2004, Verona, Italy, August
               24-25, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=1014007},
  isbn      = {1-58113-835-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2004,
  editor    = {William Pugh and
               Craig Chambers},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
               Language Design and Implementation 2004, Washington, DC, USA, June
               9-11, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-807-5},
  timestamp = {Wed, 18 Aug 2004 15:27:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2004,
  editor    = {Neil D. Jones and
               Xavier Leroy},
  title     = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
               2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=964001},
  isbn      = {1-58113-729-X},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2004,
  editor    = {Eugenio Moggi and
               David Scott Warren},
  title     = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 24-26 August 2004,
               Verona, Italy},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://dl.acm.org/citation.cfm?id=1013963},
  isbn      = {1-58113-819-9},
  timestamp = {Mon, 16 Jul 2018 07:53:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2004,
  editor    = {Roberto Giacobazzi},
  title     = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
               Italy, August 26-28, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3148},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b99688},
  doi       = {10.1007/b99688},
  isbn      = {3-540-22791-1},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2003manna,
  editor    = {Nachum Dershowitz},
  title     = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
               on the Occasion of His 64th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {2772},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12001},
  doi       = {10.1007/b12001},
  isbn      = {3-540-21002-4},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2003manna},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2003,
  editor    = {Jos C. M. Baeten and
               Jan Karel Lenstra and
               Joachim Parrow and
               Gerhard J. Woeginger},
  title     = {Automata, Languages and Programming, 30th International Colloquium,
               {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2719},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-45061-0},
  doi       = {10.1007/3-540-45061-0},
  isbn      = {3-540-40493-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44829-2},
  doi       = {10.1007/3-540-44829-2},
  isbn      = {3-540-40117-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2002,
  editor    = {Ed Brinksma and
               Kim Guldstrand Larsen},
  title     = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2404},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45657-0},
  doi       = {10.1007/3-540-45657-0},
  isbn      = {3-540-43997-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2002,
  editor    = {John Launchbury and
               John C. Mitchell},
  title     = {Conference Record of {POPL} 2002: The 29th {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Portland, OR, USA, January
               16-18, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=503272},
  isbn      = {1-58113-450-9},
  timestamp = {Mon, 18 Mar 2013 08:38:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
  editor    = {G{\'{e}}rard Berry and
               Hubert Comon and
               Alain Finkel},
  title     = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2102},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44585-4},
  doi       = {10.1007/3-540-44585-4},
  isbn      = {3-540-42345-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2001,
  editor    = {Kim Guldstrand Larsen and
               Mogens Nielsen},
  title     = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2154},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44685-0},
  doi       = {10.1007/3-540-44685-0},
  isbn      = {3-540-42497-0},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier