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/pldi2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/pldi/AltidorHS11,
author = {John Altidor and
Shan Shan Huang and
Yannis Smaragdakis},
editor = {Mary W. Hall and
David A. Padua},
title = {Taming the wildcards: combining definition- and use-site variance},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {602--613},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993569},
doi = {10.1145/1993498.1993569},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AltidorHS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AnselMETCSSBY11,
author = {Jason Ansel and
Petr Marchenko and
{\'{U}}lfar Erlingsson and
Elijah Taylor and
Brad Chen and
Derek L. Schuff and
David Sehr and
Cliff Biffle and
Bennet Yee},
editor = {Mary W. Hall and
David A. Padua},
title = {Language-independent sandboxing of just-in-time compilation and self-modifying
code},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {355--366},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993540},
doi = {10.1145/1993498.1993540},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AnselMETCSSBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BeckmanN11,
author = {Nels E. Beckman and
Aditya V. Nori},
editor = {Mary W. Hall and
David A. Padua},
title = {Probabilistic, modular and scalable inference of typestate specifications},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {211--221},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993524},
doi = {10.1145/1993498.1993524},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BeckmanN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BestMMRFB11,
author = {Micah J. Best and
Shane Mottishaw and
Craig Mustard and
Mark Roth and
Alexandra Fedorova and
Andrew Brownsword},
editor = {Mary W. Hall and
David A. Padua},
title = {Synchronization via scheduling: techniques for efficiently managing
shared state},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {640--652},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993573},
doi = {10.1145/1993498.1993573},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BestMMRFB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BohmKKFT11,
author = {Igor B{\"{o}}hm and
Tobias J. K. Edler von Koch and
Stephen C. Kyle and
Bj{\"{o}}rn Franke and
Nigel P. Topham},
editor = {Mary W. Hall and
David A. Padua},
title = {Generalized just-in-time trace compilation using a parallel task farm
in a dynamic binary translator},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {74--85},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993508},
doi = {10.1145/1993498.1993508},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BohmKKFT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BouajjaniDES11,
author = {Ahmed Bouajjani and
Cezara Dragoi and
Constantin Enea and
Mihaela Sighireanu},
editor = {Mary W. Hall and
David A. Padua},
title = {On inter-procedural analysis of programs with lists and data},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {578--589},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993566},
doi = {10.1145/1993498.1993566},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BouajjaniDES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BudiLJL11,
author = {Aditya Budi and
David Lo and
Lingxiao Jiang and
Lucia},
editor = {Mary W. Hall and
David A. Padua},
title = {\emph{kb}-anonymity: a model for anonymized behaviour-preserving test
and debugging data},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {447--457},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993551},
doi = {10.1145/1993498.1993551},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BudiLJL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurnimENS11,
author = {Jacob Burnim and
Tayfun Elmas and
George C. Necula and
Koushik Sen},
editor = {Mary W. Hall and
David A. Padua},
title = {NDSeq: runtime checking for nondeterministic sequential specifications
of parallel correctness},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {401--414},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993545},
doi = {10.1145/1993498.1993545},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurnimENS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Chlipala11,
author = {Adam Chlipala},
editor = {Mary W. Hall and
David A. Padua},
title = {Mostly-automated verification of low-level programs in computational
separation logic},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {234--245},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993526},
doi = {10.1145/1993498.1993526},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Chlipala11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DEliaDF11,
author = {Daniele Cono D'Elia and
Camil Demetrescu and
Irene Finocchi},
editor = {Mary W. Hall and
David A. Padua},
title = {Mining hot calling contexts in small space},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {516--527},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993559},
doi = {10.1145/1993498.1993559},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DEliaDF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDAS11,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Precise and compact modular procedure summaries for heap manipulating
programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {567--577},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993565},
doi = {10.1145/1993498.1993565},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DilligDAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GarciaJLT11,
author = {Saturnino Garcia and
Donghwan Jeon and
Christopher M. Louie and
Michael Bedford Taylor},
editor = {Mary W. Hall and
David A. Padua},
title = {Kremlin: rethinking and rebooting gprof for the multicore age},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {458--469},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993553},
doi = {10.1145/1993498.1993553},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GarciaJLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Godefroid11,
author = {Patrice Godefroid},
editor = {Mary W. Hall and
David A. Padua},
title = {Higher-order test generation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {258--269},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993529},
doi = {10.1145/1993498.1993529},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Godefroid11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniJTV11,
author = {Sumit Gulwani and
Susmit Jha and
Ashish Tiwari and
Ramarathnam Venkatesan},
editor = {Mary W. Hall and
David A. Padua},
title = {Synthesis of loop-free programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {62--73},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993506},
doi = {10.1145/1993498.1993506},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniJTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniKT11,
author = {Sumit Gulwani and
Vijay Anand Korthikanti and
Ashish Tiwari},
editor = {Mary W. Hall and
David A. Padua},
title = {Synthesizing geometry constructions},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {50--61},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993505},
doi = {10.1145/1993498.1993505},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GulwaniKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HarrisG11,
author = {William R. Harris and
Sumit Gulwani},
editor = {Mary W. Hall and
David A. Padua},
title = {Spreadsheet table transformations from examples},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {317--328},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993536},
doi = {10.1145/1993498.1993536},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HarrisG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HawkinsAFRS11,
author = {Peter Hawkins and
Alex Aiken and
Kathleen Fisher and
Martin C. Rinard and
Mooly Sagiv},
editor = {Mary W. Hall and
David A. Padua},
title = {Data representation synthesis},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {38--49},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993504},
doi = {10.1145/1993498.1993504},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/HawkinsAFRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JablinPJJBA11,
author = {Thomas B. Jablin and
Prakash Prabhu and
James A. Jablin and
Nick P. Johnson and
Stephen R. Beard and
David I. August},
editor = {Mary W. Hall and
David A. Padua},
title = {Automatic {CPU-GPU} communication management and optimization},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {142--151},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993516},
doi = {10.1145/1993498.1993516},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JablinPJJBA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JinMGR11,
author = {Dongyun Jin and
Patrick O'Neil Meredith and
Dennis Griffith and
Grigore Rosu},
editor = {Mary W. Hall and
David A. Padua},
title = {Garbage collection for monitoring parametric properties},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {415--424},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993547},
doi = {10.1145/1993498.1993547},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JinMGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JinSZLL11,
author = {Guoliang Jin and
Linhai Song and
Wei Zhang and
Shan Lu and
Ben Liblit},
editor = {Mary W. Hall and
David A. Padua},
title = {Automated atomicity-violation fixing},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {389--400},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993544},
doi = {10.1145/1993498.1993544},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JinSZLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JoseM11,
author = {Manu Jose and
Rupak Majumdar},
editor = {Mary W. Hall and
David A. Padua},
title = {Cause clue clauses: error localization using maximum satisfiability},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {437--446},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993550},
doi = {10.1145/1993498.1993550},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JoseM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JungRRCP11,
author = {Changhee Jung and
Silvius Rus and
Brian P. Railing and
Nathan Clark and
Santosh Pande},
editor = {Mary W. Hall and
David A. Padua},
title = {Brainy: effective selection of data structures},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {86--97},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993509},
doi = {10.1145/1993498.1993509},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/JungRRCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KimR11,
author = {Deokhwan Kim and
Martin C. Rinard},
editor = {Mary W. Hall and
David A. Padua},
title = {Verification of semantic commutativity conditions and inverse operations
on linked data structures},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {528--541},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993561},
doi = {10.1145/1993498.1993561},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KimR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KobayashiSU11,
author = {Naoki Kobayashi and
Ryosuke Sato and
Hiroshi Unno},
editor = {Mary W. Hall and
David A. Padua},
title = {Predicate abstraction and {CEGAR} for higher-order model checking},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {222--233},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993525},
doi = {10.1145/1993498.1993525},
timestamp = {Mon, 16 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KobayashiSU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KulkarniNPSP11,
author = {Milind Kulkarni and
Donald Nguyen and
Dimitrios Prountzos and
Xin Sui and
Keshav Pingali},
editor = {Mary W. Hall and
David A. Padua},
title = {Exploiting the commutativity lattice},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {542--555},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993562},
doi = {10.1145/1993498.1993562},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KulkarniNPSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KupersteinVY11,
author = {Michael Kuperstein and
Martin T. Vechev and
Eran Yahav},
editor = {Mary W. Hall and
David A. Padua},
title = {Partial-coherence abstractions for relaxed memory models},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {187--198},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993521},
doi = {10.1145/1993498.1993521},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KupersteinVY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeZSZ11,
author = {Kyu Hyung Lee and
Yunhui Zheng and
Nick Sumner and
Xiangyu Zhang},
editor = {Mary W. Hall and
David A. Padua},
title = {Toward generating reducible replay logs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {246--257},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993528},
doi = {10.1145/1993498.1993528},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeZSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiTOKCSH11,
author = {Xun Li and
Mohit Tiwari and
Jason Oberg and
Vineeth Kashyap and
Frederic T. Chong and
Timothy Sherwood and
Ben Hardekopf},
editor = {Mary W. Hall and
David A. Padua},
title = {Caisson: a hardware description language for secure information flow},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {109--120},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993512},
doi = {10.1145/1993498.1993512},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiTOKCSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiangN11,
author = {Percy Liang and
Mayur Naik},
editor = {Mary W. Hall and
David A. Padua},
title = {Scaling abstraction refinement via pruning},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {590--601},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993567},
doi = {10.1145/1993498.1993567},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiangN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LuciaWC11,
author = {Brandon Lucia and
Benjamin P. Wood and
Luis Ceze},
editor = {Mary W. Hall and
David A. Padua},
title = {Isolating and understanding concurrency errors using reconstructed
execution fragments},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {378--388},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993543},
doi = {10.1145/1993498.1993543},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LuciaWC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MarinoSMMN11,
author = {Daniel Marino and
Abhayendra Singh and
Todd D. Millstein and
Madanlal Musuvathi and
Satish Narayanasamy},
editor = {Mary W. Hall and
David A. Padua},
title = {A case for an SC-preserving compiler},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {199--210},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993522},
doi = {10.1145/1993498.1993522},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MarinoSMMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MengKM11,
author = {Na Meng and
Miryung Kim and
Kathryn S. McKinley},
editor = {Mary W. Hall and
David A. Padua},
title = {Systematic editing: generating program transformations from an example},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {329--342},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993537},
doi = {10.1145/1993498.1993537},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MengKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MurrayIY11,
author = {Derek Gordon Murray and
Michael Isard and
Yuan Yu},
editor = {Mary W. Hall and
David A. Padua},
title = {Steno: automatic optimization of declarative queries},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {121--131},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993513},
doi = {10.1145/1993498.1993513},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MurrayIY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ParrF11,
author = {Terence Parr and
Kathleen Fisher},
editor = {Mary W. Hall and
David A. Padua},
title = {LL(*): the foundation of the {ANTLR} parser generator},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {425--436},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993548},
doi = {10.1145/1993498.1993548},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ParrF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerezR11,
author = {Juan Antonio Navarro P{\'{e}}rez and
Andrey Rybalchenko},
editor = {Mary W. Hall and
David A. Padua},
title = {Separation logic + superposition calculus = heap theorem prover},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {556--566},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993563},
doi = {10.1145/1993498.1993563},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PerezR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PersonYRK11,
author = {Suzette Person and
Guowei Yang and
Neha Rungta and
Sarfraz Khurshid},
editor = {Mary W. Hall and
David A. Padua},
title = {Directed incremental symbolic execution},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {504--515},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993558},
doi = {10.1145/1993498.1993558},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PersonYRK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PingaliNKBHKLLMMPS11,
author = {Keshav Pingali and
Donald Nguyen and
Milind Kulkarni and
Martin Burtscher and
Muhammad Amber Hassaan and
Rashid Kaleem and
Tsung{-}Hsien Lee and
Andrew Lenharth and
Roman Manevich and
Mario M{\'{e}}ndez{-}Lojo and
Dimitrios Prountzos and
Xin Sui},
editor = {Mary W. Hall and
David A. Padua},
title = {The tao of parallelism in algorithms},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {12--25},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993501},
doi = {10.1145/1993498.1993501},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PingaliNKBHKLLMMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PrabhuGZJA11,
author = {Prakash Prabhu and
Soumyadeep Ghosh and
Yun Zhang and
Nick P. Johnson and
David I. August},
editor = {Mary W. Hall and
David A. Padua},
title = {Commutative set: a language extension for implicit parallel programming},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {1--11},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993500},
doi = {10.1145/1993498.1993500},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PrabhuGZJA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PrasadAG11,
author = {Ashwin Prasad and
Jayvant Anantpur and
R. Govindarajan},
editor = {Mary W. Hall and
David A. Padua},
title = {Automatic compilation of {MATLAB} programs for synergistic execution
on heterogeneous processors},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {152--163},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993517},
doi = {10.1145/1993498.1993517},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PrasadAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RamanKOLA11,
author = {Arun Raman and
Hanjun Kim and
Taewook Oh and
Jae W. Lee and
David I. August},
editor = {Mary W. Hall and
David A. Padua},
title = {Parallelism orchestration using DoPE: the degree of parallelism executive},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {26--37},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993502},
doi = {10.1145/1993498.1993502},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RamanKOLA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SampsonDFGCG11,
author = {Adrian Sampson and
Werner Dietl and
Emily Fortuna and
Danushen Gnanapragasam and
Luis Ceze and
Dan Grossman},
editor = {Mary W. Hall and
David A. Padua},
title = {EnerJ: approximate data types for safe and general low-power computation},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {164--174},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993518},
doi = {10.1145/1993498.1993518},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SampsonDFGCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SarkarSAMW11,
author = {Susmit Sarkar and
Peter Sewell and
Jade Alglave and
Luc Maranget and
Derek Williams},
editor = {Mary W. Hall and
David A. Padua},
title = {Understanding {POWER} multiprocessors},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {175--186},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993520},
doi = {10.1145/1993498.1993520},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SarkarSAMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SatoI11,
author = {Shigeyuki Sato and
Hideya Iwasaki},
editor = {Mary W. Hall and
David A. Padua},
title = {Automatic parallelization via matrix multiplication},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {470--479},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993554},
doi = {10.1145/1993498.1993554},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SatoI11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Sevcik11,
author = {Jaroslav Sevc{\'{\i}}k},
editor = {Mary W. Hall and
David A. Padua},
title = {Safe optimisations for shared-memory concurrent programs},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {306--316},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993534},
doi = {10.1145/1993498.1993534},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Sevcik11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SrivastavaBMS11,
author = {Varun Srivastava and
Michael D. Bond and
Kathryn S. McKinley and
Vitaly Shmatikov},
editor = {Mary W. Hall and
David A. Padua},
title = {A security policy oracle: detecting security holes using multiple
{API} implementations},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {343--354},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993539},
doi = {10.1145/1993498.1993539},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SrivastavaBMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SrivastavaGCF11,
author = {Saurabh Srivastava and
Sumit Gulwani and
Swarat Chaudhuri and
Jeffrey S. Foster},
editor = {Mary W. Hall and
David A. Padua},
title = {Path-based inductive synthesis for program inversion},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {492--503},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993557},
doi = {10.1145/1993498.1993557},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SrivastavaGCF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TateLL11,
author = {Ross Tate and
Alan Leung and
Sorin Lerner},
editor = {Mary W. Hall and
David A. Padua},
title = {Taming wildcards in Java's type system},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {614--627},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993570},
doi = {10.1145/1993498.1993570},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TateLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Tobin-HochstadtSCFF11,
author = {Sam Tobin{-}Hochstadt and
Vincent St{-}Amour and
Ryan Culpepper and
Matthew Flatt and
Matthias Felleisen},
editor = {Mary W. Hall and
David A. Padua},
title = {Languages as libraries},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {132--141},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993514},
doi = {10.1145/1993498.1993514},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Tobin-HochstadtSCFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TristanGM11,
author = {Jean{-}Baptiste Tristan and
Paul Govereau and
Greg Morrisett},
editor = {Mary W. Hall and
David A. Padua},
title = {Evaluating value-graph translation validation for {LLVM}},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {295--305},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993533},
doi = {10.1145/1993498.1993533},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TristanGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/UdupaRT11,
author = {Abhishek Udupa and
Kaushik Rajan and
William Thies},
editor = {Mary W. Hall and
David A. Padua},
title = {{ALTER:} exploiting breakable dependences for parallelization},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {480--491},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993555},
doi = {10.1145/1993498.1993555},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/UdupaRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/XuBQR11,
author = {Guoqing Xu and
Michael D. Bond and
Feng Qin and
Atanas Rountev},
editor = {Mary W. Hall and
David A. Padua},
title = {LeakChaser: helping programmers narrow down causes of memory leaks},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {270--282},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993530},
doi = {10.1145/1993498.1993530},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/XuBQR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YangCER11,
author = {Xuejun Yang and
Yang Chen and
Eric Eide and
John Regehr},
editor = {Mary W. Hall and
David A. Padua},
title = {Finding and understanding bugs in {C} compilers},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {283--294},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993532},
doi = {10.1145/1993498.1993532},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YangCER11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZengWL11,
author = {Qiang Zeng and
Dinghao Wu and
Peng Liu},
editor = {Mary W. Hall and
David A. Padua},
title = {Cruiser: concurrent heap buffer overflow monitoring using lock-free
data structures},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {367--377},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993541},
doi = {10.1145/1993498.1993541},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZengWL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhouCC11,
author = {Hucheng Zhou and
Wenguang Chen and
Fred C. Chow},
editor = {Mary W. Hall and
David A. Padua},
title = {An SSA-based algorithm for optimal speculative code motion under an
execution profile},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {98--108},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993510},
doi = {10.1145/1993498.1993510},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhouCC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZiarekSJ11,
author = {Lukasz Ziarek and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Mary W. Hall and
David A. Padua},
title = {Composable asynchronous events},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {628--639},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993572},
doi = {10.1145/1993498.1993572},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZiarekSJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2011,
editor = {Mary W. Hall and
David A. Padua},
title = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498},
doi = {10.1145/1993498},
isbn = {978-1-4503-0663-8},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-25 18:16 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:
