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/popl2013.bht:"
download as .bib file
@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}
}
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-07-01 05:58 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:
