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/pldi2020.bht:"
download as .bib file
@inproceedings{DBLP:conf/pldi/0002H20,
author = {Fabian Ritter and
Sebastian Hack},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {PMEvo: portable inference of port mappings for out-of-order processors
by evolutionary optimization},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {608--622},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385995},
doi = {10.1145/3385412.3385995},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/0002H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0022S20,
author = {Ke Wang and
Zhendong Su},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Blended, precise semantic program embeddings},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {121--134},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385999},
doi = {10.1145/3385412.3385999},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/0022S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0024WVWVK20,
author = {Muhammad Usman and
Wenxi Wang and
Marko Vasic and
Kaiyuan Wang and
Haris Vikalo and
Sarfraz Khurshid},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {A study of the learnability of relational properties: model counting
meets machine learning {(MCML)}},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1098--1111},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386015},
doi = {10.1145/3385412.3386015},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0024WVWVK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AbdullaACDDJLHW20,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Bui Phi Diep and
Julian Dolby and
Petr Janku and
Hsin{-}Hung Lin and
Luk{\'{a}}s Hol{\'{\i}}k and
Wei{-}Cheng Wu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Efficient handling of string-number conversion},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {943--957},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386034},
doi = {10.1145/3385412.3386034},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/AbdullaACDDJLHW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AllamanisBDG20,
author = {Miltiadis Allamanis and
Earl T. Barr and
Soline Ducousso and
Zheng Gao},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Typilus: neural type hints},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {91--105},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385997},
doi = {10.1145/3385412.3385997},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AllamanisBDG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AntoniadisFKRAS20,
author = {Anastasios Antoniadis and
Nikos Filippakis and
Paddy Krishnan and
Raghavendra Ramesh and
Nicholas Allen and
Yannis Smaragdakis},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Static analysis of Java enterprise applications: frameworks and caches,
the elephants in the room},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {794--807},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386026},
doi = {10.1145/3385412.3386026},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AntoniadisFKRAS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ApostolakisXTCC20,
author = {Sotiris Apostolakis and
Ziyang Xu and
Zujun Tan and
Greg Chan and
Simone Campanoni and
David I. August},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{SCAF:} a speculation-aware collaborative dependence analysis framework},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {638--654},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386028},
doi = {10.1145/3385412.3386028},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ApostolakisXTCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BaudartMASPC20,
author = {Guillaume Baudart and
Louis Mandel and
Eric Atkinson and
Benjamin Sherman and
Marc Pouzet and
Michael Carbin},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Reactive probabilistic programming},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {898--912},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386009},
doi = {10.1145/3385412.3386009},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BaudartMASPC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BeillahiCEE20,
author = {Sidi Mohamed Beillahi and
Gabriela F. Ciocarlie and
Michael Emmi and
Constantin Enea},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Behavioral simulation for smart contracts},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {470--486},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386022},
doi = {10.1145/3385412.3386022},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BeillahiCEE20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BerryS20,
author = {G{\'{e}}rard Berry and
Manuel Serrano},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {HipHop.js: (A)Synchronous reactive web programming},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {533--545},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385984},
doi = {10.1145/3385412.3385984},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BerryS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BichselBGV20,
author = {Benjamin Bichsel and
Maximilian Baader and
Timon Gehr and
Martin T. Vechev},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Silq: a high-level quantum language with safe uncomputation and intuitive
semantics},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {286--300},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386007},
doi = {10.1145/3385412.3386007},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BichselBGV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Boehm20,
author = {Hans{-}Juergen Boehm},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Towards an {API} for the real numbers},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {562--576},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386037},
doi = {10.1145/3385412.3386037},
timestamp = {Fri, 15 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Boehm20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BourgeatPCA20,
author = {Thomas Bourgeat and
Cl{\'{e}}ment Pit{-}Claudel and
Adam Chlipala and
Arvind},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {The essence of Bluespec: a core language for rule-based hardware design},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {243--257},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385965},
doi = {10.1145/3385412.3385965},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BourgeatPCA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BreckCKR20,
author = {Jason Breck and
John Cyphert and
Zachary Kincaid and
Thomas W. Reps},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Templates and recurrences: better together},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {688--702},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386035},
doi = {10.1145/3385412.3386035},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/BreckCKR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BrentGLSS20,
author = {Lexi Brent and
Neville Grech and
Sifis Lagouvardos and
Bernhard Scholz and
Yannis Smaragdakis},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Ethainter: a smart contract security analyzer for composite vulnerabilities},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {454--469},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385990},
doi = {10.1145/3385412.3385990},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/BrentGLSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BrownRNLSS20,
author = {Fraser Brown and
John Renner and
Andres N{\"{o}}tzli and
Sorin Lerner and
Hovav Shacham and
Deian Stefan},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Towards a verified range analysis for JavaScript JITs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {135--150},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385968},
doi = {10.1145/3385412.3385968},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BrownRNLSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CauligiDGTSRB20,
author = {Sunjay Cauligi and
Craig Disselkoen and
Klaus von Gleissenthall and
Dean M. Tullsen and
Deian Stefan and
Tamara Rezk and
Gilles Barthe},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Constant-time foundations for the new spectre era},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {913--926},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385970},
doi = {10.1145/3385412.3385970},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CauligiDGTSRB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Chatterjee0GG20,
author = {Krishnendu Chatterjee and
Hongfei Fu and
Amir Kafshdar Goharshady and
Ehsan Kafshdar Goharshady},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Polynomial invariant generation for non-deterministic recursive programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {672--687},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385969},
doi = {10.1145/3385412.3385969},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Chatterjee0GG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Chen0YDD20,
author = {Qiaochu Chen and
Xinyu Wang and
Xi Ye and
Greg Durrett and
Isil Dillig},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Multi-modal synthesis of regular expressions},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {487--502},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385988},
doi = {10.1145/3385412.3385988},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Chen0YDD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenH20,
author = {Jianhui Chen and
Fei He},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Proving almost-sure termination by omega-regular decomposition},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {869--882},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386002},
doi = {10.1145/3385412.3386002},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChenH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChouKA20,
author = {Stephen Chou and
Fredrik Kjolstad and
Saman P. Amarasinghe},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Automatic generation of efficient sparse tensor format conversion
routines},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {823--838},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385963},
doi = {10.1145/3385412.3385963},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChouKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChowdharyLN20,
author = {Sangeeta Chowdhary and
Jay P. Lim and
Santosh Nagarakatte},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Debugging and detecting numerical errors in computation with posits},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {731--746},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386004},
doi = {10.1145/3385412.3386004},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ChowdharyLN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DasguptaDVAF20,
author = {Sandeep Dasgupta and
Sushant Dinesh and
Deepan Venkatesh and
Vikram S. Adve and
Christopher W. Fletcher},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Scalable validation of binary lifters},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {655--671},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385964},
doi = {10.1145/3385412.3385964},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DasguptaDVAF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DathathriKSDLM20,
author = {Roshan Dathathri and
Blagovesta Kostova and
Olli Saarikivi and
Wei Dai and
Kim Laine and
Madan Musuvathi},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{EVA:} an encrypted vector arithmetic language and compiler for efficient
homomorphic computation},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {546--561},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386023},
doi = {10.1145/3385412.3386023},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DathathriKSDLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DrewsAD20,
author = {Samuel Drews and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Proving data-poisoning robustness in decision trees},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1083--1097},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385975},
doi = {10.1145/3385412.3385975},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DrewsAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DuckGR20,
author = {Gregory J. Duck and
Xiang Gao and
Abhik Roychoudhury},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Binary rewriting without control flow recovery},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {151--163},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385972},
doi = {10.1145/3385412.3385972},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DuckGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DurstFHADBPFH20,
author = {David Durst and
Matthew Feldman and
Dillon Huff and
David Akeley and
Ross G. Daly and
Gilbert Louis Bernstein and
Marco Patrignani and
Kayvon Fatahalian and
Pat Hanrahan},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Type-directed scheduling of streaming accelerators},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {408--422},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385983},
doi = {10.1145/3385412.3385983},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DurstFHADBPFH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EdelmannHK20,
author = {Romain Edelmann and
Jad Hamza and
Viktor Kuncak},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Zippy {LL(1)} parsing with derivatives},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1036--1051},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385992},
doi = {10.1145/3385412.3385992},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EdelmannHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EmrichLSCC20,
author = {Frank Emrich and
Sam Lindley and
Jan Stolarek and
James Cheney and
Jonathan Coates},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {FreezeML: complete and easy type inference for first-class polymorphism},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {423--437},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386003},
doi = {10.1145/3385412.3386003},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/EmrichLSCC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarvardinR20,
author = {Kavon Farvardin and
John H. Reppy},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {From folklore to fact: comparing implementations of stacks and continuations},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {75--90},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385994},
doi = {10.1145/3385412.3385994},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FarvardinR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlattD20,
author = {Matthew Flatt and
R. Kent Dybvig},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Compiler and runtime support for continuation marks},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {45--58},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385981},
doi = {10.1145/3385412.3385981},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlattD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FriedmanBWBP20,
author = {Michal Friedman and
Naama Ben{-}David and
Yuanhao Wei and
Guy E. Blelloch and
Erez Petrank},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {NVTraverse: in {NVRAM} data structures, the destination is more important
than the journey},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {377--392},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386031},
doi = {10.1145/3385412.3386031},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FriedmanBWBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GehrSV20,
author = {Timon Gehr and
Samuel Steffen and
Martin T. Vechev},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{\(\lambda\)}PSI: exact inference for higher-order probabilistic programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {883--897},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386006},
doi = {10.1145/3385412.3386006},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GehrSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GencBX20,
author = {Kaan Gen{\c{c}} and
Michael D. Bond and
Guoqing Harry Xu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Crafty: efficient, HTM-compatible persistent transactions},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {59--74},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385991},
doi = {10.1145/3385412.3385991},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GencBX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GiannarakisLBW20,
author = {Nick Giannarakis and
Devon Loehr and
Ryan Beckett and
David Walker},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{NV:} an intermediate language for verification of network control
planes},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {958--973},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386019},
doi = {10.1145/3385412.3386019},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GiannarakisLBW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeSPV20,
author = {Jingxuan He and
Gagandeep Singh and
Markus P{\"{u}}schel and
Martin T. Vechev},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Learning fast and precise numerical analysis},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1112--1127},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386016},
doi = {10.1145/3385412.3386016},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HeSPV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Herman20,
author = {Grzegorz Herman},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Faster general parsing through context-free memoization},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1022--1035},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386032},
doi = {10.1145/3385412.3386032},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Herman20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HuCDR20,
author = {Qinheping Hu and
John Cyphert and
Loris D'Antoni and
Thomas W. Reps},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Exact and approximate methods for proving unrealizability of syntax-guided
synthesis problems},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1128--1142},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385979},
doi = {10.1145/3385412.3385979},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HuCDR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HuangQSW20,
author = {Kangjing Huang and
Xiaokang Qiu and
Peiyuan Shen and
Yanjun Wang},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Reconciling enumerative and deductive program synthesis},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1159--1174},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386027},
doi = {10.1145/3385412.3386027},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HuangQSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JiLXZH20,
author = {Ruyi Ji and
Jingjing Liang and
Yingfei Xiong and
Lu Zhang and
Zhenjiang Hu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Question selection for interactive program synthesis},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1143--1158},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386025},
doi = {10.1145/3385412.3386025},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JiLXZH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KangJ20,
author = {Jeehoon Kang and
Jaehwang Jung},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {A marriage of pointer- and epoch-based reclamation},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {314--328},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385978},
doi = {10.1145/3385412.3385978},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KangJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KimZLALJ20,
author = {Hongjune Kim and
Jianping Zeng and
Qingrui Liu and
Mohammad Abdel{-}Majeed and
Jaejin Lee and
Changhee Jung},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Compiler-directed soft error resilience for lightweight {GPU} register
file protection},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {989--1004},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386033},
doi = {10.1145/3385412.3386033},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KimZLALJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KoenigPIA20,
author = {Jason R. Koenig and
Oded Padon and
Neil Immerman and
Alex Aiken},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {First-order quantified separators},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {703--717},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386018},
doi = {10.1145/3385412.3386018},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KoenigPIA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KraglEHMQ20,
author = {Bernhard Kragl and
Constantin Enea and
Thomas A. Henzinger and
Suha Orhun Mutluergil and
Shaz Qadeer},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Inductive sequentialization of asynchronous programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {227--242},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385980},
doi = {10.1145/3385412.3385980},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KraglEHMQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnaPSW20,
author = {Siddharth Krishna and
Nisarg Patel and
Dennis E. Shasha and
Thomas Wies},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Verifying concurrent search structure templates},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {181--196},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386029},
doi = {10.1145/3385412.3386029},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KrishnaPSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LahavB20,
author = {Ori Lahav and
Udi Boker},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Decidable verification under a causally consistent shared memory},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {211--226},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385966},
doi = {10.1145/3385412.3385966},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LahavB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeCPCHLV20,
author = {Sung{-}Hwan Lee and
Minki Cho and
Anton Podkopaev and
Soham Chakraborty and
Chung{-}Kil Hur and
Ori Lahav and
Viktor Vafeiadis},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Promising 2.0: global optimizations in relaxed memory concurrency},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {362--376},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386010},
doi = {10.1145/3385412.3386010},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeCPCHLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeLOY20,
author = {DongKwon Lee and
Woosuk Lee and
Hakjoo Oh and
Kwangkeun Yi},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Optimizing homomorphic evaluation circuits by program synthesis and
term rewriting},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {503--518},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385996},
doi = {10.1145/3385412.3385996},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeLOY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiCL20,
author = {Ao Li and
Jemin Andrew Choi and
Fan Long},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Securing smart contract with runtime validation},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {438--453},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385982},
doi = {10.1145/3385412.3385982},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LiCL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiDZI20,
author = {Yuanbo Li and
Shuo Ding and
Qirun Zhang and
Davide Italiano},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Debug information validation for optimized code},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1052--1065},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386020},
doi = {10.1145/3385412.3386020},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LiDZI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiZR20,
author = {Yuanbo Li and
Qirun Zhang and
Thomas W. Reps},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Fast graph simplification for interleaved Dyck-reachability},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {780--793},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386021},
doi = {10.1145/3385412.3386021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LiZR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LorchCKPQSWZ20,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Armada: low-effort verification of high-performance concurrent programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {197--210},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385971},
doi = {10.1145/3385412.3385971},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LorchCKPQSWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MaengL20,
author = {Kiwan Maeng and
Brandon Lucia},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Adaptive low-overhead scheduling for periodic and reactive intermittent
execution},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1005--1021},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385998},
doi = {10.1145/3385412.3385998},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MaengL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MiltnerPMW20,
author = {Anders Miltner and
Saswat Padhi and
Todd D. Millstein and
David Walker},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Data-driven inference of representation invariants},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1--15},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385967},
doi = {10.1145/3385412.3385967},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MiltnerPMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MullerSGAAL20,
author = {Stefan K. Muller and
Kyle Singer and
Noah Goldstein and
Umut A. Acar and
Kunal Agrawal and
I{-}Ting Angelina Lee},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Responsive parallelism with futures and state},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {577--591},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386013},
doi = {10.1145/3385412.3386013},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MullerSGAAL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NandiWAWDGT20,
author = {Chandrakana Nandi and
Max Willsey and
Adam Anderson and
James R. Wilcox and
Eva Darulova and
Dan Grossman and
Zachary Tatlock},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Synthesizing structured {CAD} models with equality saturation and
inverse transformations},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {31--44},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386012},
doi = {10.1145/3385412.3386012},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/NandiWAWDGT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NigamATLBYKSZ20,
author = {Rachit Nigam and
Sachille Atapattu and
Samuel Thomas and
Zhijing Li and
Theodore Bauer and
Yuwei Ye and
Apurva Koti and
Adrian Sampson and
Zhiru Zhang},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Predictable accelerator design with time-sensitive affine types},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {393--407},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385974},
doi = {10.1145/3385412.3385974},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NigamATLBYKSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OlivryLPSR20,
author = {Auguste Olivry and
Julien Langou and
Louis{-}No{\"{e}}l Pouchet and
P. Sadayappan and
Fabrice Rastello},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Automated derivation of parametric data movement lower bounds for
affine programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {808--822},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385989},
doi = {10.1145/3385412.3385989},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/OlivryLPSR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PhuliaBB20,
author = {Ankush Phulia and
Vaibhav Bhagee and
Sorav Bansal},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {OOElala: order-of-evaluation based alias analysis for compiler optimization},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {839--853},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385962},
doi = {10.1145/3385412.3385962},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PhuliaBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PorterMBP20,
author = {Chris Porter and
Girish Mururu and
Prithayan Barua and
Santosh Pande},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {BlankIt library debloating: getting what you want instead of cutting
what you don't},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {164--180},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386017},
doi = {10.1145/3385412.3386017},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PorterMBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PremtoonKS20,
author = {Varot Premtoon and
James Koppel and
Armando Solar{-}Lezama},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Semantic code search via equational reasoning},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1066--1082},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386001},
doi = {10.1145/3385412.3386001},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PremtoonKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/QinCYSZ20,
author = {Boqin Qin and
Yilun Chen and
Zeming Yu and
Linhai Song and
Yiying Zhang},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Understanding memory and thread safety practices and issues in real-world
Rust programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {763--779},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386036},
doi = {10.1145/3385412.3386036},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/QinCYSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RochaP0CL20,
author = {Rodrigo C. O. Rocha and
Pavlos Petoumenos and
Zheng Wang and
Murray Cole and
Hugh Leather},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Effective function merging in the {SSA} form},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {854--868},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386030},
doi = {10.1145/3385412.3386030},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RochaP0CL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RoemerGB20,
author = {Jake Roemer and
Kaan Gen{\c{c}} and
Michael D. Bond},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {SmartTrack: efficient predictive race detection},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {747--762},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385993},
doi = {10.1145/3385412.3385993},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RoemerGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SakkasECWJ20,
author = {Georgios Sakkas and
Madeline Endres and
Benjamin Cosman and
Westley Weimer and
Ranjit Jhala},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Type error feedback via analytic program repair},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {16--30},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386005},
doi = {10.1145/3385412.3386005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SakkasECWJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SantosMAG20,
author = {Jos{\'{e}} Fragoso Santos and
Petar Maksimovic and
Sacha{-}{\'{E}}lie Ayoun and
Philippa Gardner},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Gillian, part i: a multi-language platform for symbolic execution},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {927--942},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386014},
doi = {10.1145/3385412.3386014},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SantosMAG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SchuikiKGB20,
author = {Fabian Schuiki and
Andreas Kurth and
Tobias Grosser and
Luca Benini},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{LLHD:} a multi-level intermediate representation for hardware description
languages},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {258--271},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386024},
doi = {10.1145/3385412.3386024},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SchuikiKGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SubramanianADA20,
author = {Kausik Subramanian and
Anubhavnidhi Abhashkumar and
Loris D'Antoni and
Aditya Akella},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Detecting network load violations for distributed control planes},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {974--988},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385976},
doi = {10.1145/3385412.3385976},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SubramanianADA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SuchyCHD20,
author = {Brian Suchy and
Simone Campanoni and
Nikos Hardavellas and
Peter A. Dinda},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {{CARAT:} a case for virtual memory through compiler- and runtime-based
address translation},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {329--345},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385987},
doi = {10.1145/3385412.3385987},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SuchyCHD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VilaGGK20,
author = {Pepe Vila and
Pierre Ganty and
Marco Guarnieri and
Boris K{\"{o}}pf},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {CacheQuery: learning replacement policies from hardware caches},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {519--532},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386008},
doi = {10.1145/3385412.3386008},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VilaGGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WattPPBDFPG20,
author = {Conrad Watt and
Christopher Pulte and
Anton Podkopaev and
Guillaume Barbier and
Stephen Dolan and
Shaked Flur and
Jean Pichon{-}Pharabod and
Shu{-}yu Guo},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Repairing and mechanising the JavaScript relaxed memory model},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {346--361},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385973},
doi = {10.1145/3385412.3385973},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WattPPBDFPG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WintererZS20,
author = {Dominik Winterer and
Chengyu Zhang and
Zhendong Su},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Validating {SMT} solvers via semantic fusion},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {718--730},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385985},
doi = {10.1145/3385412.3385985},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WintererZS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WuLNZL20,
author = {Zhenwei Wu and
Kai Lu and
Andrew Nisbet and
Wenzhe Zhang and
Mikel Luj{\'{a}}n},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {PMThreads: persistent memory threads harnessing versioned shadow copies},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {623--637},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386000},
doi = {10.1145/3385412.3386000},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WuLNZL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YangOW20,
author = {Albert Mingkun Yang and
Erik {\"{O}}sterlund and
Tobias Wrigstad},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Improving program locality in the {GC} using hotness},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {301--313},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385977},
doi = {10.1145/3385412.3385977},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YangOW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YaoRWJG20,
author = {Jianan Yao and
Gabriel Ryan and
Justin Wong and
Suman Jana and
Ronghui Gu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Learning nonlinear loop invariants with gated continuous logic networks},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {106--120},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385986},
doi = {10.1145/3385412.3385986},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/YaoRWJG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuHCW20,
author = {Shaopeng Zhu and
Shih{-}Han Hung and
Shouvanik Chakrabarti and
Xiaodi Wu},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {On the principles of differentiable quantum programming languages},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {272--285},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3386011},
doi = {10.1145/3385412.3386011},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ZhuHCW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuoCLWYQQ20,
author = {Youwei Zhuo and
Jingji Chen and
Qinyi Luo and
Yanzhi Wang and
Hailong Yang and
Depei Qian and
Xuehai Qian},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {SympleGraph: distributed graph processing with precise loop-carried
dependency guarantee},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {592--607},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385961},
doi = {10.1145/3385412.3385961},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhuoCLWYQQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2020,
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412},
doi = {10.1145/3385412},
isbn = {978-1-4503-7613-6},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2020.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-04-25 23:11 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:
