default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25. CC 2016: Barcelona, Spain
- Ayal Zaks, Manuel V. Hermenegildo:
Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016. ACM 2016, ISBN 978-1-4503-4241-4
Speculation
- Clemens Hammacher, Kevin Streit, Andreas Zeller
, Sebastian Hack:
Thread-level speculation with kernel support. 1-11 - Zhen Cao, Clark Verbrugge:
Reducing memory buffering overhead in software thread-level speculation. 12-22 - Niall Murphy, Timothy M. Jones, Robert D. Mullins, Simone Campanoni:
Performance implications of transient loop-carried data dependences in automatically parallelized loops. 23-33
Run-Time Techniques
- Amlan Kusum, Iulian Neamtiu, Rajiv Gupta:
Safe and flexible adaptation via alternate data structure representations. 34-44 - Minjia Zhang, Swarnendu Biswas, Michael D. Bond:
Relaxed dependence tracking for parallel runtime support. 45-55 - Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond:
Kindergarten cop: dynamic nursery resizing for GHC. 56-66
Verified Compilation
- Sebastian Buchwald, Denis Lohner, Sebastian Ullrich:
Verified construction of static single assignment form. 67-76 - Delphine Demange, Yon Fernández de Retana:
Mechanizing conventional SSA for a verified destruction with coalescing. 77-87 - François Pottier:
Reachability and error diagnosis in LR(1) parsers. 88-98
Verification
- Vineet Singh, Rajiv Gupta, Iulian Neamtiu:
Automatic fault location for data structures. 99-109 - Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha:
Sparse representation of implicit flows with applications to side-channel detection. 110-120
Energy and Dynamic Checking
- Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean:
Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs. 121-131 - Gregory J. Duck, Roland H. C. Yap:
Heap bounds protection with low fat pointers. 132-142
Static and Dynamic Optimization
- Lukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan:
Register allocation and promotion through combined instruction scheduling and loop unrolling. 143-151 - Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, P. Sadayappan:
On fusing recursive traversals of K-d trees. 152-162 - Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira:
Restrictification of function arguments. 163-173
Static Analysis
- Nicholas Ng, Nobuko Yoshida:
Static deadlock detection for concurrent go by global session graph synthesis. 174-184 - Haowei Wu, Shengqian Yang, Atanas Rountev:
Static detection of energy defect patterns in Android applications. 185-195 - Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann:
On fast large-scale program analysis in Datalog. 196-206 - Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada:
Improved MHP Analysis. 207-217
Data Layout and Polyhedral Techniques
- Alain Darte, Alexandre Isoard, Tomofumi Yuki:
Extended lattice-based memory allocation. 218-228 - Cédric Bastoul:
Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality. 229-239 - Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar:
Automatic data layout generation and kernel mapping for CPU+GPU architectures. 240-250 - Simon Moll, Johannes Doerfert, Sebastian Hack:
Input space splitting for OpenCL. 251-260
Tool Demonstrations
- Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati:
GreenThumb: superoptimizer construction framework. 261-262 - Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte:
Register allocation and instruction scheduling in Unison. 263-264 - Yulei Sui, Jingling Xue:
SVF: interprocedural static value-flow analysis in LLVM. 265-266 - Ali Afroozeh, Anastasia Izmaylova:
Iguana: a practical data-dependent parsing framework. 267-268 - Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
SYCO: a systematic testing tool for concurrent objects. 269-270
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
