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/pldi2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/pldi/BeyerHMR07,
author = {Dirk Beyer and
Thomas A. Henzinger and
Rupak Majumdar and
Andrey Rybalchenko},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Path invariants},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {300--309},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250769},
doi = {10.1145/1250734.1250769},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BeyerHMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtAM07,
author = {Sebastian Burckhardt and
Rajeev Alur and
Milo M. K. Martin},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CheckFence: checking consistency of concurrent data types on relaxed
memory models},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {12--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250737},
doi = {10.1145/1250734.1250737},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BurckhardtAM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CaiSV07,
author = {Hongxu Cai and
Zhong Shao and
Alexander Vaynberg},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Certified self-modifying code},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {66--77},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250743},
doi = {10.1145/1250734.1250743},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CaiSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CheremPR07,
author = {Sigmund Cherem and
Lonnie Princehouse and
Radu Rugina},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Practical memory leak detection using guarded value-flow analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {480--491},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250789},
doi = {10.1145/1250734.1250789},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CheremPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Chlipala07,
author = {Adam Chlipala},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {A certified type-preserving compiler from lambda calculus to assembly
language},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {54--65},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250742},
doi = {10.1145/1250734.1250742},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Chlipala07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR07,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Proving thread termination},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {320--330},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250771},
doi = {10.1145/1250734.1250771},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CookPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CoopriderR07,
author = {Nathan Cooprider and
John Regehr},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Offline compression for on-chip ram},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {363--372},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250776},
doi = {10.1145/1250734.1250776},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CoopriderR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DilligDA07,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Static error detection using semantic inconsistency inference},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {435--445},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250784},
doi = {10.1145/1250734.1250784},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DilligDA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DingSKTHZ07,
author = {Chen Ding and
Xipeng Shen and
Kirk Kelsey and
Chris Tice and
Ruke Huang and
Chengliang Zhang},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Software behavior oriented parallelization},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {223--234},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250760},
doi = {10.1145/1250734.1250760},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DingSKTHZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ElmasQT07,
author = {Tayfun Elmas and
Shaz Qadeer and
Serdar Tasiran},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Goldilocks: a race and transaction-aware java runtime},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {245--255},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250762},
doi = {10.1145/1250734.1250762},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ElmasQT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GenevesLS07,
author = {Pierre Genev{\`{e}}s and
Nabil Laya{\"{\i}}da and
Alan Schmitt},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Efficient static analysis of {XML} paths and types},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {342--351},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250773},
doi = {10.1145/1250734.1250773},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GenevesLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GotsmanBCS07,
author = {Alexey Gotsman and
Josh Berdine and
Byron Cook and
Mooly Sagiv},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Thread-modular shape analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {266--277},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250765},
doi = {10.1145/1250734.1250765},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GotsmanBCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuoVA07,
author = {Bolei Guo and
Neil Vachharajani and
David I. August},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Shape analysis with inductive recursion synthesis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {256--265},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250764},
doi = {10.1145/1250734.1250764},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GuoVA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HaRDRRPCW07,
author = {Jungwoo Ha and
Christopher J. Rossbach and
Jason V. Davis and
Indrajit Roy and
Hany E. Ramadan and
Donald E. Porter and
David L. Chen and
Emmett Witchel},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Improved error reporting for software that uses black-box components},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {101--111},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250747},
doi = {10.1145/1250734.1250747},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HaRDRRPCW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HardekopfL07,
author = {Ben Hardekopf and
Calvin Lin},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {The ant and the grasshopper: fast and accurate pointer analysis for
millions of lines of code},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {290--299},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250767},
doi = {10.1145/1250734.1250767},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HardekopfL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KillianABJV07,
author = {Charles Edwin Killian and
James W. Anderson and
Ryan Braud and
Ranjit Jhala and
Amin Vahdat},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Mace: language support for building distributed systems},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {179--188},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250755},
doi = {10.1145/1250734.1250755},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KillianABJV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KodumalA07,
author = {John Kodumal and
Alex Aiken},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Regularly annotated set constraints},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {331--341},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250772},
doi = {10.1145/1250734.1250772},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KodumalA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KothariGMG07,
author = {Nupur Kothari and
Ramakrishna Gummadi and
Todd D. Millstein and
Ramesh Govindan},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Reliable and efficient programming abstractions for wireless sensor
networks},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {200--210},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250757},
doi = {10.1145/1250734.1250757},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KothariGMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnamoorthyBBRRS07,
author = {Sriram Krishnamoorthy and
Muthu Manikandan Baskaran and
Uday Bondhugula and
J. Ramanujam and
Atanas Rountev and
P. Sadayappan},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Effective automatic parallelization of stencil computations},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {235--244},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250761},
doi = {10.1145/1250734.1250761},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KrishnamoorthyBBRRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KulkarniPWRBC07,
author = {Milind Kulkarni and
Keshav Pingali and
Bruce Walter and
Ganesh Ramanarayanan and
Kavita Bala and
L. Paul Chew},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Optimistic parallelism requires abstractions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {211--222},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250759},
doi = {10.1145/1250734.1250759},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KulkarniPWRBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LattnerLA07,
author = {Chris Lattner and
Andrew Lenharth and
Vikram S. Adve},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Making context-sensitive points-to analysis with heap cloning practical
for the real world},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {278--289},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250766},
doi = {10.1145/1250734.1250766},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LattnerLA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LernerFGC07,
author = {Benjamin S. Lerner and
Matthew Flower and
Dan Grossman and
Craig Chambers},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Searching for type-error messages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {425--434},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250783},
doi = {10.1145/1250734.1250783},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LernerFGC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiCKK07,
author = {Feihui Li and
Guangyu Chen and
Mahmut T. Kandemir and
Ibrahim Kolcu},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Profile-driven energy reduction in network-on-chips},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {394--404},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250779},
doi = {10.1145/1250734.1250779},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiCKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiZ07,
author = {Peng Li and
Steve Zdancewic},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Combining events and threads for scalable network services implementation
and evaluation of monadic, application-level concurrency primitives},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {189--199},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250756},
doi = {10.1145/1250734.1250756},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiZYZ07,
author = {Weijia Li and
Youtao Zhang and
Jun Yang and
Jiang Zheng},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {{UCC:} update-conscious compilation for energy efficiency in wireless
sensor networks},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {383--393},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250778},
doi = {10.1145/1250734.1250778},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiZYZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McCreightSLL07,
author = {Andrew McCreight and
Zhong Shao and
Chunxiao Lin and
Long Li},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {A general framework for certifying garbage collectors and their mutators},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {468--479},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250788},
doi = {10.1145/1250734.1250788},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/McCreightSLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MoritaMMHT07,
author = {Kazutaka Morita and
Akimasa Morihata and
Kiminori Matsuzaki and
Zhenjiang Hu and
Masato Takeichi},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Automatic inversion generates divide-and-conquer parallel programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {146--155},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250752},
doi = {10.1145/1250734.1250752},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MoritaMMHT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MusuvathiQ07,
author = {Madanlal Musuvathi and
Shaz Qadeer},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Iterative context bounding for systematic testing of multithreaded
programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {446--455},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250785},
doi = {10.1145/1250734.1250785},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MusuvathiQ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NarayanasamyWTEC07,
author = {Satish Narayanasamy and
Zhenghao Wang and
Jordan Tigani and
Andrew Edwards and
Brad Calder},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Automatically classifying benign and harmful data racesallusing replay
analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {22--31},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250738},
doi = {10.1145/1250734.1250738},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NarayanasamyWTEC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NethercoteS07,
author = {Nicholas Nethercote and
Julian Seward},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {89--100},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250746},
doi = {10.1145/1250734.1250746},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NethercoteS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NovarkBZ07,
author = {Gene Novark and
Emery D. Berger and
Benjamin G. Zorn},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Exterminator: automatically correcting memory errors with high probability},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {1--11},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250736},
doi = {10.1145/1250734.1250736},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NovarkBZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PerryMRLAW07,
author = {Frances Perry and
Lester W. Mackey and
George A. Reis and
Jay Ligatti and
David I. August and
David Walker},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Fault-tolerant typed assembly language},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {42--53},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250741},
doi = {10.1145/1250734.1250741},
timestamp = {Tue, 09 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PerryMRLAW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RamanathanGJ07,
author = {Murali Krishna Ramanathan and
Ananth Grama and
Suresh Jagannathan},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Static specification inference using predicate mining},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {123--134},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250749},
doi = {10.1145/1250734.1250749},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RamanathanGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RenganarayananKRS07,
author = {Lakshminarayanan Renganarayanan and
DaeGon Kim and
Sanjay V. Rajopadhye and
Michelle Mills Strout},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Parameterized tiled loops for free},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {405--414},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250780},
doi = {10.1145/1250734.1250780},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/RenganarayananKRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ScherpelzLC07,
author = {Erika Rice Scherpelz and
Sorin Lerner and
Craig Chambers},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Automatic inference of optimizer flow functions from semantic meanings},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {135--145},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250750},
doi = {10.1145/1250734.1250750},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ScherpelzLC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SchneiderPG07,
author = {Florian T. Schneider and
Mathias Payer and
Thomas R. Gross},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Online optimizations driven by hardware performance monitoring},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {373--382},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250777},
doi = {10.1145/1250734.1250777},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SchneiderPG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShankarB07,
author = {Ajeet Shankar and
Rastislav Bod{\'{\i}}k},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {{DITTO:} automatic incrementalization of data structure invariant
checks (in Java)},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {310--319},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250770},
doi = {10.1145/1250734.1250770},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShankarB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShpeismanMABGHMS07,
author = {Tatiana Shpeisman and
Vijay Menon and
Ali{-}Reza Adl{-}Tabatabai and
Steven Balensiefer and
Dan Grossman and
Richard L. Hudson and
Katherine F. Moore and
Bratin Saha},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Enforcing isolation and ordering in {STM}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {78--88},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250744},
doi = {10.1145/1250734.1250744},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ShpeismanMABGHMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Solar-LezamaATBSS07,
author = {Armando Solar{-}Lezama and
Gilad Arnold and
Liviu Tancau and
Rastislav Bod{\'{\i}}k and
Vijay A. Saraswat and
Sanjit A. Seshia},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Sketching stencils},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {167--178},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250754},
doi = {10.1145/1250734.1250754},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Solar-LezamaATBSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SridharanFB07,
author = {Manu Sridharan and
Stephen J. Fink and
Rastislav Bod{\'{\i}}k},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Thin slicing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {112--122},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250748},
doi = {10.1145/1250734.1250748},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SridharanFB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TitzerABP07,
author = {Ben L. Titzer and
Joshua S. Auerbach and
David F. Bacon and
Jens Palsberg},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {The ExoVM system for automatic {VM} and application reduction},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {352--362},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250775},
doi = {10.1145/1250734.1250775},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TitzerABP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VechevYBR07,
author = {Martin T. Vechev and
Eran Yahav and
David F. Bacon and
Noam Rinetzky},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {CGCExplorer: a semi-automated search procedure for provably correct
concurrent collectors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {456--467},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250787},
doi = {10.1145/1250734.1250787},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/VechevYBR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangCCJTGYLW07,
author = {Perry H. Wang and
Jamison D. Collins and
Gautham N. Chinya and
Hong Jiang and
Xinmin Tian and
Milind Girkar and
Nick Y. Yang and
Guei{-}Yuan Lueh and
Hong Wang},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {{EXOCHI:} architecture and programming environment for a heterogeneous
multi-core multithreaded system},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {156--166},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250753},
doi = {10.1145/1250734.1250753},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WangCCJTGYLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WassermannS07,
author = {Gary Wassermann and
Zhendong Su},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Sound and precise analysis of web applications for injection vulnerabilities},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {32--41},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250739},
doi = {10.1145/1250734.1250739},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WassermannS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangTGG07,
author = {Xiangyu Zhang and
Sriraman Tallam and
Neelam Gupta and
Rajiv Gupta},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Towards locating execution omission errors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {415--424},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250782},
doi = {10.1145/1250734.1250782},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhangTGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2007,
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734},
doi = {10.1145/1250734},
isbn = {978-1-59593-633-2},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2007.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-28 20:57 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:
