Search dblp for Publications

export results for "stream:conf/plpv:"

 download as .bib file

@inproceedings{DBLP:conf/plpv/ClochardMP14,
  author       = {Martin Clochard and
                  Claude March{\'{e}} and
                  Andrei Paskevich},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {Verified programs with binders},
  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        = {29--40},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541571},
  doi          = {10.1145/2541568.2541571},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/ClochardMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/HirotaA14,
  author       = {Noriko Hirota and
                  Kenichi Asai},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {Formalizing a correctness property of a type-directed partial evaluator},
  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        = {41--46},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541572},
  doi          = {10.1145/2541568.2541572},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/HirotaA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Jeltsch14,
  author       = {Wolfgang Jeltsch},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {An abstract categorical semantics for functional reactive programming
                  with processes},
  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        = {47--58},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541573},
  doi          = {10.1145/2541568.2541573},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Jeltsch14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Jhala14,
  author       = {Ranjit Jhala},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  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},
  publisher    = {{ACM}},
  year         = {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/conf/plpv/Jhala14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/MilitaoAC14,
  author       = {Filipe Milit{\~{a}}o and
                  Jonathan Aldrich and
                  Lu{\'{\i}}s Caires},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {Substructural typestates},
  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        = {15--26},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541574},
  doi          = {10.1145/2541568.2541574},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/MilitaoAC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/PikeHBEDL14,
  author       = {Lee Pike and
                  Patrick C. Hickey and
                  James Bielman and
                  Trevor Elliott and
                  Thomas DuBuisson and
                  John Launchbury},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {Programming languages for high-assurance autonomous vehicles: extended
                  abstract},
  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        = {1--2},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541570},
  doi          = {10.1145/2541568.2541570},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/PikeHBEDL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Stump14,
  author       = {Aaron Stump},
  editor       = {Nils Anders Danielsson and
                  Bart Jacobs},
  title        = {The recursive polarized dual calculus},
  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        = {3--14},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541568.2541575},
  doi          = {10.1145/2541568.2541575},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Stump14.bib},
  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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/AffeldtM13,
  author       = {Reynald Affeldt and
                  Nicolas Marti},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Towards formal verification of {TLS} network packet processing written
                  in {C}},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {35--46},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428124},
  doi          = {10.1145/2428116.2428124},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/AffeldtM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/BertolissiU13,
  author       = {Clara Bertolissi and
                  Worachet Uttha},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Automated analysis of rule-based access control policies},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {47--56},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428125},
  doi          = {10.1145/2428116.2428125},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/BertolissiU13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Brady13,
  author       = {Edwin C. Brady},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Idris: general purpose programming with dependent types},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428118},
  doi          = {10.1145/2428116.2428118},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/Brady13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/DannerPR13,
  author       = {Norman Danner and
                  Jennifer Paykin and
                  James S. Royer},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {A static cost analysis for a higher-order language},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {25--34},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428123},
  doi          = {10.1145/2428116.2428123},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/DannerPR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/FerreiraMP13,
  author       = {Francisco Ferreira and
                  Stefan Monnier and
                  Brigitte Pientka},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Compiling contextual objects: bringing higher-order abstract syntax
                  to programmers},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428121},
  doi          = {10.1145/2428116.2428121},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/FerreiraMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Jeffrey13,
  author       = {Alan Jeffrey},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Causality for free!: parametricity implies causality for functional
                  reactive programs},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {57--68},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428127},
  doi          = {10.1145/2428116.2428127},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Jeffrey13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Jeltsch13,
  author       = {Wolfgang Jeltsch},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Temporal logic with "Until", functional reactive programming with
                  processes, and concrete process categories},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {69--78},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428128},
  doi          = {10.1145/2428116.2428128},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Jeltsch13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/SchwaabS13,
  author       = {Christopher Schwaab and
                  Jeremy G. Siek},
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Modular type-safety proofs in Agda},
  booktitle    = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  pages        = {3--12},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2428116.2428120},
  doi          = {10.1145/2428116.2428120},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/SchwaabS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2013,
  editor       = {Matthew Might and
                  David Van Horn and
                  Andreas Abel and
                  Tim Sheard},
  title        = {Proceedings of the 7th Workshop on Programming languages meets program
                  verification, {PLPV} 2013, Rome, Italy, January 22, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2428116},
  isbn         = {978-1-4503-1860-0},
  timestamp    = {Fri, 27 Sep 2013 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/2013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/AffeldtNO12,
  author       = {Reynald Affeldt and
                  David Nowak and
                  Yutaka Oiwa},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Formal network packet processing with minimal fuss: invertible syntax
                  descriptions at work},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {27--36},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103781},
  doi          = {10.1145/2103776.2103781},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/AffeldtNO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/AmighiBHZ12,
  author       = {Afshin Amighi and
                  Stefan Blom and
                  Marieke Huisman and
                  Marina Zaharieva{-}Stojanovski},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {The VerCors project: setting up basecamp},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103785},
  doi          = {10.1145/2103776.2103785},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/AmighiBHZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/GesellS12,
  author       = {Manuel Gesell and
                  Klaus Schneider},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {A hoare calculus for the verification of synchronous languages},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103782},
  doi          = {10.1145/2103776.2103782},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/GesellS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Jeffrey12,
  author       = {Alan Jeffrey},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {{LTL} types {FRP:} linear-time temporal logic propositions as types,
                  proofs as functional reactive programs},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103783},
  doi          = {10.1145/2103776.2103783},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Jeffrey12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/KimmellSEEFSWCSCA12,
  author       = {Garrin Kimmell and
                  Aaron Stump and
                  Harley D. Eades III and
                  Peng Fu and
                  Tim Sheard and
                  Stephanie Weirich and
                  Chris Casinghino and
                  Vilhelm Sj{\"{o}}berg and
                  Nathan Collins and
                  Ki Yung Ahn},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Equational reasoning about programs with general recursion and call-by-value
                  semantics},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103780},
  doi          = {10.1145/2103776.2103780},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KimmellSEEFSWCSCA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Komendantsky12,
  author       = {Vladimir Komendantsky},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Reflexive toolbox for regular expression matching: verification of
                  functional programs in Coq+Ssreflect},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {61--70},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103784},
  doi          = {10.1145/2103776.2103784},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Komendantsky12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/OseraSZ12,
  author       = {Peter{-}Michael Osera and
                  Vilhelm Sj{\"{o}}berg and
                  Steve Zdancewic},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Dependent interoperability},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103779},
  doi          = {10.1145/2103776.2103779},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/OseraSZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Pierce12,
  author       = {Benjamin C. Pierce},
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Verification challenges of pervasive information flow},
  booktitle    = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2103776.2103778},
  doi          = {10.1145/2103776.2103778},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Pierce12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2012,
  editor       = {Koen Claessen and
                  Nikhil Swamy},
  title        = {Proceedings of the sixth workshop on Programming Languages meets Program
                  Verification, {PLPV} 2012, Philadelphia, PA, USA, January 24, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  isbn         = {978-1-4503-1125-0},
  timestamp    = {Fri, 27 Jan 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/BorgstromCS11,
  author       = {Johannes Borgstr{\"{o}}m and
                  Juan Chen and
                  Nikhil Swamy},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {Verifying stateful programs with substructural state and hoare types},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929532},
  doi          = {10.1145/1929529.1929532},
  timestamp    = {Thu, 03 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/BorgstromCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Brady11,
  author       = {Edwin C. Brady},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {{IDRIS} ---: systems programming meets full dependent types},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {43--54},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929536},
  doi          = {10.1145/1929529.1929536},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/Brady11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/BronishS11,
  author       = {Derek Bronish and
                  Hampton Smith},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {Robust, generic, modularly-verified map: a software verification challenge
                  problem},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {27--30},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929533},
  doi          = {10.1145/1929529.1929533},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/BronishS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/LahiriQW11,
  author       = {Shuvendu K. Lahiri and
                  Shaz Qadeer and
                  David Walker},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {Linear maps},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929531},
  doi          = {10.1145/1929529.1929531},
  timestamp    = {Tue, 09 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/LahiriQW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Moore11,
  author       = {J Strother Moore},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {Reasoning about digital artifacts with {ACL2}},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929538},
  doi          = {10.1145/1929529.1929538},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Moore11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/SridharH11,
  author       = {Meera Sridhar and
                  Kevin W. Hamlen},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {Flexible in-lined reference monitor certification: challenges and
                  future directions},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {55--60},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929537},
  doi          = {10.1145/1929529.1929537},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/SridharH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/StewartA11,
  author       = {Gordon Stewart and
                  Andrew W. Appel},
  editor       = {Ranjit Jhala and
                  Wouter Swierstra},
  title        = {Local actions for a curry-style operational semantics},
  booktitle    = {Proceedings of the 5th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2011, Austin, TX, USA, January 29, 2011},
  pages        = {31--42},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929529.1929535},
  doi          = {10.1145/1929529.1929535},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/StewartA11.bib},
  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/conf/plpv/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/BalzerG10,
  author       = {Stephanie Balzer and
                  Thomas R. Gross},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Modular reasoning about invariants over shared state with interposed
                  data members},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {49--56},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707794},
  doi          = {10.1145/1707790.1707794},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/BalzerG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/ChristiansenSV10,
  author       = {Jan Christiansen and
                  Daniel Seidel and
                  Janis Voigtl{\"{a}}nder},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Free theorems for functional logic programs},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {39--48},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707797},
  doi          = {10.1145/1707790.1707797},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/ChristiansenSV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/DanishX10,
  author       = {Matthew Danish and
                  Hongwei Xi},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Operating system development with {ATS:} work in progress},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {9--14},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707793},
  doi          = {10.1145/1707790.1707793},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/DanishX10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/KaliberaPHLV10,
  author       = {Tomas Kalibera and
                  Pavel Par{\'{\i}}zek and
                  Ghaith Haddad and
                  Gary T. Leavens and
                  Jan Vitek},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Challenge benchmarks for verification of real-time programs},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {57--62},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707800},
  doi          = {10.1145/1707790.1707800},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KaliberaPHLV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/MonnierH10,
  author       = {Stefan Monnier and
                  David Haguenauer},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Singleton types here, singleton types there, singleton types everywhere},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707792},
  doi          = {10.1145/1707790.1707792},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/MonnierH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/StumpA10,
  author       = {Aaron Stump and
                  Evan Austin},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Resource typing in Guru},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707796},
  doi          = {10.1145/1707790.1707796},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/StumpA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/WeirichC10,
  author       = {Stephanie Weirich and
                  Chris Casinghino},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Arity-generic datatype-generic programming},
  booktitle    = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1707790.1707799},
  doi          = {10.1145/1707790.1707799},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/WeirichC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2010,
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Cormac Flanagan},
  title        = {Proceedings of the 4th {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2010, Madrid, Spain, January 19, 2010},
  publisher    = {{ACM}},
  year         = {2010},
  isbn         = {978-1-60558-890-2},
  timestamp    = {Thu, 28 Jan 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/BoveDS09,
  author       = {Ana Bove and
                  Peter Dybjer and
                  Andr{\'{e}}s Sicard{-}Ram{\'{\i}}rez},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Embedding a logical theory of constructions in Agda},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {59--66},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481857},
  doi          = {10.1145/1481848.1481857},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/BoveDS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/ErkokM09,
  author       = {Levent Erk{\"{o}}k and
                  John Matthews},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Pragmatic equivalence and safety checking in Cryptol},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481860},
  doi          = {10.1145/1481848.1481860},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/ErkokM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Fahndrich09,
  author       = {Manuel F{\"{a}}hndrich},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Language-agnostic specification and verification: invited talk},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481849},
  doi          = {10.1145/1481848.1481849},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Fahndrich09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/KnowlesF09,
  author       = {Kenneth L. Knowles and
                  Cormac Flanagan},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Compositional reasoning and decidable checking for dependent contract
                  types},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481853},
  doi          = {10.1145/1481848.1481853},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/KnowlesF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/LicataH09,
  author       = {Daniel R. Licata and
                  Robert Harper},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Positively dependent types},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {3--14},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481851},
  doi          = {10.1145/1481848.1481851},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/LicataH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/SchaferEM09,
  author       = {Max Sch{\"{a}}fer and
                  Torbj{\"{o}}rn Ekman and
                  Oege de Moor},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Challenge proposal: verification of refactorings},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {67--72},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481859},
  doi          = {10.1145/1481848.1481859},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/SchaferEM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/SchrijversGM09,
  author       = {Tom Schrijvers and
                  Louis{-}Julien Guillemette and
                  Stefan Monnier},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Type invariants for Haskell},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {39--48},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481855},
  doi          = {10.1145/1481848.1481855},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/SchrijversGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/StumpDPSS09,
  author       = {Aaron Stump and
                  Morgan Deters and
                  Adam Petcher and
                  Todd Schiller and
                  Timothy W. Simpson},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Verified programming in Guru},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {49--58},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481856},
  doi          = {10.1145/1481848.1481856},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/StumpDPSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Zeilberger09,
  author       = {Noam Zeilberger},
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Refinement types and computational duality},
  booktitle    = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  pages        = {15--26},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1481848.1481852},
  doi          = {10.1145/1481848.1481852},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Zeilberger09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2009,
  editor       = {Thorsten Altenkirch and
                  Todd D. Millstein},
  title        = {Proceedings of the 3rd {ACM} Workshop Programming Languages meets
                  Program Verification, {PLPV} 2009, Savannah, GA, USA, January 20,
                  2009},
  publisher    = {{ACM}},
  year         = {2009},
  isbn         = {978-1-60558-330-3},
  timestamp    = {Thu, 28 Jan 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/AltenkirchMS07,
  author       = {Thorsten Altenkirch and
                  Conor McBride and
                  Wouter Swierstra},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Observational equality, now!},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {57--68},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292608},
  doi          = {10.1145/1292597.1292608},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/AltenkirchMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Dawson07,
  author       = {Jeremy E. Dawson},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Compound monads in specification languages},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {3--10},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292600},
  doi          = {10.1145/1292597.1292600},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Dawson07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Dunfield07,
  author       = {Jana Dunfield},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Refined typechecking with Stardust},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {21--32},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292602},
  doi          = {10.1145/1292597.1292602},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Dunfield07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Marche07,
  author       = {Claude March{\'{e}}},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Jessie: an intermediate language for Java and {C} verification},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {1--2},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292598},
  doi          = {10.1145/1292597.1292598},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Marche07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Megacz07,
  author       = {Adam Megacz},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {A coinductive monad for prop-bounded recursion},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292601},
  doi          = {10.1145/1292597.1292601},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Megacz07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Monnier07,
  author       = {Stefan Monnier},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {The swiss coercion},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {33--40},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292604},
  doi          = {10.1145/1292597.1292604},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Monnier07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Oury07,
  author       = {Nicolas Oury},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Pattern matching coverage checking with dependent types using set
                  approximations},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {47--56},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292606},
  doi          = {10.1145/1292597.1292606},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Oury07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/plpv/Shi07,
  author       = {Rui Shi},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Implementing reliable Linux device drivers in {ATS}},
  booktitle    = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  pages        = {41--46},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597.1292605},
  doi          = {10.1145/1292597.1292605},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/Shi07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2006,
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/7},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/plpv/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/plpv/2007,
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Proceedings of the {ACM} Workshop Programming Languages meets Program
                  Verification, {PLPV} 2007, Freiburg, Germany, October 5, 2007},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1292597},
  doi          = {10.1145/1292597},
  isbn         = {978-1-59593-677-6},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/plpv/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CaldwellP07,
  author       = {James L. Caldwell and
                  Josef Pohl},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Constructive Membership Predicates as Index Types},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.034},
  doi          = {10.1016/J.ENTCS.2006.10.034},
  timestamp    = {Fri, 27 Jan 2023 13:53:49 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaldwellP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Chlipala07,
  author       = {Adam Chlipala},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Position Paper: Thoughts on Programming with Proof Assistants},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {17--21},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.035},
  doi          = {10.1016/J.ENTCS.2006.10.035},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Chlipala07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GuillemetteM07,
  author       = {Louis{-}Julien Guillemette and
                  Stefan Monnier},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Type-Safe Code Transformations in Haskell},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {23--39},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.036},
  doi          = {10.1016/J.ENTCS.2006.10.036},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GuillemetteM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KiselyovS07,
  author       = {Oleg Kiselyov and
                  Chung{-}chieh Shan},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Lightweight Static Capabilities},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {79--104},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.039},
  doi          = {10.1016/J.ENTCS.2006.10.039},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KiselyovS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pientka07,
  author       = {Brigitte Pientka},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Functional Programming With Higher-order Abstract Syntax and Explicit
                  Substitutions},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {41--60},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.037},
  doi          = {10.1016/J.ENTCS.2006.10.037},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pientka07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchlosserWGA07,
  author       = {Andreas Schlosser and
                  Christoph Walther and
                  Michael Gonder and
                  Markus Aderhold},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Context Dependent Procedures and Computed Types in -eriFun},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {61--78},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.038},
  doi          = {10.1016/J.ENTCS.2006.10.038},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchlosserWGA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sheard07,
  author       = {Tim Sheard},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Type-level Computation Using Narrowing in Omegamega},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {105--128},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.040},
  doi          = {10.1016/J.ENTCS.2006.10.040},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sheard07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StumpX07,
  author       = {Aaron Stump and
                  Hongwei Xi},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Preface},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.033},
  doi          = {10.1016/J.ENTCS.2006.10.033},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StumpX07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SulzmannV07,
  author       = {Martin Sulzmann and
                  Razvan Voicu},
  editor       = {Aaron Stump and
                  Hongwei Xi},
  title        = {Language-Based Program Verification via Expressive Types},
  booktitle    = {Proceedings of the Programming Languages meets Program Verification,
                  PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {174},
  number       = {7},
  pages        = {129--147},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.10.041},
  doi          = {10.1016/J.ENTCS.2006.10.041},
  timestamp    = {Fri, 27 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SulzmannV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.