Abstract is missing.
- The Atomos transactional programming languageBrian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christoforos E. Kozyrakis, Kunle Olukotun. 1-13 [doi]
- Optimizing memory transactionsTim Harris, Mark Plesko, Avraham Shinnar, David Tarditi. 14-25 [doi]
- Compiler and runtime support for efficient software transactional memoryAli-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, Tatiana Shpeisman. 26-37 [doi]
- Better extensibility through modular syntaxRobert Grimm. 38-51 [doi]
- Fast and flexible instruction selection with on-demand tree-parsing automataM. Anton Ertl, Kevin Casey, David Gregg. 52-60 [doi]
- A framework for unrestricted whole-program optimizationSpyridon Triantafyllis, Matthew J. Bridges, Easwaran Raman, Guilherme Ottoni, David I. August. 61-71 [doi]
- Practical dynamic software updating for CIulian Neamtiu, Michael W. Hicks, Gareth Stoyle, Manuel Oriol. 72-83 [doi]
- Artemis: practical runtime monitoring of applications for execution anomaliesLong Fei, Samuel P. Midkiff. 84-95 [doi]
- An experimental analysis of self-adjusting computationUmut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan. 96-107 [doi]
- Shared memory programming for large scale machinesChristopher Barton, Calin Cascaval, George Almási, Yili Zheng, Montse Farreras, Siddhartha Chatterjee, José Nelson Amaral. 108-117 [doi]
- Optimizing data permutations for SIMD devicesGang Ren, Peng Wu, David A. Padua. 118-131 [doi]
- Auto-vectorization of interleaved data for SIMDDorit Nuzman, Ira Rosen, Ayal Zaks. 132-143 [doi]
- SAFECode: enforcing alias analysis for weakly typed languagesDinakar Dhurjati, Sumant Kowshik, Vikram S. Adve. 144-157 [doi]
- DieHard: probabilistic memory safety for unsafe languagesEmery D. Berger, Benjamin G. Zorn. 158-168 [doi]
- Pruning dynamic slices with confidenceXiangyu Zhang, Neelam Gupta, Rajiv Gupta. 169-180 [doi]
- Context-sensitive domain-independent algorithm composition and selectionTroy A. Johnson, Rudolf Eigenmann. 181-192 [doi]
- Reducing NoC energy consumption through compiler-directed channel voltage scalingGuangyu Chen, Feihui Li, Mahmut T. Kandemir, Mary Jane Irwin. 193-203 [doi]
- A global progressive register allocatorDavid Ryan Koes, Seth Copen Goldstein. 204-215 [doi]
- Profile-based global live-range splittingTakuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani. 216-227 [doi]
- Automatic instruction scheduler retargeting by reverse-engineeringMatthew J. Bridges, Neil Vachharajani, Guilherme Ottoni, David I. August. 228-238 [doi]
- Online performance auditing: using hot optimizations without getting burnedJeremy Lau, Matthew Arnold, Michael Hind, Brad Calder. 239-251 [doi]
- Cache-conscious coallocation of hot data streamsTrishul M. Chilimbi, Ran Shaham. 252-262 [doi]
- Accurate, efficient, and adaptive calling context profilingXiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi. 263-271 [doi]
- Algorithm specialization in generic programming: challenges of constrained generics in C++Jaakko Järvi, Douglas Gregor, Jeremiah Willcock, Andrew Lumsdaine, Jeremy G. Siek. 272-282 [doi]
- Eventrons: a safe programming construct for high-frequency hard real-time applicationsDaniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove. 283-294 [doi]
- Continuations and transducer compositionOlin Shivers, Matthew Might. 295-307 [doi]
- Effective static race detection for JavaMayur Naik, Alex Aiken, John Whaley. 308-319 [doi]
- LOCKSMITH: context-sensitive correlation analysis for race detectionPolyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks. 320-331 [doi]
- Profile-guided proactive garbage collection for locality optimizationWen-Ke Chen, Sanjay Bhansali, Trishul M. Chilimbi, Xiaofeng Gao, Weihaw Chuang. 332-340 [doi]
- Correctness-preserving derivation of concurrent garbage collection algorithmsMartin T. Vechev, Eran Yahav, David F. Bacon. 341-353 [doi]
- The Compressor: concurrent, incremental, and parallel compactionHaim Kermany, Erez Petrank. 354-363 [doi]
- Free-Me: a static analysis for automatic individual object reclamationSamuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton. 364-375 [doi]
- Combining abstract interpretersSumit Gulwani, Ashish Tiwari. 376-386 [doi]
- Refinement-based context-sensitive points-to analysis for JavaManu Sridharan, Rastislav Bodík. 387-400 [doi]
- Modular verification of assembly code with stack-based control abstractionsXinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni. 401-414 [doi]
- Termination proofs for systems codeByron Cook, Andreas Podelski, Andrey Rybalchenko. 415-426 [doi]