Conferences in DBLP
Gene Novark , Emery D. Berger , Benjamin G. Zorn Exterminator: automatically correcting memory errors with high probability. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:1-11 [Conf ] Sebastian Burckhardt , Rajeev Alur , Milo M. K. Martin CheckFence: checking consistency of concurrent data types on relaxed memory models. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:12-21 [Conf ] Satish Narayanasamy , Zhenghao Wang , Jordan Tigani , Andrew Edwards , Brad Calder Automatically classifying benign and harmful data racesallusing replay analysis. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:22-31 [Conf ] Gary Wassermann , Zhendong Su Sound and precise analysis of web applications for injection vulnerabilities. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:32-41 [Conf ] Frances Perry , Lester W. Mackey , George A. Reis , Jay Ligatti , David I. August , David Walker Fault-tolerant typed assembly language. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:42-53 [Conf ] Adam J. Chlipala A certified type-preserving compiler from lambda calculus to assembly language. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:54-65 [Conf ] Hongxu Cai , Zhong Shao , Alexander Vaynberg Certified self-modifying code. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:66-77 [Conf ] Tatiana Shpeisman , Vijay Menon , Ali-Reza Adl-Tabatabai , Steven Balensiefer , Dan Grossman , Richard L. Hudson , Katherine F. Moore , Bratin Saha Enforcing isolation and ordering in STM. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:78-88 [Conf ] Nicholas Nethercote , Julian Seward Valgrind: a framework for heavyweight dynamic binary instrumentation. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:89-100 [Conf ] Jungwoo Ha , Christopher J. Rossbach , Jason V. Davis , Indrajit Roy , Hany E. Ramadan , Donald E. Porter , David L. Chen , Emmett Witchel Improved error reporting for software that uses black-box components. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:101-111 [Conf ] Manu Sridharan , Stephen J. Fink , Rastislav Bodík Thin slicing. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:112-122 [Conf ] Murali Krishna Ramanathan , Ananth Grama , Suresh Jagannathan Static specification inference using predicate mining. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:123-134 [Conf ] Erika Rice Scherpelz , Sorin Lerner , Craig Chambers Automatic inference of optimizer flow functions from semantic meanings. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:135-145 [Conf ] Kazutaka Morita , Akimasa Morihata , Kiminori Matsuzaki , Zhenjiang Hu , Masato Takeichi Automatic inversion generates divide-and-conquer parallel programs. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:146-155 [Conf ] Perry H. Wang , Jamison D. Collins , Gautham N. Chinya , Hong Jiang , Xinmin Tian , Milind Girkar , Nick Y. Yang , Guei-Yuan Lueh , Hong Wang EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:156-166 [Conf ] Armando Solar-Lezama , Gilad Arnold , Liviu Tancau , Rastislav Bodík , Vijay A. Saraswat , Sanjit A. Seshia Sketching stencils. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:167-178 [Conf ] Charles Edwin Killian , James W. Anderson , Ryan Braud , Ranjit Jhala , Amin Vahdat Mace: language support for building distributed systems. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:179-188 [Conf ] Peng Li , Steve Zdancewic Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:189-199 [Conf ] Nupur Kothari , Ramakrishna Gummadi , Todd D. Millstein , Ramesh Govindan Reliable and efficient programming abstractions for wireless sensor networks. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:200-210 [Conf ] Milind Kulkarni , Keshav Pingali , Bruce Walter , Ganesh Ramanarayanan , Kavita Bala , L. Paul Chew Optimistic parallelism requires abstractions. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:211-222 [Conf ] Chen Ding , Xipeng Shen , Kirk Kelsey , Chris Tice , Ruke Huang , Chengliang Zhang Software behavior oriented parallelization. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:223-234 [Conf ] Sriram Krishnamoorthy , Muthu Baskaran , Uday Bondhugula , J. Ramanujam , Atanas Rountev , P. Sadayappan Effective automatic parallelization of stencil computations. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:235-244 [Conf ] Tayfun Elmas , Shaz Qadeer , Serdar Tasiran Goldilocks: a race and transaction-aware java runtime. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:245-255 [Conf ] Bolei Guo , Neil Vachharajani , David I. August Shape analysis with inductive recursion synthesis. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:256-265 [Conf ] Alexey Gotsman , Josh Berdine , Byron Cook , Mooly Sagiv Thread-modular shape analysis. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:266-277 [Conf ] Chris Lattner , Andrew Lenharth , Vikram S. Adve Making context-sensitive points-to analysis with heap cloning practical for the real world. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:278-289 [Conf ] Ben Hardekopf , Calvin Lin The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:290-299 [Conf ] Dirk Beyer , Thomas A. Henzinger , Rupak Majumdar , Andrey Rybalchenko Path invariants. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:300-309 [Conf ] Ajeet Shankar , Rastislav Bodík DITTO: automatic incrementalization of data structure invariant checks (in Java). [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:310-319 [Conf ] Byron Cook , Andreas Podelski , Andrey Rybalchenko Proving thread termination. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:320-330 [Conf ] John Kodumal , Alex Aiken Regularly annotated set constraints. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:331-341 [Conf ] Pierre Genevès , Nabil Layaïda , Alan Schmitt Efficient static analysis of XML paths and types. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:342-351 [Conf ] Ben Titzer , Joshua S. Auerbach , David F. Bacon , Jens Palsberg The ExoVM system for automatic VM and application reduction. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:352-362 [Conf ] Nathan Cooprider , John Regehr Offline compression for on-chip ram. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:363-372 [Conf ] Florian Schneider , Mathias Payer , Thomas R. Gross Online optimizations driven by hardware performance monitoring. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:373-382 [Conf ] Weijia Li , Youtao Zhang , Jun Yang , Jiang Zheng UCC: update-conscious compilation for energy efficiency in wireless sensor networks. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:383-393 [Conf ] Feihui Li , Guangyu Chen , Mahmut T. Kandemir , Ibrahim Kolcu Profile-driven energy reduction in network-on-chips. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:394-404 [Conf ] Lakshminarayanan Renganarayanan , DaeGon Kim , Sanjay V. Rajopadhye , Michelle Mills Strout Parameterized tiled loops for free. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:405-414 [Conf ] Xiangyu Zhang , Sriraman Tallam , Neelam Gupta , Rajiv Gupta Towards locating execution omission errors. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:415-424 [Conf ] Benjamin S. Lerner , Matthew Flower , Dan Grossman , Craig Chambers Searching for type-error messages. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:425-434 [Conf ] Isil Dillig , Thomas Dillig , Alex Aiken Static error detection using semantic inconsistency inference. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:435-445 [Conf ] Madanlal Musuvathi , Shaz Qadeer Iterative context bounding for systematic testing of multithreaded programs. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:446-455 [Conf ] Martin T. Vechev , Eran Yahav , David F. Bacon , Noam Rinetzky CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:456-467 [Conf ] Andrew McCreight , Zhong Shao , Chunxiao Lin , Long Li A general framework for certifying garbage collectors and their mutators. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:468-479 [Conf ] Sigmund Cherem , Lonnie Princehouse , Radu Rugina Practical memory leak detection using guarded value-flow analysis. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:480-491 [Conf ]