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/pldi/pldi2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/pldi/AhnCSGT14,
author = {Wonsun Ahn and
Jiho Choi and
Thomas Shull and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
Josep Torrellas},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Improving JavaScript performance by deconstructing the type system},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {496--507},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594332},
doi = {10.1145/2594291.2594332},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AhnCSGT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AlglaveMT14,
author = {Jade Alglave and
Luc Maranget and
Michael Tautschnig},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Herding cats: modelling, simulation, testing, and data-mining for
weak memory},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {40},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594347},
doi = {10.1145/2594291.2594347},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AlglaveMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztRFBBKTOM14,
author = {Steven Arzt and
Siegfried Rasthofer and
Christian Fritz and
Eric Bodden and
Alexandre Bartel and
Jacques Klein and
Yves Le Traon and
Damien Octeau and
Patrick D. McDaniel},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware
taint analysis for Android apps},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {259--269},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594299},
doi = {10.1145/2594291.2594299},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArztRFBBKTOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AungHJR14,
author = {Min Aung and
Susan Horwitz and
Richard Joiner and
Thomas W. Reps},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Specialization slicing},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {167},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594345},
doi = {10.1145/2594291.2594345},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AungHJR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BallBGIKSSV14,
author = {Thomas Ball and
Nikolaj S. Bj{\o}rner and
Aaron Gember and
Shachar Itzhaky and
Aleksandr Karbyshev and
Mooly Sagiv and
Michael Schapira and
Asaf Valadarsky},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {VeriCon: towards verifying controller programs in software-defined
networks},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {282--293},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594317},
doi = {10.1145/2594291.2594317},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BallBGIKSSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BiswasHSB14,
author = {Swarnendu Biswas and
Jipeng Huang and
Aritra Sengupta and
Michael D. Bond},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {DoubleChecker: efficient sound and precise atomicity checking},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {28--39},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594323},
doi = {10.1145/2594291.2594323},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BiswasHSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BorgesFdPV14,
author = {Mateus Borges and
Antonio Filieri and
Marcelo d'Amorim and
Corina S. Pasareanu and
Willem Visser},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Compositional solution space quantification for probabilistic software
analysis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {123--132},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594329},
doi = {10.1145/2594291.2594329},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BorgesFdPV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CaiGRO14,
author = {Yufei Cai and
Paolo G. Giarrusso and
Tillmann Rendel and
Klaus Ostermann},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {A theory of changes for higher-order languages: incrementalizing {\(\lambda\)}-calculi
by static differentiation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {145--155},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594304},
doi = {10.1145/2594291.2594304},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CaiGRO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Carbonneaux0RS14,
author = {Quentin Carbonneaux and
Jan Hoffmann and
Tahina Ramananandro and
Zhong Shao},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {End-to-end verification of stack-space bounds for {C} programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {270--281},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594301},
doi = {10.1145/2594291.2594301},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Carbonneaux0RS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DAntoniVLM14,
author = {Loris D'Antoni and
Margus Veanes and
Benjamin Livshits and
David Molnar},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Fast: a transducer-based language for tree manipulation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {384--394},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594309},
doi = {10.1145/2594291.2594309},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DAntoniVLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DavidY14,
author = {Yaniv David and
Eran Yahav},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Tracelet-based code search in executables},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {349--360},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594343},
doi = {10.1145/2594291.2594343},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DavidY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeVitoRFAH14,
author = {Zachary DeVito and
Daniel Ritchie and
Matthew Fisher and
Alex Aiken and
Pat Hanrahan},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {First-class runtime generation of high-performance types using exotypes},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {77--88},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594307},
doi = {10.1145/2594291.2594307},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DeVitoRFAH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DimitrovRVK14,
author = {Dimitar K. Dimitrov and
Veselin Raychev and
Martin T. Vechev and
Eric Koskinen},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Commutativity race detection},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {305--315},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594322},
doi = {10.1145/2594291.2594322},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DimitrovRVK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GreenawayLAK14,
author = {David Greenaway and
Japheth Lim and
June Andronick and
Gerwin Klein},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Don't sweat the small stuff: formal verification of {C} code without
the pain},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {429--439},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594296},
doi = {10.1145/2594291.2594296},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GreenawayLAK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GreenmanMT14,
author = {Ben Greenman and
Fabian Muehlboeck and
Ross Tate},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Getting F-bounded polymorphism into shape},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {89--99},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594308},
doi = {10.1145/2594291.2594308},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GreenmanMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuptaSS14,
author = {Gagan Gupta and
Srinath Sridharan and
Gurindar S. Sohi},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Globally precise-restartable execution of parallel programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {181--192},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594306},
doi = {10.1145/2594291.2594306},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GuptaSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HammerKHF14,
author = {Matthew A. Hammer and
Yit Phang Khoo and
Michael Hicks and
Jeffrey S. Foster},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Adapton: composable, demand-driven incremental computation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {156--166},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594324},
doi = {10.1145/2594291.2594324},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HammerKHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HanxledenDMSMAMO14,
author = {Reinhard von Hanxleden and
Bj{\"{o}}rn Duderstadt and
Christian Motika and
Steven Smyth and
Michael Mendler and
Joaqu{\'{\i}}n Aguado and
Stephen Mercer and
Owen O'Brien},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {SCCharts: sequentially constructive statecharts for safety-critical
applications: HW/SW-synthesis for a conservative extension of synchronous
statecharts},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {372--383},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594310},
doi = {10.1145/2594291.2594310},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HanxledenDMSMAMO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Hoare14,
author = {Tony Hoare},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Laws of concurrent programming},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {168},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2604002},
doi = {10.1145/2594291.2604002},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Hoare14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HsiaoPYPNCKF14,
author = {Chun{-}Hung Hsiao and
Cristiano Pereira and
Jie Yu and
Gilles Pokam and
Satish Narayanasamy and
Peter M. Chen and
Ziyun Kong and
Jason Flinn},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Race detection for event-driven mobile applications},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {326--336},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594330},
doi = {10.1145/2594291.2594330},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HsiaoPYPNCKF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HuangMR14,
author = {Jeff Huang and
Patrick O'Neil Meredith and
Grigore Rosu},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Maximal sound predictive race detection with control flow abstraction},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {337--348},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594315},
doi = {10.1145/2594291.2594315},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HuangMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HurNRS14,
author = {Chung{-}Kil Hur and
Aditya V. Nori and
Sriram K. Rajamani and
Selva Samuel},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Slicing probabilistic programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {133--144},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594303},
doi = {10.1145/2594291.2594303},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HurNRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JagannathanPVPL14,
author = {Suresh Jagannathan and
Gustavo Petri and
Jan Vitek and
David Pichardie and
Vincent Laporte},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Atomicity refinement for verified compilation},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {27},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594346},
doi = {10.1145/2594291.2594346},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JagannathanPVPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuperTTN14,
author = {Lindsey Kuper and
Aaron Todd and
Sam Tobin{-}Hochstadt and
Ryan R. Newton},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Taming the parallel effect zoo: extensible deterministic parallelism
with LVish},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {2--14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594312},
doi = {10.1145/2594291.2594312},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KuperTTN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeAS14,
author = {Vu Le and
Mehrdad Afshari and
Zhendong Su},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Compiler validation via equivalence modulo inputs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {216--226},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594334},
doi = {10.1145/2594291.2594334},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeAS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeG14,
author = {Vu Le and
Sumit Gulwani},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {FlashExtract: a framework for data extraction by examples},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {542--553},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594333},
doi = {10.1145/2594291.2594333},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LogozzoLFB14,
author = {Francesco Logozzo and
Shuvendu K. Lahiri and
Manuel F{\"{a}}hndrich and
Sam Blackshear},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Verification modulo versions: towards usable verification},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {294--304},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594326},
doi = {10.1145/2594291.2594326},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LogozzoLFB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LongSR14,
author = {Fan Long and
Stelios Sidiroglou{-}Douskos and
Martin C. Rinard},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Automatic runtime error repair and containment via recovery shepherding},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {227--238},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594337},
doi = {10.1145/2594291.2594337},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LongSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LuJS14,
author = {Li Lu and
Weixing Ji and
Michael L. Scott},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Dynamic enforcement of determinism in a parallel scripting language},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {519--529},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594300},
doi = {10.1145/2594291.2594300},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LuJS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LuuSSD14,
author = {Loi Luu and
Shweta Shinde and
Prateek Saxena and
Brian Demsky},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {A model counter for constraints over unbounded strings},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {565--576},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594331},
doi = {10.1145/2594291.2594331},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LuuSSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MaiyaKM14,
author = {Pallavi Maiya and
Aditya Kanade and
Rupak Majumdar},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Race detection for Android applications},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {316--325},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594311},
doi = {10.1145/2594291.2594311},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MaiyaKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Misra14,
author = {Jayadev Misra},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {A personal perspective on concurrency},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {395},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2604003},
doi = {10.1145/2594291.2604003},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Misra14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MitraLABSG14,
author = {Subrata Mitra and
Ignacio Laguna and
Dong H. Ahn and
Saurabh Bagchi and
Martin Schulz and
Todd Gamblin},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Accurate application progress analysis for large-scale parallel debugging},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {193--203},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594336},
doi = {10.1145/2594291.2594336},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MitraLABSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NiuT14,
author = {Ben Niu and
Gang Tan},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Modular control-flow integrity},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {577--587},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594295},
doi = {10.1145/2594291.2594295},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/NiuT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OhLHYY14,
author = {Hakjoo Oh and
Wonchan Lee and
Kihong Heo and
Hongseok Yang and
Kwangkeun Yi},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Selective context-sensitivity guided by impact pre-analysis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {475--484},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594318},
doi = {10.1145/2594291.2594318},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/OhLHYY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Palem14,
author = {Krishna V. Palem},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {What exactly is inexact computation good for?},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2604001},
doi = {10.1145/2594291.2604001},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Palem14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PekQM14,
author = {Edgar Pek and
Xiaokang Qiu and
P. Madhusudan},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Natural proofs for data structure manipulation in {C} using separation
logic},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {440--451},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594325},
doi = {10.1145/2594291.2594325},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PekQM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerelmanGGP14,
author = {Daniel Perelman and
Sumit Gulwani and
Dan Grossman and
Peter Provost},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Test-driven synthesis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {408--418},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594297},
doi = {10.1145/2594291.2594297},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PerelmanGGP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PhothilimthanaJSTCB14,
author = {Phitchaya Mangpo Phothilimthana and
Tikhon Jelvis and
Rohin Shah and
Nishant Totla and
Sarah E. Chasins and
Rastislav Bod{\'{\i}}k},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Chlorophyll: synthesis-aided compiler for low-power spatial architectures},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {396--407},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594339},
doi = {10.1145/2594291.2594339},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PhothilimthanaJSTCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PombrioK14,
author = {Justin Pombrio and
Shriram Krishnamurthi},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Resugaring: lifting evaluation sequences through syntactic sugar},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {361--371},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594319},
doi = {10.1145/2594291.2594319},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PombrioK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RaychevVY14,
author = {Veselin Raychev and
Martin T. Vechev and
Eran Yahav},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Code completion with statistical language models},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {419--428},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594321},
doi = {10.1145/2594291.2594321},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RaychevVY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RickettsRJTL14,
author = {Daniel Ricketts and
Valentin Robert and
Dongseok Jang and
Zachary Tatlock and
Sorin Lerner},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Automating formal proofs for reactive systems},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {452--462},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594338},
doi = {10.1145/2594291.2594338},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/RickettsRJTL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RompfSBLCO14,
author = {Tiark Rompf and
Arvind K. Sujeeth and
Kevin J. Brown and
HyoukJoong Lee and
Hassan Chafi and
Kunle Olukotun},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Surgical precision {JIT} compilers},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {41--52},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594316},
doi = {10.1145/2594291.2594316},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RompfSBLCO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SampsonPMMGC14,
author = {Adrian Sampson and
Pavel Panchekha and
Todd Mytkowicz and
Kathryn S. McKinley and
Dan Grossman and
Luis Ceze},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Expressing and verifying probabilistic assertions},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {112--122},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594294},
doi = {10.1145/2594291.2594294},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SampsonPMMGC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Schkufza0A14,
author = {Eric Schkufza and
Rahul Sharma and
Alex Aiken},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Stochastic optimization of floating-point programs with tunable precision},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {53--64},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594302},
doi = {10.1145/2594291.2594302},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Schkufza0A14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Simon14,
author = {Axel Simon},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Optimal inference of fields in row-polymorphic records},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {100--111},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594313},
doi = {10.1145/2594291.2594313},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Simon14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmaragdakisKB14,
author = {Yannis Smaragdakis and
George Kastrinis and
George Balatsouras},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Introspective analysis: context-sensitivity, across the board},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {485--495},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594320},
doi = {10.1145/2594291.2594320},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SmaragdakisKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SousaDVDG14,
author = {Marcelo Sousa and
Isil Dillig and
Dimitrios Vytiniotis and
Thomas Dillig and
Christos Gkantsidis},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Consolidation of queries with user-defined functions},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {554--564},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594305},
doi = {10.1145/2594291.2594305},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SousaDVDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SridharanGS14,
author = {Srinath Sridharan and
Gagan Gupta and
Gurindar S. Sohi},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Adaptive, efficient, parallel execution of parallel programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {169--180},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594292},
doi = {10.1145/2594291.2594292},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SridharanGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/StockKGPRRS14,
author = {Kevin Stock and
Martin Kong and
Tobias Grosser and
Louis{-}No{\"{e}}l Pouchet and
Fabrice Rastello and
J. Ramanujam and
P. Sadayappan},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {A framework for enhancing data reuse via associative reordering},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {65--76},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594342},
doi = {10.1145/2594291.2594342},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/StockKGPRRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/StorkNSMFMA14,
author = {Sven Stork and
Karl Naden and
Joshua Sunshine and
Manuel Mohr and
Alcides Fonseca and
Paulo Marques and
Jonathan Aldrich},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {{\AE}minium: a permission based concurrent-by-default programming
language approach},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {26},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594344},
doi = {10.1145/2594291.2594344},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/StorkNSMFMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SurendranRCMS14,
author = {Rishi Surendran and
Raghavan Raman and
Swarat Chaudhuri and
John M. Mellor{-}Crummey and
Vivek Sarkar},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Test-driven repair of data races in structured parallel programs},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {15--25},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594335},
doi = {10.1145/2594291.2594335},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SurendranRCMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TavarageriKS14,
author = {Sanket Tavarageri and
Sriram Krishnamoorthy and
P. Sadayappan},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Compiler-assisted detection of transient memory errors},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {204--215},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594298},
doi = {10.1145/2594291.2594298},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TavarageriKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TorlakB14,
author = {Emina Torlak and
Rastislav Bod{\'{\i}}k},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {A lightweight symbolic virtual machine for solver-aided host languages},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {530--541},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594340},
doi = {10.1145/2594291.2594340},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TorlakB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VilkB14,
author = {John Vilk and
Emery D. Berger},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Doppio: breaking the browser language barrier},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {508--518},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594293},
doi = {10.1145/2594291.2594293},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VilkB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XiaoZZZ14,
author = {Xiao Xiao and
Qirun Zhang and
Jinguo Zhou and
Charles Zhang},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Persistent pointer information},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {463--474},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594314},
doi = {10.1145/2594291.2594314},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XiaoZZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YangM14,
author = {Edward Z. Yang and
David Mazi{\`{e}}res},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Dynamic space limits for Haskell},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {588--598},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594341},
doi = {10.1145/2594291.2594341},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YangM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangMGNY14,
author = {Xin Zhang and
Ravi Mangal and
Radu Grigore and
Mayur Naik and
Hongseok Yang},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {On abstraction refinement for program analyses in Datalog},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {239--248},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594327},
doi = {10.1145/2594291.2594327},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangMGNY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangMNY14,
author = {Xin Zhang and
Ravi Mangal and
Mayur Naik and
Hongseok Yang},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Hybrid top-down and bottom-up interprocedural analysis},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {249--258},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594328},
doi = {10.1145/2594291.2594328},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangMNY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014,
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291},
doi = {10.1145/2594291},
isbn = {978-1-4503-2784-8},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-31 05:41 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:
