Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/popl/popl2014.bht:"
download as .bib file
@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 = {Thu, 24 Jun 2021 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}
}
a service of 
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.
retrieved on 2024-04-23 11:47 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
