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