Abstract is missing.
- Thread-level speculation with kernel supportClemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack. 1-11 [doi]
- Reducing memory buffering overhead in software thread-level speculationZhen Cao, Clark Verbrugge. 12-22 [doi]
- Performance implications of transient loop-carried data dependences in automatically parallelized loopsNiall Murphy, Timothy M. Jones, Robert Mullins, Simone Campanoni. 23-33 [doi]
- Safe and flexible adaptation via alternate data structure representationsAmlan Kusum, Iulian Neamtiu, Rajiv Gupta. 34-44 [doi]
- Relaxed dependence tracking for parallel runtime supportMinjia Zhang, Swarnendu Biswas, Michael D. Bond. 45-55 [doi]
- Kindergarten cop: dynamic nursery resizing for GHCHenrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond. 56-66 [doi]
- Verified construction of static single assignment formSebastian Buchwald, Denis Lohner, Sebastian Ullrich. 67-76 [doi]
- Mechanizing conventional SSA for a verified destruction with coalescingDelphine Demange, Yon Fernandez de Retana. 77-87 [doi]
- Reachability and error diagnosis in LR(1) parsersFrançois Pottier. 88-98 [doi]
- Automatic fault location for data structuresVineet Singh, Rajiv Gupta, Iulian Neamtiu. 99-109 [doi]
- Sparse representation of implicit flows with applications to side-channel detectionBruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha. 110-120 [doi]
- Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programsKonstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean. 121-131 [doi]
- Heap bounds protection with low fat pointersGregory J. Duck, Roland H. C. Yap. 132-142 [doi]
- Register allocation and promotion through combined instruction scheduling and loop unrollingLukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan. 143-151 [doi]
- On fusing recursive traversals of K-d treesSamyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, P. Sadayappan. 152-162 [doi]
- Restrictification of function argumentsVictor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira. 163-173 [doi]
- Static deadlock detection for concurrent go by global session graph synthesisNicholas Ng, Nobuko Yoshida. 174-184 [doi]
- Static detection of energy defect patterns in Android applicationsHaowei Wu, Shengqian Yang, Atanas Rountev. 185-195 [doi]
- On fast large-scale program analysis in DatalogBernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann. 196-206 [doi]
- Improved MHP AnalysisAravind Sankar, Soham Chakraborty, V. Krishna Nandivada. 207-217 [doi]
- Extended lattice-based memory allocationAlain Darte, Alexandre Isoard, Tomofumi Yuki. 218-228 [doi]
- Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legalityCédric Bastoul. 229-239 [doi]
- Automatic data layout generation and kernel mapping for CPU+GPU architecturesDeepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar. 240-250 [doi]
- Input space splitting for OpenCLSimon Moll, Johannes Doerfert, Sebastian Hack. 251-260 [doi]
- GreenThumb: superoptimizer construction frameworkPhitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati. 261-262 [doi]
- Register allocation and instruction scheduling in UnisonRoberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte. 263-264 [doi]
- SVF: interprocedural static value-flow analysis in LLVMYulei Sui, Jingling Xue. 265-266 [doi]
- Iguana: a practical data-dependent parsing frameworkAli Afroozeh, Anastasia Izmaylova. 267-268 [doi]
- SYCO: a systematic testing tool for concurrent objectsElvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel. 269-270 [doi]