CC 2016

29 papers

1. Automatic data layout generation and kernel mapping for CPU+GPU architectures · Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar
2. Automatic fault location for data structures · Vineet Singh, Rajiv Gupta, Iulian Neamtiu
3. Extended lattice-based memory allocation · Alain Darte, Alexandre Isoard, Tomofumi Yuki
4. GreenThumb: superoptimizer construction framework · Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati
5. Heap bounds protection with low fat pointers · Gregory J. Duck, Roland H. C. Yap
6. Iguana: a practical data-dependent parsing framework · Ali Afroozeh, Anastasia Izmaylova
7. Improved MHP Analysis · Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada
8. Input space splitting for OpenCL · Simon Moll, Johannes Doerfert, Sebastian Hack
9. Kindergarten cop: dynamic nursery resizing for GHC · Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond
10. Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality · Cédric Bastoul
11. Mechanizing conventional SSA for a verified destruction with coalescing · Delphine Demange, Yon Fernández de Retana
12. Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs · Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean
13. On fast large-scale program analysis in Datalog · Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann
14. On fusing recursive traversals of K-d trees · Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison + 1 more
15. Performance implications of transient loop-carried data dependences in automatically parallelized loops · Niall Murphy, Timothy M. Jones, Robert Mullins, Simone Campanoni
16. Reachability and error diagnosis in LR(1) parsers · François Pottier
17. Reducing memory buffering overhead in software thread-level speculation · Zhen Cao, Clark Verbrugge
18. Register allocation and instruction scheduling in Unison · Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
19. Register allocation and promotion through combined instruction scheduling and loop unrolling · Lukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan
20. Relaxed dependence tracking for parallel runtime support · Minjia Zhang, Swarnendu Biswas, Michael D. Bond
21. Restrictification of function arguments · Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira
22. SVF: interprocedural static value-flow analysis in LLVM · Yulei Sui, Jingling Xue
23. SYCO: a systematic testing tool for concurrent objects · Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
24. Safe and flexible adaptation via alternate data structure representations · Amlan Kusum, Iulian Neamtiu, Rajiv Gupta
25. Sparse representation of implicit flows with applications to side-channel detection · Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha
26. Static deadlock detection for concurrent go by global session graph synthesis · Nicholas Ng, Nobuko Yoshida
27. Static detection of energy defect patterns in Android applications · Haowei Wu, Shengqian Yang, Atanas Rountev
28. Thread-level speculation with kernel support · Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack
29. Verified construction of static single assignment form · Sebastian Buchwald, Denis Lohner, Sebastian Ullrich