Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/pldi/pldi2020.bht:"
@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, 07 May 2024 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 = {Tue, 07 May 2024 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 = {Tue, 07 May 2024 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} }
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.