default search action
Search dblp for Publications
export results for "toc:db/conf/popl/popl2013.bht:"
@inproceedings{DBLP:conf/popl/AbelPTS13, author = {Andreas Abel and Brigitte Pientka and David Thibodeau and Anton Setzer}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Copatterns: programming infinite structures by observations}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {27--38}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429075}, doi = {10.1145/2429069.2429075}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/popl/AbelPTS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Adams13, author = {Michael D. Adams}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Principled parsing for indentation-sensitive languages: revisiting landin's offside rule}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {511--522}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429129}, doi = {10.1145/2429069.2429129}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Adams13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AtkeyJK13, author = {Robert Atkey and Patricia Johann and Andrew Kennedy}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Abstraction and invariance for algebraically indexed types}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {87--100}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429082}, doi = {10.1145/2429069.2429082}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AtkeyJK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BarrVLS13, author = {Earl T. Barr and Thanh Vo and Vu Le and Zhendong Su}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Automatic detection of floating-point exceptions}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {549--560}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429133}, doi = {10.1145/2429069.2429133}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/BarrVLS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BattyDG13, author = {Mark Batty and Mike Dodds and Alexey Gotsman}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Library abstraction for {C/C++} concurrency}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {235--248}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429099}, doi = {10.1145/2429069.2429099}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BattyDG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Ben-AmramG13, author = {Amir M. Ben{-}Amram and Samir Genaim}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {On the linear ranking problem for integer linear-constraint loops}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {51--62}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429078}, doi = {10.1145/2429069.2429078}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Ben-AmramG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BenzakenCNS13, author = {V{\'{e}}ronique Benzaken and Giuseppe Castagna and Kim Nguyen and J{\'{e}}r{\^{o}}me Sim{\'{e}}on}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Static and dynamic semantics of NoSQL languages}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {101--114}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429083}, doi = {10.1145/2429069.2429083}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/BenzakenCNS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BlellochH13, author = {Guy E. Blelloch and Robert Harper}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Cache and {I/O} efficent functional algorithms}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {39--50}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429077}, doi = {10.1145/2429069.2429077}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BlellochH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BonchiP13, author = {Filippo Bonchi and Damien Pous}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Checking {NFA} equivalence with bisimulations up to congruence}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {457--468}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429124}, doi = {10.1145/2429069.2429124}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BonchiP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/BotincanB13, author = {Matko Botincan and Domagoj Babic}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Sigma*: symbolic learning of input-output specifications}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {443--456}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429123}, doi = {10.1145/2429069.2429123}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/BotincanB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CairesS13, author = {Lu{\'{\i}}s Caires and Jo{\~{a}}o Costa Seco}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The type discipline of behavioral separation}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {275--286}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429103}, doi = {10.1145/2429069.2429103}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CairesS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CarboneM13, author = {Marco Carbone and Fabrizio Montesi}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Deadlock-freedom-by-design: multiparty asynchronous global programming}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {263--274}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429101}, doi = {10.1145/2429069.2429101}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/CarboneM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/CernyHR13, author = {Pavol Cern{\'{y}} and Thomas A. Henzinger and Arjun Radhakrishna}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Quantitative abstraction refinement}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {115--128}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429085}, doi = {10.1145/2429069.2429085}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/CernyHR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DSilvaHK13, author = {Vijay Victor D'Silva and Leopold Haller and Daniel Kroening}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Abstract conflict driven learning}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {143--154}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429087}, doi = {10.1145/2429069.2429087}, timestamp = {Tue, 16 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/DSilvaHK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DelawareOS13, author = {Benjamin Delaware and Bruno C. d. S. Oliveira and Tom Schrijvers}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Meta-theory {\`{a}} la carte}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {207--218}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429094}, doi = {10.1145/2429069.2429094}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/DelawareOS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DemangeLZJPV13, author = {Delphine Demange and Vincent Laporte and Lei Zhao and Suresh Jagannathan and David Pichardie and Jan Vitek}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Plan {B:} a buffered memory model for Java}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {329--342}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429110}, doi = {10.1145/2429069.2429110}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/DemangeLZJPV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Dinsdale-YoungBGPY13, author = {Thomas Dinsdale{-}Young and Lars Birkedal and Philippa Gardner and Matthew J. Parkinson and Hongseok Yang}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Views: compositional reasoning for concurrent programs}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {287--300}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429104}, doi = {10.1145/2429069.2429104}, timestamp = {Sat, 31 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Dinsdale-YoungBGPY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FarzanKP13, author = {Azadeh Farzan and Zachary Kincaid and Andreas Podelski}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Inductive data flow graphs}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {129--142}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429086}, doi = {10.1145/2429069.2429086}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/FarzanKP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/FournetSCDSL13, author = {C{\'{e}}dric Fournet and Nikhil Swamy and Juan Chen and Pierre{-}{\'{E}}variste Dagand and Pierre{-}Yves Strub and Benjamin Livshits}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Fully abstract compilation to JavaScript}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {371--384}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429114}, doi = {10.1145/2429069.2429114}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/FournetSCDSL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GaboardiHHNP13, author = {Marco Gaboardi and Andreas Haeberlen and Justin Hsu and Arjun Narayan and Benjamin C. Pierce}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Linear dependent types for differential privacy}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {357--370}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429113}, doi = {10.1145/2429069.2429113}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/GaboardiHHNP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Gonthier13, author = {Georges Gonthier}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Engineering mathematics: the odd order theorem proof}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {1--2}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429071}, doi = {10.1145/2429069.2429071}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Gonthier13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Goodman13, author = {Noah D. Goodman}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The principles and practice of probabilistic programming}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {399--402}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429117}, doi = {10.1145/2429069.2429117}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Goodman13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GordonABCGNRR13, author = {Andrew D. Gordon and Mihhail Aizatulin and Johannes Borgstr{\"{o}}m and Guillaume Claret and Thore Graepel and Aditya V. Nori and Sriram K. Rajamani and Claudio V. Russo}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {A model-learner pattern for bayesian reasoning}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {403--416}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429119}, doi = {10.1145/2429069.2429119}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/GordonABCGNRR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Goyet13, author = {Alexis Goyet}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {155--166}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429089}, doi = {10.1145/2429069.2429089}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Goyet13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HenzingerKPSS13, author = {Thomas A. Henzinger and Christoph M. Kirsch and Hannes Payer and Ali Sezgin and Ana Sokolova}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Quantitative relaxation of concurrent data structures}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {317--328}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429109}, doi = {10.1145/2429069.2429109}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HenzingerKPSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HoborV13, author = {Aquinas Hobor and Jules Villard}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The ramifications of sharing in data structures}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {523--536}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429131}, doi = {10.1145/2429069.2429131}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HoborV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HurNDV13, author = {Chung{-}Kil Hur and Georg Neis and Derek Dreyer and Viktor Vafeiadis}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The power of parameterization in coinductive proof}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {193--206}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429093}, doi = {10.1145/2429069.2429093}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/HurNDV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/JensenBK13, author = {Jonas Braband Jensen and Nick Benton and Andrew Kennedy}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {High-level separation logic for low-level code}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {301--314}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429105}, doi = {10.1145/2429069.2429105}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/JensenBK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/KoksalPSBFP13, author = {Ali Sinan K{\"{o}}ksal and Yewen Pu and Saurabh Srivastava and Rastislav Bod{\'{\i}}k and Jasmin Fisher and Nir Piterman}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Synthesis of biological models from mutation experiments}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {469--482}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429125}, doi = {10.1145/2429069.2429125}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/KoksalPSBFP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Krishnamurthi13, author = {Shriram Krishnamurthi}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {From principles to programming languages (and back)}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {233--234}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429097}, doi = {10.1145/2429069.2429097}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Krishnamurthi13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LagoP13, author = {Ugo Dal Lago and Barbara Petit}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The geometry of types}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {167--178}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429090}, doi = {10.1145/2429069.2429090}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/LagoP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Ley-WildN13, author = {Ruy Ley{-}Wild and Aleksandar Nanevski}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Subjective auxiliary state for coarse-grained concurrency}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {561--574}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429134}, doi = {10.1145/2429069.2429134}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Ley-WildN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LivshitsC13, author = {Benjamin Livshits and Stephen Chong}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Towards fully automatic placement of security sanitizers and declassifiers}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {385--398}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429115}, doi = {10.1145/2429069.2429115}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/LivshitsC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/LoschP13, author = {Steffen L{\"{o}}sch and Andrew M. Pitts}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Full abstraction for nominal Scott domains}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {3--14}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429073}, doi = {10.1145/2429069.2429073}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/LoschP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/MayrC13, author = {Richard Mayr and Lorenzo Clemente}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Advanced automata minimization}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {63--74}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429079}, doi = {10.1145/2429069.2429079}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/MayrC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Myers13, author = {Andrew C. Myers}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {How languages can save distributed computing}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {315--316}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429107}, doi = {10.1145/2429069.2429107}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Myers13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ParkSP13, author = {Jonghyun Park and Jeongbong Seo and Sungwoo Park}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {A theorem prover for Boolean {BI}}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {219--232}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429095}, doi = {10.1145/2429069.2429095}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/ParkSP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/RamalingamV13, author = {Ganesan Ramalingam and Kapil Vaswani}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Fault tolerance via idempotence}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {249--262}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429100}, doi = {10.1145/2429069.2429100}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/RamalingamV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/RompfSABJLJOO13, author = {Tiark Rompf and Arvind K. Sujeeth and Nada Amin and Kevin J. Brown and Vojin Jovanovic and HyoukJoong Lee and Manohar Jonnalagedda and Kunle Olukotun and Martin Odersky}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Optimizing data structures in high-level programs: new directions for extensible compilers based on staging}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {497--510}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429128}, doi = {10.1145/2429069.2429128}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/RompfSABJLJOO13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/StatonL13, author = {Sam Staton and Paul Blain Levy}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Universal properties of impure programming languages}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {179--192}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429091}, doi = {10.1145/2429069.2429091}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/StatonL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/SuenagaSH13, author = {Kohei Suenaga and Hiroyoshi Sekine and Ichiro Hasuo}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Hyperstream processing systems: nonstandard modeling of continuous-time signals}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {417--430}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429120}, doi = {10.1145/2429069.2429120}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/SuenagaSH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Tate13, author = {Ross Tate}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The sequential semantics of producer effect systems}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {15--26}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429074}, doi = {10.1145/2429069.2429074}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/Tate13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/TotlaW13, author = {Nishant Totla and Thomas Wies}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Complete instantiation-based interpolation}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {537--548}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429132}, doi = {10.1145/2429069.2429132}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/TotlaW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/TuronTABD13, author = {Aaron Joseph Turon and Jacob Thamsborg and Amal Ahmed and Lars Birkedal and Derek Dreyer}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Logical relations for fine-grained concurrency}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {343--356}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429111}, doi = {10.1145/2429069.2429111}, timestamp = {Tue, 05 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/TuronTABD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/UnnoTK13, author = {Hiroshi Unno and Tachio Terauchi and Naoki Kobayashi}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Automating relatively complete verification of higher-order functional programs}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {75--86}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429081}, doi = {10.1145/2429069.2429081}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/UnnoTK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/UpadrastaC13, author = {Ramakrishna Upadrasta and Albert Cohen}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {483--496}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429127}, doi = {10.1145/2429069.2429127}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/UpadrastaC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/VytiniotisJCR13, author = {Dimitrios Vytiniotis and Simon L. Peyton Jones and Koen Claessen and Dan Ros{\'{e}}n}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {{HALO:} haskell to logic through denotational semantics}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {431--442}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429121}, doi = {10.1145/2429069.2429121}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/VytiniotisJCR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2013, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069}, doi = {10.1145/2429069}, isbn = {978-1-4503-1832-7}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/2013.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.