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