Errors detected & corrected

• 
  Gene Novark, Emery D. Berger, Benjamin G. Zorn: Exterminator: automatically correcting memory errors with high probability. 1-11
• 
  Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin: CheckFence: checking consistency of concurrent data types on relaxed memory models. 12-21
• 
  Satish Narayanasamy, Zhenghao Wang, Jordan Tigani, Andrew Edwards, Brad Calder: Automatically classifying benign and harmful data racesallusing replay analysis. 22-31
• 
  Gary Wassermann, Zhendong Su: Sound and precise analysis of web applications for injection vulnerabilities. 32-41

Compiled correctly

• 
  Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker: Fault-tolerant typed assembly language. 42-53
• 
  Adam Chlipala: A certified type-preserving compiler from lambda calculus to assembly language. 54-65
• 
  Hongxu Cai, Zhong Shao, Alexander Vaynberg: Certified self-modifying code. 66-77
• 
  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. 78-88

Programs analyzed

• 
  Nicholas Nethercote, Julian Seward: Valgrind: a framework for heavyweight dynamic binary instrumentation. 89-100
• 
  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. 101-111
• 
  Manu Sridharan, Stephen J. Fink, Rastislav Bodík: Thin slicing. 112-122
• 
  Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan: Static specification inference using predicate mining. 123-134
• 
  Erika Rice Scherpelz, Sorin Lerner, Craig Chambers: Automatic inference of optimizer flow functions from semantic meanings. 135-145

Languages designed

• 
  Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Automatic inversion generates divide-and-conquer parallel programs. 146-155
• 
  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. 156-166
• 
  Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia: Sketching stencils. 167-178
• 
  Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat: Mace: language support for building distributed systems. 179-188
• 
  Peng Li, Steve Zdancewic: Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives. 189-199
• 
  Nupur Kothari, Ramakrishna Gummadi, Todd D. Millstein, Ramesh Govindan: Reliable and efficient programming abstractions for wireless sensor networks. 200-210

Executed concurrently

• 
  Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew: Optimistic parallelism requires abstractions. 211-222
• 
  Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, Chengliang Zhang: Software behavior oriented parallelization. 223-234
• 
  Sriram Krishnamoorthy, Muthu Manikandan Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, P. Sadayappan: Effective automatic parallelization of stencil computations. 235-244
• 
  Tayfun Elmas, Shaz Qadeer, Serdar Tasiran: Goldilocks: a race and transaction-aware java runtime. 245-255

Pointers analyzed

• 
  Bolei Guo, Neil Vachharajani, David I. August: Shape analysis with inductive recursion synthesis. 256-265
• 
  Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv: Thread-modular shape analysis. 266-277
• 
  Chris Lattner, Andrew Lenharth, Vikram S. Adve: Making context-sensitive points-to analysis with heap cloning practical for the real world. 278-289
• 
  Ben Hardekopf, Calvin Lin: The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code. 290-299

Programs analyzed

• 
  Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko: Path invariants. 300-309
• 
  Ajeet Shankar, Rastislav Bodík: DITTO: automatic incrementalization of data structure invariant checks (in Java). 310-319
• 
  Byron Cook, Andreas Podelski, Andrey Rybalchenko: Proving thread termination. 320-330
• 
  John Kodumal, Alex Aiken: Regularly annotated set constraints. 331-341
• 
  Pierre Genevès, Nabil Layaïda, Alan Schmitt: Efficient static analysis of XML paths and types. 342-351

Executed efficiently

• 
  Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg: The ExoVM system for automatic VM and application reduction. 352-362
• 
  Nathan Cooprider, John Regehr: Offline compression for on-chip ram. 363-372
• 
  Florian T. Schneider, Mathias Payer, Thomas R. Gross: Online optimizations driven by hardware performance monitoring. 373-382
• 
  Weijia Li, Youtao Zhang, Jun Yang, Jiang Zheng: UCC: update-conscious compilation for energy efficiency in wireless sensor networks. 383-393
• 
  Feihui Li, Guangyu Chen, Mahmut T. Kandemir, Ibrahim Kolcu: Profile-driven energy reduction in network-on-chips. 394-404
• 
  Lakshminarayanan Renganarayanan, DaeGon Kim, Sanjay V. Rajopadhye, Michelle Mills Strout: Parameterized tiled loops for free. 405-414

Errors detected

• 
  Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta: Towards locating execution omission errors. 415-424
• 
  Benjamin S. Lerner, Matthew Flower, Dan Grossman, Craig Chambers: Searching for type-error messages. 425-434
• 
  Isil Dillig, Thomas Dillig, Alex Aiken: Static error detection using semantic inconsistency inference. 435-445
• 
  Madanlal Musuvathi, Shaz Qadeer: Iterative context bounding for systematic testing of multithreaded programs. 446-455

Memory managed

• 
  Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky: CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. 456-467
• 
  Andrew McCreight, Zhong Shao, Chunxiao Lin, Long Li: A general framework for certifying garbage collectors and their mutators. 468-479
• 
  Sigmund Cherem, Lonnie Princehouse, Radu Rugina: Practical memory leak detection using guarded value-flow analysis. 480-491

last updated on Mon May 20 00:32:51 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page