Conferences in DBLP
Gene Novark , Emery D. Berger , Benjamin G. Zorn Exterminator: automatically correcting memory errors with high probability. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Gary Wassermann , Zhendong Su Sound and precise analysis of web applications for injection vulnerabilities. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Adam J. Chlipala A certified type-preserving compiler from lambda calculus to assembly language. [Citation Graph (0, 0)][DBLP ] Conf ] Hongxu Cai , Zhong Shao , Alexander Vaynberg Certified self-modifying code. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Nicholas Nethercote , Julian Seward Valgrind: a framework for heavyweight dynamic binary instrumentation. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Manu Sridharan , Stephen J. Fink , Rastislav Bodík Thin slicing. [Citation Graph (0, 0)][DBLP ] Conf ] Murali Krishna Ramanathan , Ananth Grama , Suresh Jagannathan Static specification inference using predicate mining. [Citation Graph (0, 0)][DBLP ] Conf ] Erika Rice Scherpelz , Sorin Lerner , Craig Chambers Automatic inference of optimizer flow functions from semantic meanings. [Citation Graph (0, 0)][DBLP ] Conf ] Kazutaka Morita , Akimasa Morihata , Kiminori Matsuzaki , Zhenjiang Hu , Masato Takeichi Automatic inversion generates divide-and-conquer parallel programs. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Armando Solar-Lezama , Gilad Arnold , Liviu Tancau , Rastislav Bodík , Vijay A. Saraswat , Sanjit A. Seshia Sketching stencils. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Nupur Kothari , Ramakrishna Gummadi , Todd D. Millstein , Ramesh Govindan Reliable and efficient programming abstractions for wireless sensor networks. [Citation Graph (0, 0)][DBLP ] Conf ] Milind Kulkarni , Keshav Pingali , Bruce Walter , Ganesh Ramanarayanan , Kavita Bala , L. Paul Chew Optimistic parallelism requires abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Chen Ding , Xipeng Shen , Kirk Kelsey , Chris Tice , Ruke Huang , Chengliang Zhang Software behavior oriented parallelization. [Citation Graph (0, 0)][DBLP ] Conf ] Sriram Krishnamoorthy , Muthu Baskaran , Uday Bondhugula , J. Ramanujam , Atanas Rountev , P. Sadayappan Effective automatic parallelization of stencil computations. [Citation Graph (0, 0)][DBLP ] Conf ] Tayfun Elmas , Shaz Qadeer , Serdar Tasiran Goldilocks: a race and transaction-aware java runtime. [Citation Graph (0, 0)][DBLP ] Conf ] Bolei Guo , Neil Vachharajani , David I. August Shape analysis with inductive recursion synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey Gotsman , Josh Berdine , Byron Cook , Mooly Sagiv Thread-modular shape analysis. [Citation Graph (0, 0)][DBLP ] 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 ] 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 ] Conf ] Dirk Beyer , Thomas A. Henzinger , Rupak Majumdar , Andrey Rybalchenko Path invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Ajeet Shankar , Rastislav Bodík DITTO: automatic incrementalization of data structure invariant checks (in Java). [Citation Graph (0, 0)][DBLP ] Conf ] Byron Cook , Andreas Podelski , Andrey Rybalchenko Proving thread termination. [Citation Graph (0, 0)][DBLP ] Conf ] John Kodumal , Alex Aiken Regularly annotated set constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Genevès , Nabil Layaïda , Alan Schmitt Efficient static analysis of XML paths and types. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Nathan Cooprider , John Regehr Offline compression for on-chip ram. [Citation Graph (0, 0)][DBLP ] Conf ] Florian Schneider , Mathias Payer , Thomas R. Gross Online optimizations driven by hardware performance monitoring. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Feihui Li , Guangyu Chen , Mahmut T. Kandemir , Ibrahim Kolcu Profile-driven energy reduction in network-on-chips. [Citation Graph (0, 0)][DBLP ] Conf ] Lakshminarayanan Renganarayanan , DaeGon Kim , Sanjay V. Rajopadhye , Michelle Mills Strout Parameterized tiled loops for free. [Citation Graph (0, 0)][DBLP ] Conf ] Xiangyu Zhang , Sriraman Tallam , Neelam Gupta , Rajiv Gupta Towards locating execution omission errors. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin S. Lerner , Matthew Flower , Dan Grossman , Craig Chambers Searching for type-error messages. [Citation Graph (0, 0)][DBLP ] Conf ] Isil Dillig , Thomas Dillig , Alex Aiken Static error detection using semantic inconsistency inference. [Citation Graph (0, 0)][DBLP ] Conf ] Madanlal Musuvathi , Shaz Qadeer Iterative context bounding for systematic testing of multithreaded programs. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Andrew McCreight , Zhong Shao , Chunxiao Lin , Long Li A general framework for certifying garbage collectors and their mutators. [Citation Graph (0, 0)][DBLP ] Conf ] Sigmund Cherem , Lonnie Princehouse , Radu Rugina Practical memory leak detection using guarded value-flow analysis. [Citation Graph (0, 0)][DBLP ] Conf ] 