default search action
Search dblp for Publications
export results for "toc:db/conf/popl/popl2015.bht:"
@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 Cu{\'{e}}llar 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 = {Mon, 19 Aug 2024 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} }
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.