Search dblp for Publications

export results for "toc:db/conf/pldi/pldi2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pldi/AcarBBT06,
  author       = {Umut A. Acar and
                  Guy E. Blelloch and
                  Matthias Blume and
                  Kanat Tangwongsan},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {An experimental analysis of self-adjusting computation},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {96--107},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133993},
  doi          = {10.1145/1133981.1133993},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AcarBBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Adl-TabatabaiLMMSS06,
  author       = {Ali{-}Reza Adl{-}Tabatabai and
                  Brian T. Lewis and
                  Vijay Menon and
                  Brian R. Murphy and
                  Bratin Saha and
                  Tatiana Shpeisman},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Compiler and runtime support for efficient software transactional
                  memory},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {26--37},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133985},
  doi          = {10.1145/1133981.1133985},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/Adl-TabatabaiLMMSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BartonCAZFCA06,
  author       = {Christopher Barton and
                  Calin Cascaval and
                  George Alm{\'{a}}si and
                  Yili Zheng and
                  Montse Farreras and
                  Siddhartha Chatterjee and
                  Jos{\'{e}} Nelson Amaral},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Shared memory programming for large scale machines},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {108--117},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133995},
  doi          = {10.1145/1133981.1133995},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BartonCAZFCA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BergerZ06,
  author       = {Emery D. Berger and
                  Benjamin G. Zorn},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {DieHard: probabilistic memory safety for unsafe languages},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {158--168},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134000},
  doi          = {10.1145/1133981.1134000},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BergerZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BridgesVOA06,
  author       = {Matthew J. Bridges and
                  Neil Vachharajani and
                  Guilherme Ottoni and
                  David I. August},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Automatic instruction scheduler retargeting by reverse-engineering},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {228--238},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134008},
  doi          = {10.1145/1133981.1134008},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/BridgesVOA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CarlstromMCCMKO06,
  author       = {Brian D. Carlstrom and
                  Austen McDonald and
                  Hassan Chafi and
                  JaeWoong Chung and
                  Chi Cao Minh and
                  Christoforos E. Kozyrakis and
                  Kunle Olukotun},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {The Atomos transactional programming language},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133983},
  doi          = {10.1145/1133981.1133983},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/CarlstromMCCMKO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenBCGC06,
  author       = {Wen{-}ke Chen and
                  Sanjay Bhansali and
                  Trishul M. Chilimbi and
                  Xiaofeng Gao and
                  Weihaw Chuang},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Profile-guided proactive garbage collection for locality optimization},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {332--340},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134021},
  doi          = {10.1145/1133981.1134021},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChenBCGC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenLKI06,
  author       = {Guangyu Chen and
                  Feihui Li and
                  Mahmut T. Kandemir and
                  Mary Jane Irwin},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Reducing NoC energy consumption through compiler-directed channel
                  voltage scaling},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {193--203},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134004},
  doi          = {10.1145/1133981.1134004},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChenLKI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChilimbiS06,
  author       = {Trishul M. Chilimbi and
                  Ran Shaham},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Cache-conscious coallocation of hot data streams},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {252--262},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134011},
  doi          = {10.1145/1133981.1134011},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ChilimbiS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR06,
  author       = {Byron Cook and
                  Andreas Podelski and
                  Andrey Rybalchenko},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Termination proofs for systems code},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {415--426},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134029},
  doi          = {10.1145/1133981.1134029},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/CookPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DhurjatiKA06,
  author       = {Dinakar Dhurjati and
                  Sumant Kowshik and
                  Vikram S. Adve},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {SAFECode: enforcing alias analysis for weakly typed languages},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {144--157},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133999},
  doi          = {10.1145/1133981.1133999},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/DhurjatiKA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ErtlCG06,
  author       = {M. Anton Ertl and
                  Kevin Casey and
                  David Gregg},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Fast and flexible instruction selection with on-demand tree-parsing
                  automata},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {52--60},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133988},
  doi          = {10.1145/1133981.1133988},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ErtlCG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FeiM06,
  author       = {Long Fei and
                  Samuel P. Midkiff},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Artemis: practical runtime monitoring of applications for execution
                  anomalies},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {84--95},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133992},
  doi          = {10.1145/1133981.1133992},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/FeiM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FengSVXN06,
  author       = {Xinyu Feng and
                  Zhong Shao and
                  Alexander Vaynberg and
                  Sen Xiang and
                  Zhaozhong Ni},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Modular verification of assembly code with stack-based control abstractions},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {401--414},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134028},
  doi          = {10.1145/1133981.1134028},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/FengSVXN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Grimm06,
  author       = {Robert Grimm},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Better extensibility through modular syntax},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {38--51},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133987},
  doi          = {10.1145/1133981.1133987},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/Grimm06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GulwaniT06,
  author       = {Sumit Gulwani and
                  Ashish Tiwari},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Combining abstract interpreters},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {376--386},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134026},
  doi          = {10.1145/1133981.1134026},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GulwaniT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuyerMF06,
  author       = {Samuel Z. Guyer and
                  Kathryn S. McKinley and
                  Daniel Frampton},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Free-Me: a static analysis for automatic individual object reclamation},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {364--375},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134024},
  doi          = {10.1145/1133981.1134024},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/GuyerMF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HarrisPST06,
  author       = {Tim Harris and
                  Mark Plesko and
                  Avraham Shinnar and
                  David Tarditi},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Optimizing memory transactions},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {14--25},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133984},
  doi          = {10.1145/1133981.1133984},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/HarrisPST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JarviGWLS06,
  author       = {Jaakko J{\"{a}}rvi and
                  Douglas P. Gregor and
                  Jeremiah Willcock and
                  Andrew Lumsdaine and
                  Jeremy G. Siek},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Algorithm specialization in generic programming: challenges of constrained
                  generics in {C++}},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {272--282},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134014},
  doi          = {10.1145/1133981.1134014},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/JarviGWLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/JohnsonE06,
  author       = {Troy A. Johnson and
                  Rudolf Eigenmann},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Context-sensitive domain-independent algorithm composition and selection},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {181--192},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134003},
  doi          = {10.1145/1133981.1134003},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/JohnsonE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KermanyP06,
  author       = {Haim Kermany and
                  Erez Petrank},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {The Compressor: concurrent, incremental, and parallel compaction},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {354--363},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134023},
  doi          = {10.1145/1133981.1134023},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/KermanyP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KoesG06,
  author       = {David Ryan Koes and
                  Seth Copen Goldstein},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {A global progressive register allocator},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {204--215},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134006},
  doi          = {10.1145/1133981.1134006},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KoesG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LauAHC06,
  author       = {Jeremy Lau and
                  Matthew Arnold and
                  Michael Hind and
                  Brad Calder},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Online performance auditing: using hot optimizations without getting
                  burned},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {239--251},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134010},
  doi          = {10.1145/1133981.1134010},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/LauAHC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NaikAW06,
  author       = {Mayur Naik and
                  Alex Aiken and
                  John Whaley},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Effective static race detection for Java},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {308--319},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134018},
  doi          = {10.1145/1133981.1134018},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NaikAW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NakaikeIKN06,
  author       = {Takuya Nakaike and
                  Tatsushi Inagaki and
                  Hideaki Komatsu and
                  Toshio Nakatani},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Profile-based global live-range splitting},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {216--227},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134007},
  doi          = {10.1145/1133981.1134007},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NakaikeIKN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NeamtiuHSO06,
  author       = {Iulian Neamtiu and
                  Michael W. Hicks and
                  Gareth Paul Stoyle and
                  Manuel Oriol},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Practical dynamic software updating for {C}},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {72--83},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133991},
  doi          = {10.1145/1133981.1133991},
  timestamp    = {Sat, 31 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NeamtiuHSO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NuzmanRZ06,
  author       = {Dorit Nuzman and
                  Ira Rosen and
                  Ayal Zaks},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Auto-vectorization of interleaved data for {SIMD}},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {132--143},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133997},
  doi          = {10.1145/1133981.1133997},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/NuzmanRZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PratikakisFH06,
  author       = {Polyvios Pratikakis and
                  Jeffrey S. Foster and
                  Michael W. Hicks},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {{LOCKSMITH:} context-sensitive correlation analysis for race detection},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {320--331},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134019},
  doi          = {10.1145/1133981.1134019},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/PratikakisFH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/RenWP06,
  author       = {Gang Ren and
                  Peng Wu and
                  David A. Padua},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Optimizing data permutations for {SIMD} devices},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {118--131},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133996},
  doi          = {10.1145/1133981.1133996},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/RenWP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShiversM06,
  author       = {Olin Shivers and
                  Matthew Might},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Continuations and transducer composition},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {295--307},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134016},
  doi          = {10.1145/1133981.1134016},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ShiversM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SpoonhowerABCG06,
  author       = {Daniel Spoonhower and
                  Joshua S. Auerbach and
                  David F. Bacon and
                  Perry Cheng and
                  David Grove},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Eventrons: a safe programming construct for high-frequency hard real-time
                  applications},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {283--294},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134015},
  doi          = {10.1145/1133981.1134015},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SpoonhowerABCG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SridharanB06,
  author       = {Manu Sridharan and
                  Rastislav Bod{\'{\i}}k},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Refinement-based context-sensitive points-to analysis for Java},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {387--400},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134027},
  doi          = {10.1145/1133981.1134027},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/SridharanB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TriantafyllisBROA06,
  author       = {Spyridon Triantafyllis and
                  Matthew J. Bridges and
                  Easwaran Raman and
                  Guilherme Ottoni and
                  David I. August},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {A framework for unrestricted whole-program optimization},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {61--71},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1133989},
  doi          = {10.1145/1133981.1133989},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/TriantafyllisBROA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VechevYB06,
  author       = {Martin T. Vechev and
                  Eran Yahav and
                  David F. Bacon},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Correctness-preserving derivation of concurrent garbage collection
                  algorithms},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {341--353},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134022},
  doi          = {10.1145/1133981.1134022},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/VechevYB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangGG06,
  author       = {Xiangyu Zhang and
                  Neelam Gupta and
                  Rajiv Gupta},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Pruning dynamic slices with confidence},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {169--180},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134002},
  doi          = {10.1145/1133981.1134002},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ZhangGG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhuangSCC06,
  author       = {Xiaotong Zhuang and
                  Mauricio J. Serrano and
                  Harold W. Cain and
                  Jong{-}Deok Choi},
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Accurate, efficient, and adaptive calling context profiling},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  pages        = {263--271},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981.1134012},
  doi          = {10.1145/1133981.1134012},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/ZhuangSCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2006,
  editor       = {Michael I. Schwartzbach and
                  Thomas Ball},
  title        = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
                  Language Design and Implementation, Ottawa, Ontario, Canada, June
                  11-14, 2006},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1133981},
  doi          = {10.1145/1133981},
  isbn         = {1-59593-320-4},
  timestamp    = {Fri, 25 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics