![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/popl/popl2014.bht:"
@inproceedings{DBLP:conf/popl/0001NA14, author = {Rahul Sharma and Aditya V. Nori and Alex Aiken}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Bias-variance tradeoffs in program analysis}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {127--138}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535853}, doi = {10.1145/2535838.2535853}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/0001NA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/0008E14, author = {Sheng Chen and Martin Erwig}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Counter-factual typing for debugging type errors}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {583--594}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535863}, doi = {10.1145/2535838.2535863}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/0008E14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AbdullaAJS14, author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and Konstantinos Sagonas}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Optimal dynamic partial order reduction}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {373--384}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535845}, doi = {10.1145/2535838.2535845}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AbdullaAJS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AccattoliBKL14, author = {Beniamino Accattoli and Eduardo Bonelli and Delia Kesner and Carlos Lombardi}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A nonstandard standardization theorem}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {659--670}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535886}, doi = {10.1145/2535838.2535886}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AccattoliBKL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AmorimCDDHPPPT14, author = {Arthur Azevedo de Amorim and Nathan Collins and Andr{\'{e}} DeHon and Delphine Demange and Catalin Hritcu and David Pichardie and Benjamin C. Pierce and Randy Pollack and Andrew Tolmach}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A verified information-flow architecture}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {165--178}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535839}, doi = {10.1145/2535838.2535839}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AmorimCDDHPPPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AndersonFGJKSW14, author = {Carolyn Jane Anderson and Nate Foster and Arjun Guha and Jean{-}Baptiste Jeannin and Dexter Kozen and Cole Schlesinger and David Walker}, editor = {Suresh Jagannathan and Peter Sewell}, title = {NetkAT: semantic foundations for networks}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {113--126}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535862}, doi = {10.1145/2535838.2535862}, timestamp = {Mon, 08 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AndersonFGJKSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Atkey14, author = {Robert Atkey}, editor = {Suresh Jagannathan and Peter Sewell}, title = {From parametricity to conservation laws, via Noether's theorem}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {491--502}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535867}, doi = {10.1145/2535838.2535867}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Atkey14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AtkeyGJ14, author = {Robert Atkey and Neil Ghani and Patricia Johann}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A relationally parametric model of dependent type theory}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {503--516}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535852}, doi = {10.1145/2535838.2535852}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AtkeyGJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BartheFGSSB14, author = {Gilles Barthe and C{\'{e}}dric Fournet and Benjamin Gr{\'{e}}goire and Pierre{-}Yves Strub and Nikhil Swamy and Santiago Zanella B{\'{e}}guelin}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Probabilistic relational verification for cryptographic implementations}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {193--206}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535847}, doi = {10.1145/2535838.2535847}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BartheFGSSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Benton0N14, author = {Nick Benton and Martin Hofmann and Vivek Nigam}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Abstract effects and proof-relevant logical relations}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {619--632}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535869}, doi = {10.1145/2535838.2535869}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Benton0N14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BeyeneCPR14, author = {Tewodros A. Beyene and Swarat Chaudhuri and Corneliu Popeea and Andrey Rybalchenko}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A constraint-based approach to solving games on infinite graphs}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {221--234}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535860}, doi = {10.1145/2535838.2535860}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BeyeneCPR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Birkedal14, author = {Lars Birkedal}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Modular reasoning about concurrent higher-order imperative programs}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {1--2}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2537849}, doi = {10.1145/2535838.2537849}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Birkedal14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BodinCFGMNSS14, author = {Martin Bodin and Arthur Chargu{\'{e}}raud and Daniele Filaretti and Philippa Gardner and Sergio Maffeis and Daiva Naudziuniene and Alan Schmitt and Gareth Smith}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A trusted mechanised JavaScript specification}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {87--100}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535876}, doi = {10.1145/2535838.2535876}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/BodinCFGMNSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BokerHR14, author = {Udi Boker and Thomas A. Henzinger and Arjun Radhakrishna}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Battery transition systems}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {595--606}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535875}, doi = {10.1145/2535838.2535875}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/BokerHR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BouajjaniEH14, author = {Ahmed Bouajjani and Constantin Enea and Jad Hamza}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Verifying eventual consistency of optimistic replication systems}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {285--296}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535877}, doi = {10.1145/2535838.2535877}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BouajjaniEH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BrookesOR14, author = {Stephen Brookes and Peter W. O'Hearn and Uday S. Reddy}, editor = {Suresh Jagannathan and Peter Sewell}, title = {The essence of Reynolds}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {251--256}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2537851}, doi = {10.1145/2535838.2537851}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BrookesOR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BrotherstonV14, author = {James Brotherston and Jules Villard}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Parametric completeness for separation theories}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {453--464}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535844}, doi = {10.1145/2535838.2535844}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BrotherstonV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BurckhardtGYZ14, author = {Sebastian Burckhardt and Alexey Gotsman and Hongseok Yang and Marek Zawirski}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Replicated data types: specification, verification, optimality}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {271--284}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535848}, doi = {10.1145/2535838.2535848}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BurckhardtGYZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CasinghinoSW14, author = {Chris Casinghino and Vilhelm Sj{\"{o}}berg and Stephanie Weirich}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Combining proofs and programs in a dependently typed language}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {33--46}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535883}, doi = {10.1145/2535838.2535883}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CasinghinoSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Castagna0XILP14, author = {Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Hyeonseung Im and Sergue{\"{\i}} Lenglet and Luca Padovani}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {5--18}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535840}, doi = {10.1145/2535838.2535840}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Castagna0XILP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CaveFPP14, author = {Andrew Cave and Francisco Ferreira and Prakash Panangaden and Brigitte Pientka}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Fair reactive programming}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {361--372}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535881}, doi = {10.1145/2535838.2535881}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CaveFPP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ChangF14, author = {Stephen Chang and Matthias Felleisen}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Profiling for laziness}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {349--360}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535887}, doi = {10.1145/2535838.2535887}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/ChangF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ChaudhuriCS14, author = {Swarat Chaudhuri and Martin Clochard and Armando Solar{-}Lezama}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Bridging boolean and quantitative synthesis using smoothed proof search}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {207--220}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535859}, doi = {10.1145/2535838.2535859}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/ChaudhuriCS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ChaudhuriFK14, author = {Swarat Chaudhuri and Azadeh Farzan and Zachary Kincaid}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Consistency analysis of decision-making programs}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {555--568}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535858}, doi = {10.1145/2535838.2535858}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/ChaudhuriFK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ChongDK14, author = {Nathan Chong and Alastair F. Donaldson and Jeroen Ketema}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A sound and complete abstraction for reasoning about parallel prefix sums}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {397--410}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535882}, doi = {10.1145/2535838.2535882}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/ChongDK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CoughlinC14, author = {Devin Coughlin and Bor{-}Yuh Evan Chang}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Fissile type analysis: modular checking of almost everywhere invariants}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {73--86}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535855}, doi = {10.1145/2535838.2535855}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CoughlinC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CousotC14, author = {Patrick Cousot and Radhia Cousot}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A Galois connection calculus for abstract interpretation}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {3--4}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2537850}, doi = {10.1145/2535838.2537850}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CousotC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DAntoniV14, author = {Loris D'Antoni and Margus Veanes}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Minimization of symbolic automata}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {541--554}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535849}, doi = {10.1145/2535838.2535849}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/DAntoniV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DSilvaHK14, author = {Vijay Victor D'Silva and Leopold Haller and Daniel Kroening}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Abstract satisfaction}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {139--150}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535868}, doi = {10.1145/2535838.2535868}, timestamp = {Tue, 16 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/DSilvaHK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DarulovaK14, author = {Eva Darulova and Viktor Kuncak}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Sound compilation of reals}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {235--248}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535874}, doi = {10.1145/2535838.2535874}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/DarulovaK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DissegnaLR14, author = {Stefano Dissegna and Francesco Logozzo and Francesco Ranzato}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Tracing compilation by abstract interpretation}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {47--60}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535866}, doi = {10.1145/2535838.2535866}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/DissegnaLR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/EhrhardTP14, author = {Thomas Ehrhard and Christine Tasson and Michele Pagani}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Probabilistic coherence spaces are fully abstract for probabilistic {PCF}}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {309--320}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535865}, doi = {10.1145/2535838.2535865}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/EhrhardTP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/EisenbergVJW14, author = {Richard A. Eisenberg and Dimitrios Vytiniotis and Simon L. Peyton Jones and Stephanie Weirich}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Closed type families with overlapping equations}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {671--684}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535856}, doi = {10.1145/2535838.2535856}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/EisenbergVJW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FarzanKP14, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Proofs that count}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {151--164}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535885}, doi = {10.1145/2535838.2535885}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/FarzanKP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GordonGRRBG14, author = {Andrew D. Gordon and Thore Graepel and Nicolas Rolland and Claudio V. Russo and Johannes Borgstr{\"{o}}m and John Guiver}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Tabular: a schema-driven probabilistic programming language}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {321--334}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535850}, doi = {10.1145/2535838.2535850}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/GordonGRRBG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HouCGT14, author = {Zhe Hou and Ranald Clouston and Rajeev Gor{\'{e}} and Alwen Tiu}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Proof search for propositional abstract separation logics via labelled sequents}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {465--476}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535864}, doi = {10.1145/2535838.2535864}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HouCGT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HuetH14, author = {G{\'{e}}rard P. Huet and Hugo Herbelin}, editor = {Suresh Jagannathan and Peter Sewell}, title = {30 years of research and development around Coq}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {249--250}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2537848}, doi = {10.1145/2535838.2537848}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HuetH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ItzhakyBILNS14, author = {Shachar Itzhaky and Anindya Banerjee and Neil Immerman and Ori Lahav and Aleksandar Nanevski and Mooly Sagiv}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Modular reasoning about heap paths via effectively propositional formulas}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {385--396}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535854}, doi = {10.1145/2535838.2535854}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/ItzhakyBILNS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/JeannetSS14, author = {Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Abstract acceleration of general linear loops}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {529--540}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535843}, doi = {10.1145/2535838.2535843}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/JeannetSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Katsumata14, author = {Shin{-}ya Katsumata}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Parametric effect monads and semantics of effect systems}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {633--646}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535846}, doi = {10.1145/2535838.2535846}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Katsumata14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/KilpatrickDJM14, author = {Scott Kilpatrick and Derek Dreyer and Simon L. Peyton Jones and Simon Marlow}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Backpack: retrofitting Haskell with interfaces}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {19--32}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535884}, doi = {10.1145/2535838.2535884}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/KilpatrickDJM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Krebbers14, author = {Robbert Krebbers}, editor = {Suresh Jagannathan and Peter Sewell}, title = {An operational and axiomatic semantics for non-determinism and sequence points in {C}}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {101--112}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535878}, doi = {10.1145/2535838.2535878}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Krebbers14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/KumarMNO14, author = {Ramana Kumar and Magnus O. Myreen and Michael Norrish and Scott Owens}, editor = {Suresh Jagannathan and Peter Sewell}, title = {CakeML: a verified implementation of {ML}}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {179--192}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535841}, doi = {10.1145/2535838.2535841}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/KumarMNO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/KuperTKN14, author = {Lindsey Kuper and Aaron Turon and Neelakantan R. Krishnaswami and Ryan R. Newton}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Freeze after writing: quasi-deterministic parallel programming with LVars}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {257--270}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535842}, doi = {10.1145/2535838.2535842}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/KuperTKN14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LagoSA14, author = {Ugo Dal Lago and Davide Sangiorgi and Michele Alberti}, editor = {Suresh Jagannathan and Peter Sewell}, title = {On coinductive equivalences for higher-order probabilistic functional programs}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {297--308}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535872}, doi = {10.1145/2535838.2535872}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/LagoSA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LeeP14, author = {Wonyeol Lee and Sungwoo Park}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A proof system for separation logic with magic wand}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {477--490}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535871}, doi = {10.1145/2535838.2535871}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/LeeP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LiAKGC14, author = {Yi Li and Aws Albarghouthi and Zachary Kincaid and Arie Gurfinkel and Marsha Chechik}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Symbolic optimization with {SMT} solvers}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {607--618}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535857}, doi = {10.1145/2535838.2535857}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/LiAKGC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LongSKR14, author = {Fan Long and Stelios Sidiroglou{-}Douskos and Deokhwan Kim and Martin C. Rinard}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Sound input filter generation for integer overflow errors}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {439--452}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535888}, doi = {10.1145/2535838.2535888}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/LongSKR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MillerHKS14, author = {Andrew Miller and Michael Hicks and Jonathan Katz and Elaine Shi}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Authenticated data structures, generically}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {411--424}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535851}, doi = {10.1145/2535838.2535851}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/MillerHKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MurawskiT14, author = {Andrzej S. Murawski and Nikos Tzevelekos}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Game semantics for interface middleweight Java}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {517--528}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535880}, doi = {10.1145/2535838.2535880}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/MurawskiT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/PaganiSV14, author = {Michele Pagani and Peter Selinger and Beno{\^{\i}}t Valiron}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Applying quantitative semantics to higher-order quantum computing}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {647--658}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535879}, doi = {10.1145/2535838.2535879}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/PaganiSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/RamsayNO14, author = {Steven J. Ramsay and Robin P. Neatherway and C.{-}H. Luke Ong}, editor = {Suresh Jagannathan and Peter Sewell}, title = {A type-directed abstraction refinement approach to higher-order model checking}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {61--72}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535873}, doi = {10.1145/2535838.2535873}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/RamsayNO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SergeyVJ14, author = {Ilya Sergey and Dimitrios Vytiniotis and Simon L. Peyton Jones}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Modular, higher-order cardinality analysis in theory and practice}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {335--348}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535861}, doi = {10.1145/2535838.2535861}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/SergeyVJ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SwamyFRBCSB14, author = {Nikhil Swamy and C{\'{e}}dric Fournet and Aseem Rastogi and Karthikeyan Bhargavan and Juan Chen and Pierre{-}Yves Strub and Gavin M. Bierman}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Gradual typing embedded securely in JavaScript}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {425--438}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535889}, doi = {10.1145/2535838.2535889}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/SwamyFRBCSB14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ZhangM14, author = {Danfeng Zhang and Andrew C. Myers}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Toward general diagnosis of static errors}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {569--582}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535870}, doi = {10.1145/2535838.2535870}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/ZhangM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2014, editor = {Suresh Jagannathan and Peter Sewell}, title = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838}, doi = {10.1145/2535838}, isbn = {978-1-4503-2544-8}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.