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/pldi2019.bht:"
download as .bib file
@inproceedings{DBLP:conf/pldi/0001DSD19,
author = {Yuepeng Wang and
James Dong and
Rushi Shah and
Isil Dillig},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Synthesizing database programs for schema refactoring},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {286--300},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314588},
doi = {10.1145/3314221.3314588},
timestamp = {Sun, 09 Jun 2019 18:52:19 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001DSD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0001R19,
author = {Jiasi Shen and
Martin C. Rinard},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Using active learning to synthesize models of applications that access
databases},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {269--285},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314591},
doi = {10.1145/3314221.3314591},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001R19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AbdullaAAK19,
author = {Parosh Aziz Abdulla and
Jatin Arora and
Mohamed Faouzi Atig and
Shankara Narayanan Krishna},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Verification of programs under the release-acquire semantics},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1117--1132},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314649},
doi = {10.1145/3314221.3314649},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AbdullaAAK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndersonPDC19,
author = {Greg Anderson and
Shankara Pailoor and
Isil Dillig and
Swarat Chaudhuri},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Optimization and abstraction: a synergistic approach for analyzing
neural network robustness},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {731--744},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314614},
doi = {10.1145/3314221.3314614},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AndersonPDC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AstorgaMSWX19,
author = {Angello Astorga and
P. Madhusudan and
Shambwaditya Saha and
Shiyu Wang and
Tao Xie},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Learning stateful preconditions modulo a test generator},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {775--787},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314641},
doi = {10.1145/3314221.3314641},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AstorgaMSWX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AugustineSP019,
author = {Travis Augustine and
Janarthanan Sarma and
Louis{-}No{\"{e}}l Pouchet and
Gabriel Rodr{\'{\i}}guez},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Generating piecewise-regular code from irregular structures},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {625--639},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314615},
doi = {10.1145/3314221.3314615},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AugustineSP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CampagnaXMSL19,
author = {Giovanni Campagna and
Silei Xu and
Mehrad Moradshahi and
Richard Socher and
Monica S. Lam},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Genie: a generator of natural language semantic parsers for virtual
assistant commands},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {394--410},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314594},
doi = {10.1145/3314221.3314594},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CampagnaXMSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CauligiSJBWRGBJ19,
author = {Sunjay Cauligi and
Gary Soeller and
Brian Johannesmeyer and
Fraser Brown and
Riad S. Wahby and
John Renner and
Benjamin Gr{\'{e}}goire and
Gilles Barthe and
Ranjit Jhala and
Deian Stefan},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {FaCT: a {DSL} for timing-sensitive computation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {174--189},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314605},
doi = {10.1145/3314221.3314605},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CauligiSJBWRGBJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChajedTKZ19,
author = {Tej Chajed and
Joseph Tassarotti and
M. Frans Kaashoek and
Nickolai Zeldovich},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Argosy: verifying layered storage systems with recovery refinement},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1054--1068},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314585},
doi = {10.1145/3314221.3314585},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChajedTKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChibotaruBRV19,
author = {Victor Chibotaru and
Benjamin Bichsel and
Veselin Raychev and
Martin T. Vechev},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Scalable taint specification inference with big code},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {760--774},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314648},
doi = {10.1145/3314221.3314648},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChibotaruBRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChoiST19,
author = {Jiho Choi and
Thomas Shull and
Josep Torrellas},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Reusable inline caching for JavaScript performance},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {889--901},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314587},
doi = {10.1145/3314221.3314587},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChoiST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChurchillP0A19,
author = {Berkeley R. Churchill and
Oded Padon and
Rahul Sharma and
Alex Aiken},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Semantic program alignment for equivalence checking},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1027--1040},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314596},
doi = {10.1145/3314221.3314596},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChurchillP0A19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CicekQBG019,
author = {Ezgi {\c{C}}i{\c{c}}ek and
Weihao Qu and
Gilles Barthe and
Marco Gaboardi and
Deepak Garg},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Bidirectional type checking for relational properties},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {533--547},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314603},
doi = {10.1145/3314221.3314603},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CicekQBG019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Cusumano-Towner19,
author = {Marco F. Cusumano{-}Towner and
Feras A. Saad and
Alexander K. Lew and
Vikash K. Mansinghka},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Gen: a general-purpose probabilistic programming system with programmable
inference},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {221--236},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314642},
doi = {10.1145/3314221.3314642},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Cusumano-Towner19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Dasgupta0KAR19,
author = {Sandeep Dasgupta and
Daejun Park and
Theodoros Kasampalis and
Vikram S. Adve and
Grigore Rosu},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {A complete formal semantics of x86-64 user-level instruction set architecture},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1133--1148},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314601},
doi = {10.1145/3314221.3314601},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Dasgupta0KAR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DathathriS0LLMM19,
author = {Roshan Dathathri and
Olli Saarikivi and
Hao Chen and
Kim Laine and
Kristin E. Lauter and
Saeed Maleki and
Madanlal Musuvathi and
Todd Mytkowicz},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {{CHET:} an optimizing compiler for fully-homomorphic neural-network
inferencing},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {142--156},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314628},
doi = {10.1145/3314221.3314628},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DathathriS0LLMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DhulipalaBS19,
author = {Laxman Dhulipala and
Guy E. Blelloch and
Julian Shun},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Low-latency graph streaming using compressed purely-functional trees},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {918--934},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314598},
doi = {10.1145/3314221.3314598},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DhulipalaBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EberhardtSRV19,
author = {Jan Eberhardt and
Samuel Steffen and
Veselin Raychev and
Martin T. Vechev},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Unsupervised learning of {API} aliasing specifications},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {745--759},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314640},
doi = {10.1145/3314221.3314640},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EberhardtSRV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanN19,
author = {Azadeh Farzan and
Victor Nicolet},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Modular divide-and-conquer parallelization of nested loops},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {610--624},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314612},
doi = {10.1145/3314221.3314612},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FarzanN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FremontDGYSS19,
author = {Daniel J. Fremont and
Tommaso Dreossi and
Shromona Ghosh and
Xiangyu Yue and
Alberto L. Sangiovanni{-}Vincentelli and
Sanjit A. Seshia},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Scenic: a language for scenario specification and scene generation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {63--78},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314633},
doi = {10.1145/3314221.3314633},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FremontDGYSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FuS19,
author = {Zhoulai Fu and
Zhendong Su},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Effective floating-point analysis via weak-distance minimization},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {439--452},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314632},
doi = {10.1145/3314221.3314632},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FuS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GershuniAGNNRRS19,
author = {Elazar Gershuni and
Nadav Amit and
Arie Gurfinkel and
Nina Narodytska and
Jorge A. Navas and
Noam Rinetzky and
Leonid Ryzhyk and
Mooly Sagiv},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Simple and precise static analysis of untrusted Linux kernel extensions},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1069--1084},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314590},
doi = {10.1145/3314221.3314590},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GershuniAGNNRRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GopinathGSS19,
author = {Sridhar Gopinath and
Nikhil Ghanathe and
Vivek Seshadri and
Rahul Sharma},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Compiling KB-sized machine learning models to tiny IoT devices},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {79--95},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314597},
doi = {10.1145/3314221.3314597},
timestamp = {Fri, 13 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/GopinathGSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuanSL19,
author = {Hui Guan and
Xipeng Shen and
Seung{-}Hwan Lim},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Wootz: a compiler-based framework for fast {CNN} pruning via composability},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {717--730},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314652},
doi = {10.1145/3314221.3314652},
timestamp = {Fri, 01 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/GuanSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GysiGBH19,
author = {Tobias Gysi and
Tobias Grosser and
Laurin Brandner and
Torsten Hoefler},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {A fast analytical model of fully associative caches},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {816--829},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314606},
doi = {10.1145/3314221.3314606},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GysiGBH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HallahanXBJP19,
author = {William T. Hallahan and
Anton Xue and
Maxwell Troy Bland and
Ranjit Jhala and
Ruzica Piskac},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Lazy counterfactual symbolic execution},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {411--424},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314618},
doi = {10.1145/3314221.3314618},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HallahanXBJP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeoRSN19,
author = {Kihong Heo and
Mukund Raghothaman and
Xujie Si and
Mayur Naik},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Continuously reasoning about programs using differential Bayesian
inference},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {561--575},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314616},
doi = {10.1145/3314221.3314616},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HeoRSN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/IyerJPRR19,
author = {Arun Shankar Iyer and
Manohar Jonnalagedda and
Suresh Parthasarathy and
Arjun Radhakrishna and
Sriram K. Rajamani},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Synthesis and machine learning for heterogeneous extraction},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {301--315},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3322485},
doi = {10.1145/3314221.3322485},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/IyerJPRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JiangLXZF19,
author = {Hanru Jiang and
Hongjin Liang and
Siyang Xiao and
Junpeng Zha and
Xinyu Feng},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Towards certified separate compilation for concurrent programs},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {111--125},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314595},
doi = {10.1145/3314221.3314595},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JiangLXZF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KapusIIRC19,
author = {Timotej Kapus and
Oren Ish{-}Shalom and
Shachar Itzhaky and
Noam Rinetzky and
Cristian Cadar},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Computing summaries of string loops in {C} for better testing and
refactoring},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {874--888},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314610},
doi = {10.1145/3314221.3314610},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KapusIIRC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KazerounianGVFH19,
author = {Milod Kazerounian and
Sankha Narayan Guria and
Niki Vazou and
Jeffrey S. Foster and
David Van Horn},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Type-level computations for Ruby libraries},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {966--979},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314630},
doi = {10.1145/3314221.3314630},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KazerounianGVFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KhanZPMK19,
author = {Tanvir Ahmed Khan and
Yifan Zhao and
Gilles Pokam and
Barzan Mozafari and
Baris Kasikci},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Huron: hybrid false sharing detection and repair},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {453--468},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314644},
doi = {10.1145/3314221.3314644},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KhanZPMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KnothWP019,
author = {Tristan Knoth and
Di Wang and
Nadia Polikarpova and
Jan Hoffmann},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Resource-guided program synthesis},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {253--268},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314602},
doi = {10.1145/3314221.3314602},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KnothWP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Kokologiannakis19,
author = {Michalis Kokologiannakis and
Azalea Raad and
Viktor Vafeiadis},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Model checking for weakly consistent libraries},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {96--110},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314609},
doi = {10.1145/3314221.3314609},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Kokologiannakis19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KongP19,
author = {Martin Kong and
Louis{-}No{\"{e}}l Pouchet},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Model-driven transformations for multi- and many-core CPUs},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {469--484},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314653},
doi = {10.1145/3314221.3314653},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KongP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaswamiY19,
author = {Neelakantan R. Krishnaswami and
Jeremy Yallop},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {A typed, algebraic approach to parsing},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {379--393},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314625},
doi = {10.1145/3314221.3314625},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KrishnaswamiY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuhlenschmidtAS19,
author = {Andre Kuhlenschmidt and
Deyaaeldeen Almahallawi and
Jeremy G. Siek},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Toward efficient gradual typing for structural types via coercions},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {517--532},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314627},
doi = {10.1145/3314221.3314627},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KuhlenschmidtAS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LahavM19,
author = {Ori Lahav and
Roy Margalit},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Robustness against release/acquire semantics},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {126--141},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314604},
doi = {10.1145/3314221.3314604},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LahavM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeZN19,
author = {Ton Chanh Le and
Guolong Zheng and
ThanhVu Nguyen},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {{SLING:} using dynamic analysis to infer program invariants in separation
logic},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {788--801},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314634},
doi = {10.1145/3314221.3314634},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeZN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeLLMZ19,
author = {Wen{-}Chuan Lee and
Peng Liu and
Yingqi Liu and
Shiqing Ma and
Xiangyu Zhang},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Programming support for autonomizing software},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {702--716},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314593},
doi = {10.1145/3314221.3314593},
timestamp = {Wed, 22 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LeeLLMZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiLCGL19,
author = {Guangpu Li and
Haopeng Liu and
Xianglan Chen and
Haryadi S. Gunawi and
Shan Lu},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {DFix: automatically fixing timing bugs in distributed systems},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {994--1009},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314620},
doi = {10.1145/3314221.3314620},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LiLCGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiaoHM19,
author = {Kevin Liao and
Matthew A. Hammer and
Andrew Miller},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {{ILC:} a calculus for composable, computational cryptography},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {640--654},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314607},
doi = {10.1145/3314221.3314607},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiaoHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LidburyD19,
author = {Christopher Lidbury and
Alastair F. Donaldson},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Sparse record and replay with controlled scheduling},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {576--593},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314635},
doi = {10.1145/3314221.3314635},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LidburyD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiuMM19,
author = {Lun Liu and
Todd D. Millstein and
Madanlal Musuvathi},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Accelerating sequential consistency for Java with speculative compilation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {16--30},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314611},
doi = {10.1145/3314221.3314611},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiuMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LoowKTMNAF19,
author = {Andreas L{\"{o}}{\"{o}}w and
Ramana Kumar and
Yong Kiam Tan and
Magnus O. Myreen and
Michael Norrish and
Oskar Abrahamsson and
Anthony C. J. Fox},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Verified compilation on a verified processor},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1041--1053},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314622},
doi = {10.1145/3314221.3314622},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LoowKTMNAF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LoringMK19,
author = {Blake Loring and
Duncan Mitchell and
Johannes Kinder},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Sound regular expression semantics for dynamic symbolic execution
of JavaScript},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {425--438},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314645},
doi = {10.1145/3314221.3314645},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LoringMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MaengL19,
author = {Kiwan Maeng and
Brandon Lucia},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Supporting peripherals in intermittent systems with just-in-time checkpoints},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1101--1116},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314613},
doi = {10.1145/3314221.3314613},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MaengL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MamourasSAIT19,
author = {Konstantinos Mamouras and
Caleb Stanford and
Rajeev Alur and
Zachary G. Ives and
Val Tannen},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Data-trace types for distributed stream processing systems},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {670--685},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314580},
doi = {10.1145/3314221.3314580},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MamourasSAIT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MathisGMKHZ19,
author = {Bj{\"{o}}rn Mathis and
Rahul Gopinath and
Micha{\"{e}}l Mera and
Alexander Kampmann and
Matthias H{\"{o}}schele and
Andreas Zeller},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Parser-directed fuzzing},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {548--560},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314651},
doi = {10.1145/3314221.3314651},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MathisGMKHZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MercadierD19,
author = {Darius Mercadier and
Pierre{-}{\'{E}}variste Dagand},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Usuba: high-throughput and constant-time ciphers, by construction},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {157--173},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314636},
doi = {10.1145/3314221.3314636},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MercadierD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MohammadiYCDHDN19,
author = {Mahdi Soltan Mohammadi and
Tomofumi Yuki and
Kazem Cheshmi and
Eddie C. Davis and
Mary W. Hall and
Maryam Mehri Dehnavi and
Payal Nandy and
Catherine Olschanowsky and
Anand Venkat and
Michelle Mills Strout},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Sparse computation data dependence simplification for efficient compiler-generated
inspectors},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {594--609},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314646},
doi = {10.1145/3314221.3314646},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/MohammadiYCDHDN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NguyenGTH19,
author = {Phuc C. Nguyen and
Thomas Gilray and
Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Size-change termination as a contract: dynamically and statically
enforcing termination for higher-order programs},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {845--859},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314643},
doi = {10.1145/3314221.3314643},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/NguyenGTH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerryKSZ19,
author = {David Mitchel Perry and
Dohyeong Kim and
Roopsha Samanta and
Xiangyu Zhang},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {SemCluster: clustering of imperative programming assignments based
on quantitative semantic features},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {860--873},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314629},
doi = {10.1145/3314221.3314629},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PerryKSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PowersTB019,
author = {Bobby Powers and
David Tench and
Emery D. Berger and
Andrew McGregor},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Mesh: compacting memory management for {C/C++} applications},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {333--346},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314582},
doi = {10.1145/3314221.3314582},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PowersTB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ProkopecRLD0SBZ19,
author = {Aleksandar Prokopec and
Andrea Ros{\`{a}} and
David Leopoldseder and
Gilles Duboscq and
Petr Tuma and
Martin Studener and
Lubom{\'{\i}}r Bulej and
Yudi Zheng and
Alex Villaz{\'{o}}n and
Doug Simon and
Thomas W{\"{u}}rthinger and
Walter Binder},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Renaissance: benchmarking suite for parallel applications on the {JVM}},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {31--47},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314637},
doi = {10.1145/3314221.3314637},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ProkopecRLD0SBZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PultePKLH19,
author = {Christopher Pulte and
Jean Pichon{-}Pharabod and
Jeehoon Kang and
Sung{-}Hwan Lee and
Chung{-}Kil Hur},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Promising-ARM/RISC-V: a simpler and faster operational concurrency
model},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1--15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314624},
doi = {10.1145/3314221.3314624},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PultePKLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RoweFTO19,
author = {Reuben N. S. Rowe and
Hugo F{\'{e}}r{\'{e}}e and
Simon J. Thompson and
Scott Owens},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Characterising renaming within OCaml's module system: theory and implementation},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {950--965},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314600},
doi = {10.1145/3314221.3314600},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/RoweFTO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RuppelL19,
author = {Emily Ruppel and
Brandon Lucia},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Transactional concurrency control for intermittent, energy-harvesting
computing systems},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1085--1100},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314583},
doi = {10.1145/3314221.3314583},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RuppelL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SakkaSN019,
author = {Laith Sakka and
Kirshanthan Sundararajah and
Ryan R. Newton and
Milind Kulkarni},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Sound, fine-grained traversal fusion for heterogeneous trees},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {830--844},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314626},
doi = {10.1145/3314221.3314626},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SakkaSN019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ScalasYB19,
author = {Alceste Scalas and
Nobuko Yoshida and
Elias Benussi},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Verifying message-passing programs with dependent behavioural types},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {502--516},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3322484},
doi = {10.1145/3314221.3322484},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ScalasYB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShullHT19,
author = {Thomas Shull and
Jian Huang and
Josep Torrellas},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {AutoPersist: an easy-to-use Java {NVM} framework based on reachability},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {316--332},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314608},
doi = {10.1145/3314221.3314608},
timestamp = {Sat, 22 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShullHT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmolkaKKFHK019,
author = {Steffen Smolka and
Praveen Kumar and
David M. Kahn and
Nate Foster and
Justin Hsu and
Dexter Kozen and
Alexandra Silva},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Scalable verification of probabilistic networks},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {190--203},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314639},
doi = {10.1145/3314221.3314639},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SmolkaKKFHK019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Sundararajah019,
author = {Kirshanthan Sundararajah and
Milind Kulkarni},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Composable, sound transformations of nested recursion and loops},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {902--917},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314592},
doi = {10.1145/3314221.3314592},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Sundararajah019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TangKKA19,
author = {Xulong Tang and
Mahmut Taylan Kandemir and
Mustafa Karak{\"{o}}y and
Meenakshi Arunachalam},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Co-optimizing memory-level parallelism and cache-level parallelism},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {935--949},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314599},
doi = {10.1145/3314221.3314599},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TangKKA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TonderG19,
author = {Rijnard van Tonder and
Claire {Le Goues}},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Lightweight multi-language syntax transformation with parser parser
combinators},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {363--378},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314589},
doi = {10.1145/3314221.3314589},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TonderG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VasilakisKPSDS19,
author = {Nikos Vasilakis and
Ben Karel and
Yash Palkhiwala and
John Sonchack and
Andr{\'{e}} DeHon and
Jonathan M. Smith},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Ignis: scaling distribution-oblivious systems with light-touch distribution},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1010--1026},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314586},
doi = {10.1145/3314221.3314586},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VasilakisKPSDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VollmerKRS0N19,
author = {Michael Vollmer and
Chaitanya Koparkar and
Mike Rainey and
Laith Sakka and
Milind Kulkarni and
Ryan R. Newton},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {LoCal: a language for programs operating on serialized data},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {48--62},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314631},
doi = {10.1145/3314221.3314631},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/VollmerKRS0N19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Wang0GCQS19,
author = {Peixin Wang and
Hongfei Fu and
Amir Kafshdar Goharshady and
Krishnendu Chatterjee and
Xudong Qin and
Wenjun Shi},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Cost analysis of nondeterministic probabilistic programs},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {204--220},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314581},
doi = {10.1145/3314221.3314581},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Wang0GCQS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangCCZVML0X19,
author = {Chenxi Wang and
Huimin Cui and
Ting Cao and
John N. Zigman and
Haris Volos and
Onur Mutlu and
Fang Lv and
Xiaobing Feng and
Guoqing Harry Xu},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Panthera: holistic memory management for big data processing over
hybrid memories},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {347--362},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314650},
doi = {10.1145/3314221.3314650},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WangCCZVML0X19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangDWKZ19,
author = {Yuxin Wang and
Zeyu Ding and
Guanhong Wang and
Daniel Kifer and
Danfeng Zhang},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Proving differential privacy with shadow execution},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {655--669},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314619},
doi = {10.1145/3314221.3314619},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WangDWKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangEMP19,
author = {Chao Wang and
Constantin Enea and
Suha Orhun Mutluergil and
Gustavo Petri},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Replication-aware linearizability},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {980--993},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314617},
doi = {10.1145/3314221.3314617},
timestamp = {Fri, 30 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WangEMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Wu019,
author = {Meng Wu and
Chao Wang},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Abstract interpretation under speculative execution},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {802--815},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314647},
doi = {10.1145/3314221.3314647},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Wu019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YogaN19,
author = {Adarsh Yoga and
Santosh Nagarakatte},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Parallelism-centric what-if and differential analyses},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {485--501},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314621},
doi = {10.1145/3314221.3314621},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YogaN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangX19,
author = {Jieyuan Zhang and
Jingling Xue},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Incremental precision-preserving symbolic inference for probabilistic
programs},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {237--252},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314623},
doi = {10.1145/3314221.3314623},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhouYY19,
author = {Li Zhou and
Nengkun Yu and
Mingsheng Ying},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {An applied quantum Hoare logic},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1149--1162},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314584},
doi = {10.1145/3314221.3314584},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhouYY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuXMJ19,
author = {He Zhu and
Zikang Xiong and
Stephen Magill and
Suresh Jagannathan},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {An inductive synthesis framework for verifiable reinforcement learning},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {686--701},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314638},
doi = {10.1145/3314221.3314638},
timestamp = {Mon, 21 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuXMJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2019,
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221},
doi = {10.1145/3314221},
isbn = {978-1-4503-6712-7},
timestamp = {Sun, 09 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2019.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-10 18:42 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:
