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/popl2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/popl/Adams15,
author = {Michael D. Adams},
editor = {Sriram K. Rajamani and
David Walker},
title = {Towards the Essence of Hygiene},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {457--469},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677013},
doi = {10.1145/2676726.2677013},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/Adams15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Agten0P15,
author = {Pieter Agten and
Bart Jacobs and
Frank Piessens},
editor = {Sriram K. Rajamani and
David Walker},
title = {Sound Modular Verification of {C} Code Executing in an Unverified
Context},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {581--594},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676972},
doi = {10.1145/2676726.2676972},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Agten0P15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlurDR15,
author = {Rajeev Alur and
Loris D'Antoni and
Mukund Raghothaman},
editor = {Sriram K. Rajamani and
David Walker},
title = {DReX: {A} Declarative Language for Efficiently Evaluating Regular
String Transformations},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {125--137},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676981},
doi = {10.1145/2676726.2676981},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AlurDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BartheGAHRS15,
author = {Gilles Barthe and
Marco Gaboardi and
Emilio Jes{\'{u}}s Gallego Arias and
Justin Hsu and
Aaron Roth and
Pierre{-}Yves Strub},
editor = {Sriram K. Rajamani and
David Walker},
title = {Higher-Order Approximate Relational Refinement Types for Mechanism
Design and Differential Privacy},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {55--68},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677000},
doi = {10.1145/2676726.2677000},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BartheGAHRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BastaniAA15,
author = {Osbert Bastani and
Saswat Anand and
Alex Aiken},
editor = {Sriram K. Rajamani and
David Walker},
title = {Specification Inference Using Context-Free Language Reachability},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {553--566},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676977},
doi = {10.1145/2676726.2676977},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BastaniAA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BogdanasR15,
author = {Denis Bogdanas and
Grigore Rosu},
editor = {Sriram K. Rajamani and
David Walker},
title = {K-Java: {A} Complete Semantics of Java},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {445--456},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676982},
doi = {10.1145/2676726.2676982},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BogdanasR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BonchiSZ15,
author = {Filippo Bonchi and
Pawel Sobocinski and
Fabio Zanasi},
editor = {Sriram K. Rajamani and
David Walker},
title = {Full Abstraction for Signal Flow Graphs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {515--526},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676993},
doi = {10.1145/2676726.2676993},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BonchiSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BouajjaniEEH15,
author = {Ahmed Bouajjani and
Michael Emmi and
Constantin Enea and
Jad Hamza},
editor = {Sriram K. Rajamani and
David Walker},
title = {Tractable Refinement Checking for Concurrent Objects},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {651--662},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677002},
doi = {10.1145/2676726.2677002},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BouajjaniEEH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrownP15,
author = {Matt Brown and
Jens Palsberg},
editor = {Sriram K. Rajamani and
David Walker},
title = {Self-Representation in Girard's System {U}},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {471--484},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676988},
doi = {10.1145/2676726.2676988},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BrownP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Buneman15,
author = {Peter Buneman},
editor = {Sriram K. Rajamani and
David Walker},
title = {Databases and Programming: Two Subjects Divided by a Common Language?},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {487},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2682620},
doi = {10.1145/2676726.2682620},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Buneman15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Castagna0XA15,
author = {Giuseppe Castagna and
Kim Nguyen and
Zhiwu Xu and
Pietro Abate},
editor = {Sriram K. Rajamani and
David Walker},
title = {Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type
Inference and Type Reconstruction},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {289--302},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676991},
doi = {10.1145/2676726.2676991},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Castagna0XA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChatterjeeIPG15,
author = {Krishnendu Chatterjee and
Rasmus Ibsen{-}Jensen and
Andreas Pavlogiannis and
Prateesh Goyal},
editor = {Sriram K. Rajamani and
David Walker},
title = {Faster Algorithms for Algebraic Path Properties in Recursive State
Machines with Constant Treewidth},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {97--109},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676979},
doi = {10.1145/2676726.2676979},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChatterjeeIPG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ChatterjeePV15,
author = {Krishnendu Chatterjee and
Andreas Pavlogiannis and
Yaron Velner},
editor = {Sriram K. Rajamani and
David Walker},
title = {Quantitative Interprocedural Analysis},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {539--551},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676968},
doi = {10.1145/2676726.2676968},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ChatterjeePV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chlipala15,
author = {Adam Chlipala},
editor = {Sriram K. Rajamani and
David Walker},
title = {Ur/Web: {A} Simple Model for Programming the Web},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {153--165},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677004},
doi = {10.1145/2676726.2677004},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Chlipala15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Chlipala15a,
author = {Adam Chlipala},
editor = {Sriram K. Rajamani and
David Walker},
title = {From Network Interface to Multithreaded Web Applications: {A} Case
Study in Modular Program Verification},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {609--622},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677003},
doi = {10.1145/2676726.2677003},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Chlipala15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CochranDLMV15,
author = {Robert A. Cochran and
Loris D'Antoni and
Benjamin Livshits and
David Molnar and
Margus Veanes},
editor = {Sriram K. Rajamani and
David Walker},
title = {Program Boosting: Program Synthesis via Crowd-Sourcing},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {677--688},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676973},
doi = {10.1145/2676726.2676973},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CochranDLMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CraryS15,
author = {Karl Crary and
Michael J. Sullivan},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Calculus for Relaxed Memory},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {623--636},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676984},
doi = {10.1145/2676726.2676984},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/CraryS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DelawarePGC15,
author = {Benjamin Delaware and
Cl{\'{e}}ment Pit{-}Claudel and
Jason Gross and
Adam Chlipala},
editor = {Sriram K. Rajamani and
David Walker},
title = {Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {689--700},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677006},
doi = {10.1145/2676726.2677006},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DelawarePGC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/DoddsHK15,
author = {Mike Dodds and
Andreas Haas and
Christoph M. Kirsch},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Scalable, Correct Time-Stamped Stack},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {233--246},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676963},
doi = {10.1145/2676726.2676963},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/DoddsHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EbadiSS15,
author = {Hamid Ebadi and
David Sands and
Gerardo Schneider},
editor = {Sriram K. Rajamani and
David Walker},
title = {Differential Privacy: Now it's Getting Personal},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {69--81},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677005},
doi = {10.1145/2676726.2677005},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/EbadiSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ElangoRPRS15,
author = {Venmugil Elango and
Fabrice Rastello and
Louis{-}No{\"{e}}l Pouchet and
J. Ramanujam and
P. Sadayappan},
editor = {Sriram K. Rajamani and
David Walker},
title = {On Characterizing the Data Access Complexity of Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {567--580},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677010},
doi = {10.1145/2676726.2677010},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/ElangoRPRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP15,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
editor = {Sriram K. Rajamani and
David Walker},
title = {Proof Spaces for Unbounded Parallelism},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {407--420},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677012},
doi = {10.1145/2676726.2677012},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FarzanKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FioritiH15,
author = {Luis Mar{\'{\i}}a Ferrer Fioriti and
Holger Hermanns},
editor = {Sriram K. Rajamani and
David Walker},
title = {Probabilistic Termination: Soundness, Completeness, and Compositionality},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {489--501},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677001},
doi = {10.1145/2676726.2677001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FioritiH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FosterKM0T15,
author = {Nate Foster and
Dexter Kozen and
Mae Milano and
Alexandra Silva and
Laure Thompson},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Coalgebraic Decision Procedure for NetKAT},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {343--355},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677011},
doi = {10.1145/2676726.2677011},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FosterKM0T15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GarciaC15,
author = {Ronald Garcia and
Matteo Cimini},
editor = {Sriram K. Rajamani and
David Walker},
title = {Principal Type Schemes for Gradual Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {303--315},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676992},
doi = {10.1145/2676726.2676992},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GarciaC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GiacobazziLR15,
author = {Roberto Giacobazzi and
Francesco Logozzo and
Francesco Ranzato},
editor = {Sriram K. Rajamani and
David Walker},
title = {Analyzing Program Analyses},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {261--273},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676987},
doi = {10.1145/2676726.2676987},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GiacobazziLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Greenberg15,
author = {Michael Greenberg},
editor = {Sriram K. Rajamani and
David Walker},
title = {Space-Efficient Manifest Contracts},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {181--194},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676967},
doi = {10.1145/2676726.2676967},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Greenberg15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GuKRSWWZG15,
author = {Ronghui Gu and
J{\'{e}}r{\'{e}}mie Koenig and
Tahina Ramananandro and
Zhong Shao and
Xiongnan (Newman) Wu and
Shu{-}Chun Weng and
Haozhong Zhang and
Yu Guo},
editor = {Sriram K. Rajamani and
David Walker},
title = {Deep Specifications and Certified Abstraction Layers},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {595--608},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676975},
doi = {10.1145/2676726.2676975},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/GuKRSWWZG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Gulwani15,
author = {Sumit Gulwani},
editor = {Sriram K. Rajamani and
David Walker},
title = {Automating Repetitive Tasks for the Masses},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {1--2},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2682621},
doi = {10.1145/2676726.2682621},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Gulwani15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/GuptaHRST15,
author = {Ashutosh Gupta and
Thomas A. Henzinger and
Arjun Radhakrishna and
Roopsha Samanta and
Thorsten Tarrach},
editor = {Sriram K. Rajamani and
David Walker},
title = {Succinct Representation of Concurrent Trace Sets},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {433--444},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677008},
doi = {10.1145/2676726.2677008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/GuptaHRST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HeGWZ15,
author = {Fei He and
Xiaowei Gao and
Bow{-}Yaw Wang and
Lijun Zhang},
editor = {Sriram K. Rajamani and
David Walker},
title = {Leveraging Weighted Automata in Compositional Reasoning about Concurrent
Probabilistic Systems},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {503--514},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676998},
doi = {10.1145/2676726.2676998},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HeGWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HinzeWG15,
author = {Ralf Hinze and
Nicolas Wu and
Jeremy Gibbons},
editor = {Sriram K. Rajamani and
David Walker},
title = {Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion
Schemes},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {527--538},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676989},
doi = {10.1145/2676726.2676989},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HinzeWG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JourdanLBLP15,
author = {Jacques{-}Henri Jourdan and
Vincent Laporte and
Sandrine Blazy and
Xavier Leroy and
David Pichardie},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Formally-Verified {C} Static Analyzer},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {247--259},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676966},
doi = {10.1145/2676726.2676966},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JourdanLBLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JungSSSTBD15,
author = {Ralf Jung and
David Swasey and
Filip Sieczkowski and
Kasper Svendsen and
Aaron Turon and
Lars Birkedal and
Derek Dreyer},
editor = {Sriram K. Rajamani and
David Walker},
title = {Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent
Reasoning},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {637--650},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676980},
doi = {10.1145/2676726.2676980},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/JungSSSTBD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KrishnaswamiPB15,
author = {Neelakantan R. Krishnaswami and
C{\'{e}}cilia Pradic and
Nick Benton},
editor = {Sriram K. Rajamani and
David Walker},
title = {Integrating Linear and Dependent Types},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {17--30},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676969},
doi = {10.1145/2676726.2676969},
timestamp = {Wed, 13 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/KrishnaswamiPB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LangeTY15,
author = {Julien Lange and
Emilio Tuosto and
Nobuko Yoshida},
editor = {Sriram K. Rajamani and
David Walker},
title = {From Communicating Machines to Graphical Choreographies},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {221--232},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676964},
doi = {10.1145/2676726.2676964},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LangeTY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Lee15,
author = {Peter Lee},
editor = {Sriram K. Rajamani and
David Walker},
title = {Coding by Everyone, Every Day},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {485},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2682622},
doi = {10.1145/2676726.2682622},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Lee15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LourencoC15,
author = {Lu{\'{\i}}sa Louren{\c{c}}o and
Lu{\'{\i}}s Caires},
editor = {Sriram K. Rajamani and
David Walker},
title = {Dependent Information Flow Types},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {317--328},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676994},
doi = {10.1145/2676726.2676994},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/LourencoC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MelliesZ15,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Noam Zeilberger},
editor = {Sriram K. Rajamani and
David Walker},
title = {Functors are Type Refinement Systems},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {3--16},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676970},
doi = {10.1145/2676726.2676970},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/MelliesZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/NgoMMP15,
author = {Minh Ngo and
Fabio Massacci and
Dimiter Milushev and
Frank Piessens},
editor = {Sriram K. Rajamani and
David Walker},
title = {Runtime Enforcement of Security Policies on Black Box Reactive Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {43--54},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676978},
doi = {10.1145/2676726.2676978},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/NgoMMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PadonIKLSS15,
author = {Oded Padon and
Neil Immerman and
Aleksandr Karbyshev and
Ori Lahav and
Mooly Sagiv and
Sharon Shoham},
editor = {Sriram K. Rajamani and
David Walker},
title = {Decentralizing {SDN} Policies},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {663--676},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676990},
doi = {10.1145/2676726.2676990},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/PadonIKLSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Pous15,
author = {Damien Pous},
editor = {Sriram K. Rajamani and
David Walker},
title = {Symbolic Algorithms for Language Equivalence and Kleene Algebra with
Tests},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {357--368},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677007},
doi = {10.1145/2676726.2677007},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Pous15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PredaGLM15,
author = {Mila Dalla Preda and
Roberto Giacobazzi and
Arun Lakhotia and
Isabella Mastroeni},
editor = {Sriram K. Rajamani and
David Walker},
title = {Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis
of executables},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {329--341},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676986},
doi = {10.1145/2676726.2676986},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PredaGLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RastogiSFBV15,
author = {Aseem Rastogi and
Nikhil Swamy and
C{\'{e}}dric Fournet and
Gavin M. Bierman and
Panagiotis Vekris},
editor = {Sriram K. Rajamani and
David Walker},
title = {Safe {\&} Efficient Gradual Typing for TypeScript},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {167--180},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676971},
doi = {10.1145/2676726.2676971},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RastogiSFBV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/RaychevVK15,
author = {Veselin Raychev and
Martin T. Vechev and
Andreas Krause},
editor = {Sriram K. Rajamani and
David Walker},
title = {Predicting Program Properties from "Big Code"},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {111--124},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677009},
doi = {10.1145/2676726.2677009},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/RaychevVK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Sangiorgi15,
author = {Davide Sangiorgi},
editor = {Sriram K. Rajamani and
David Walker},
title = {Equations, Contractions, and Unique Solutions},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {421--432},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676965},
doi = {10.1145/2676726.2676965},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Sangiorgi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SekiyamaNI15,
author = {Taro Sekiyama and
Yuki Nishida and
Atsushi Igarashi},
editor = {Sriram K. Rajamani and
David Walker},
title = {Manifest Contracts for Datatypes},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {195--207},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676996},
doi = {10.1145/2676726.2676996},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SekiyamaNI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SjobergW15,
author = {Vilhelm Sj{\"{o}}berg and
Stephanie Weirich},
editor = {Sriram K. Rajamani and
David Walker},
title = {Programming up to Congruence},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {369--382},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676974},
doi = {10.1145/2676726.2676974},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SjobergW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Sojakova15,
author = {Kristina Sojakova},
editor = {Sriram K. Rajamani and
David Walker},
title = {Higher Inductive Types as Homotopy-Initial Algebras},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {31--42},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676983},
doi = {10.1145/2676726.2676983},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Sojakova15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Staton15,
author = {Sam Staton},
editor = {Sriram K. Rajamani and
David Walker},
title = {Algebraic Effects, Linearity, and Quantum Programming Languages},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {395--406},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676999},
doi = {10.1145/2676726.2676999},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Staton15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/StewartBCA15,
author = {Gordon Stewart and
Lennart Beringer and
Santiago Cuellar and
Andrew W. Appel},
editor = {Sriram K. Rajamani and
David Walker},
title = {Compositional CompCert},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {275--287},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676985},
doi = {10.1145/2676726.2676985},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/StewartBCA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/TangWZXZM15,
author = {Hao Tang and
Xiaoyin Wang and
Lingming Zhang and
Bing Xie and
Lu Zhang and
Hong Mei},
editor = {Sriram K. Rajamani and
David Walker},
title = {Summary-Based Context-Sensitive Data-Dependence Analysis in Presence
of Callbacks},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {83--95},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676997},
doi = {10.1145/2676726.2676997},
timestamp = {Tue, 09 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/TangWZXZM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Tobisawa15,
author = {Kazunori Tobisawa},
editor = {Sriram K. Rajamani and
David Walker},
title = {A Meta Lambda Calculus with Cross-Level Computation},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {383--393},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676976},
doi = {10.1145/2676726.2676976},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Tobisawa15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VafeiadisBCMN15,
author = {Viktor Vafeiadis and
Thibaut Balabonski and
Soham Chakraborty and
Robin Morisset and
Francesco Zappa Nardelli},
editor = {Sriram K. Rajamani and
David Walker},
title = {Common Compiler Optimisations are Invalid in the {C11} Memory Model
and what we can do about it},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {209--220},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2676995},
doi = {10.1145/2676726.2676995},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/VafeiadisBCMN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/VeanesMML15,
author = {Margus Veanes and
Todd Mytkowicz and
David Molnar and
Benjamin Livshits},
editor = {Sriram K. Rajamani and
David Walker},
title = {Data-Parallel String-Manipulating Programs},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {139--152},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677014},
doi = {10.1145/2676726.2677014},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/VeanesMML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2015,
editor = {Sriram K. Rajamani and
David Walker},
title = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726},
doi = {10.1145/2676726},
isbn = {978-1-4503-3300-9},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2015.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-05-07 06:31 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:
