CC '16: "Iguana: A Practical Data-Dependent ..."
Iguana: A Practical Data-Dependent Parsing Framework
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)
@InProceedings{CC16p271,
author = {Ali Afroozeh and Anastasia Izmaylova},
title = {Iguana: A Practical Data-Dependent Parsing Framework},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {271-270},
doi = {},
year = {2016},
}
CC '16: "SYCO: A Systematic Testing ..."
SYCO: A Systematic Testing Tool for Concurrent Objects
Elvira Albert, Miguel Gómez-Zamalloa, and Miguel Isabel
(Complutense University of Madrid, Spain)
@InProceedings{CC16p273,
author = {Elvira Albert and Miguel Gómez-Zamalloa and Miguel Isabel},
title = {SYCO: A Systematic Testing Tool for Concurrent Objects},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2016},
}
CC '16: "Restrictification of Function ..."
Restrictification of Function Arguments
Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré Santos, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)
@InProceedings{CC16p166,
author = {Victor Hugo Sperle Campos and Péricles Rafael Alves and Henrique Nazaré Santos and Fernando Magno Quintão Pereira},
title = {Restrictification of Function Arguments},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2016},
}
CC '16: "Sparse Representation of Implicit ..."
Sparse Representation of Implicit Flows with Applications to Side-Channel Detection
Bruno Rodrigues, Fernando Magno Quintão Pereira, and Diego F. Aranha
(Federal University of Minas Gerais, Brazil; UNICAMP, Brazil)
@InProceedings{CC16p111,
author = {Bruno Rodrigues and Fernando Magno Quintão Pereira and Diego F. Aranha},
title = {Sparse Representation of Implicit Flows with Applications to Side-Channel Detection},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2016},
}
CC '16: "Automatic Data Layout Generation ..."
Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures
Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, and Vivek Sarkar
(Rice University, USA; Intel, USA)
@InProceedings{CC16p243,
author = {Deepak Majeti and Kuldeep S. Meel and Rajkishore Barik and Vivek Sarkar},
title = {Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {243-242},
doi = {},
year = {2016},
}
CC '16: "Mapping Deviation: A Technique ..."
Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality
Cédric Bastoul
(University of Strasbourg, France; Inria, France)
@InProceedings{CC16p232,
author = {Cédric Bastoul},
title = {Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {232-231},
doi = {},
year = {2016},
}
CC '16: "Relaxed Dependence Tracking ..."
Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
(Ohio State University, USA)
@InProceedings{CC16p45,
author = {Minjia Zhang and Swarnendu Biswas and Michael D. Bond},
title = {Relaxed Dependence Tracking for Parallel Runtime Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Instruction ..."
Register Allocation and Instruction Scheduling in Unison
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, and Christian Schulte
(Swedish Institute of Computer Science, Sweden; KTH, Sweden)
@InProceedings{CC16p267,
author = {Roberto Castañeda Lozano and Mats Carlsson and Gabriel Hjort Blindell and Christian Schulte},
title = {Register Allocation and Instruction Scheduling in Unison},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2016},
}
CC '16: "GreenThumb: Superoptimizer ..."
GreenThumb: Superoptimizer Construction Framework
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati
(University of California at Berkeley, USA; Google, USA; University of Washington, USA; Qualcomm Research, USA)
@InProceedings{CC16p265,
author = {Phitchaya Mangpo Phothilimthana and Aditya Thakur and Rastislav Bodik and Dinakar Dhurjati},
title = {GreenThumb: Superoptimizer Construction Framework},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {265-264},
doi = {},
year = {2016},
}
CC '16: "Relaxed Dependence Tracking ..."
Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
(Ohio State University, USA)
@InProceedings{CC16p45,
author = {Minjia Zhang and Swarnendu Biswas and Michael D. Bond},
title = {Relaxed Dependence Tracking for Parallel Runtime Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2016},
}
CC '16: "Verified Construction of Static ..."
Verified Construction of Static Single Assignment Form
Sebastian Buchwald, Denis Lohner, and Sebastian Ullrich
(KIT, Germany)
@InProceedings{CC16p67,
author = {Sebastian Buchwald and Denis Lohner and Sebastian Ullrich},
title = {Verified Construction of Static Single Assignment Form},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {67-66},
doi = {},
year = {2016},
}
CC '16: "Performance Implications of ..."
Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops
Niall Murphy, Timothy Jones, Robert Mullins, and Simone Campanoni
(University of Cambridge, UK; Northwestern University, USA)
@InProceedings{CC16p23,
author = {Niall Murphy and Timothy Jones and Robert Mullins and Simone Campanoni},
title = {Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2016},
}
CC '16: "Reducing Memory Buffering ..."
Reducing Memory Buffering Overhead in Software Thread-Level Speculation
Zhen Cao and Clark Verbrugge
(McGill University, Canada)
@InProceedings{CC16p12,
author = {Zhen Cao and Clark Verbrugge},
title = {Reducing Memory Buffering Overhead in Software Thread-Level Speculation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Instruction ..."
Register Allocation and Instruction Scheduling in Unison
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, and Christian Schulte
(Swedish Institute of Computer Science, Sweden; KTH, Sweden)
@InProceedings{CC16p267,
author = {Roberto Castañeda Lozano and Mats Carlsson and Gabriel Hjort Blindell and Christian Schulte},
title = {Register Allocation and Instruction Scheduling in Unison},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2016},
}
CC '16: "Kindergarten Cop: Dynamic ..."
Kindergarten Cop: Dynamic Nursery Resizing for GHC
Henrique Ferreiro, Laura Castro, Vladimir Janjic, and Kevin Hammond
(Universidade da Coruña, Spain; University of St. Andrews, UK)
@InProceedings{CC16p56,
author = {Henrique Ferreiro and Laura Castro and Vladimir Janjic and Kevin Hammond},
title = {Kindergarten Cop: Dynamic Nursery Resizing for GHC},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2016},
}
CC '16: "Improved MHP Analyses ..."
Improved MHP Analyses
Aravind Sankar, Soham Chakraborty, and V. Krishna Nandivada
(IIT Madras, India; MPI-SWS, Germany)
@InProceedings{CC16p210,
author = {Aravind Sankar and Soham Chakraborty and V. Krishna Nandivada},
title = {Improved MHP Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {210-209},
doi = {},
year = {2016},
}
CC '16: "Extended Lattice-Based Memory ..."
Extended Lattice-Based Memory Allocation
Alain Darte, Alexandre Isoard, and Tomofumi Yuki
(CNRS, France; ENS de Lyon, France; Inria, France)
@InProceedings{CC16p221,
author = {Alain Darte and Alexandre Isoard and Tomofumi Yuki},
title = {Extended Lattice-Based Memory Allocation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {221-220},
doi = {},
year = {2016},
}
CC '16: "Mechanizing Conventional SSA ..."
Mechanizing Conventional SSA for a Verified Destruction with Coalescing
Delphine Demange and Yon Fernandez de Retana
(University of Rennes 1, France; IRISA, France; Inria, France)
@InProceedings{CC16p78,
author = {Delphine Demange and Yon Fernandez de Retana},
title = {Mechanizing Conventional SSA for a Verified Destruction with Coalescing},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2016},
}
CC '16: "GreenThumb: Superoptimizer ..."
GreenThumb: Superoptimizer Construction Framework
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati
(University of California at Berkeley, USA; Google, USA; University of Washington, USA; Qualcomm Research, USA)
@InProceedings{CC16p265,
author = {Phitchaya Mangpo Phothilimthana and Aditya Thakur and Rastislav Bodik and Dinakar Dhurjati},
title = {GreenThumb: Superoptimizer Construction Framework},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {265-264},
doi = {},
year = {2016},
}
CC '16: "Input Space Splitting for ..."
Input Space Splitting for OpenCL
Simon Moll, Johannes Doerfert, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p254,
author = {Simon Moll and Johannes Doerfert and Sebastian Hack},
title = {Input Space Splitting for OpenCL},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {254-253},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Promotion ..."
Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling
Łukasz Domagała, Duco van Amstel, Fabrice Rastello, and P. Sadayappan
(Inria, France; Ohio State University, USA)
@InProceedings{CC16p144,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello and P. Sadayappan},
title = {Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {144-143},
doi = {},
year = {2016},
}
CC '16: "Heap Bounds Protection with ..."
Heap Bounds Protection with Low Fat Pointers
Gregory J. Duck and Roland H. C. Yap
(National University of Singapore, Singapore)
@InProceedings{CC16p133,
author = {Gregory J. Duck and Roland H. C. Yap},
title = {Heap Bounds Protection with Low Fat Pointers},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2016},
}
CC '16: "Multiversioned Decoupled Access-Execute: ..."
Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
@InProceedings{CC16p122,
author = {Konstantinos Koukos and Per Ekemark and Georgios Zacharopoulos and Vasileios Spiliopoulos and Stefanos Kaxiras and Alexandra Jimborean},
title = {Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {122-121},
doi = {},
year = {2016},
}
CC '16: "Mechanizing Conventional SSA ..."
Mechanizing Conventional SSA for a Verified Destruction with Coalescing
Delphine Demange and Yon Fernandez de Retana
(University of Rennes 1, France; IRISA, France; Inria, France)
@InProceedings{CC16p78,
author = {Delphine Demange and Yon Fernandez de Retana},
title = {Mechanizing Conventional SSA for a Verified Destruction with Coalescing},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {78-77},
doi = {},
year = {2016},
}
CC '16: "Kindergarten Cop: Dynamic ..."
Kindergarten Cop: Dynamic Nursery Resizing for GHC
Henrique Ferreiro, Laura Castro, Vladimir Janjic, and Kevin Hammond
(Universidade da Coruña, Spain; University of St. Andrews, UK)
@InProceedings{CC16p56,
author = {Henrique Ferreiro and Laura Castro and Vladimir Janjic and Kevin Hammond},
title = {Kindergarten Cop: Dynamic Nursery Resizing for GHC},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2016},
}
CC '16: "SYCO: A Systematic Testing ..."
SYCO: A Systematic Testing Tool for Concurrent Objects
Elvira Albert, Miguel Gómez-Zamalloa, and Miguel Isabel
(Complutense University of Madrid, Spain)
@InProceedings{CC16p273,
author = {Elvira Albert and Miguel Gómez-Zamalloa and Miguel Isabel},
title = {SYCO: A Systematic Testing Tool for Concurrent Objects},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2016},
}
CC '16: "Automatic Fault Location for ..."
Automatic Fault Location for Data Structures
Vineet Singh, Rajiv Gupta, and Iulian Neamtiu
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
@InProceedings{CC16p100,
author = {Vineet Singh and Rajiv Gupta and Iulian Neamtiu},
title = {Automatic Fault Location for Data Structures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {100-99},
doi = {},
year = {2016},
}
CC '16: "Safe and Flexible Adaptation ..."
Safe and Flexible Adaptation via Alternate Data Structure Representations
Amlan Kusum, Iulian Neamtiu, and Rajiv Gupta
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
@InProceedings{CC16p34,
author = {Amlan Kusum and Iulian Neamtiu and Rajiv Gupta},
title = {Safe and Flexible Adaptation via Alternate Data Structure Representations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2016},
}
CC '16: "Thread-Level Speculation with ..."
Thread-Level Speculation with Kernel Support
Clemens Hammacher, Kevin Streit, Andreas Zeller, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p1,
author = {Clemens Hammacher and Kevin Streit and Andreas Zeller and Sebastian Hack},
title = {Thread-Level Speculation with Kernel Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
CC '16: "Input Space Splitting for ..."
Input Space Splitting for OpenCL
Simon Moll, Johannes Doerfert, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p254,
author = {Simon Moll and Johannes Doerfert and Sebastian Hack},
title = {Input Space Splitting for OpenCL},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {254-253},
doi = {},
year = {2016},
}
CC '16: "Thread-Level Speculation with ..."
Thread-Level Speculation with Kernel Support
Clemens Hammacher, Kevin Streit, Andreas Zeller, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p1,
author = {Clemens Hammacher and Kevin Streit and Andreas Zeller and Sebastian Hack},
title = {Thread-Level Speculation with Kernel Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
CC '16: "Kindergarten Cop: Dynamic ..."
Kindergarten Cop: Dynamic Nursery Resizing for GHC
Henrique Ferreiro, Laura Castro, Vladimir Janjic, and Kevin Hammond
(Universidade da Coruña, Spain; University of St. Andrews, UK)
@InProceedings{CC16p56,
author = {Henrique Ferreiro and Laura Castro and Vladimir Janjic and Kevin Hammond},
title = {Kindergarten Cop: Dynamic Nursery Resizing for GHC},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "SYCO: A Systematic Testing ..."
SYCO: A Systematic Testing Tool for Concurrent Objects
Elvira Albert, Miguel Gómez-Zamalloa, and Miguel Isabel
(Complutense University of Madrid, Spain)
@InProceedings{CC16p273,
author = {Elvira Albert and Miguel Gómez-Zamalloa and Miguel Isabel},
title = {SYCO: A Systematic Testing Tool for Concurrent Objects},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {273-272},
doi = {},
year = {2016},
}
CC '16: "Extended Lattice-Based Memory ..."
Extended Lattice-Based Memory Allocation
Alain Darte, Alexandre Isoard, and Tomofumi Yuki
(CNRS, France; ENS de Lyon, France; Inria, France)
@InProceedings{CC16p221,
author = {Alain Darte and Alexandre Isoard and Tomofumi Yuki},
title = {Extended Lattice-Based Memory Allocation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {221-220},
doi = {},
year = {2016},
}
CC '16: "Iguana: A Practical Data-Dependent ..."
Iguana: A Practical Data-Dependent Parsing Framework
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)
@InProceedings{CC16p271,
author = {Ali Afroozeh and Anastasia Izmaylova},
title = {Iguana: A Practical Data-Dependent Parsing Framework},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {271-270},
doi = {},
year = {2016},
}
CC '16: "Kindergarten Cop: Dynamic ..."
Kindergarten Cop: Dynamic Nursery Resizing for GHC
Henrique Ferreiro, Laura Castro, Vladimir Janjic, and Kevin Hammond
(Universidade da Coruña, Spain; University of St. Andrews, UK)
@InProceedings{CC16p56,
author = {Henrique Ferreiro and Laura Castro and Vladimir Janjic and Kevin Hammond},
title = {Kindergarten Cop: Dynamic Nursery Resizing for GHC},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {56-55},
doi = {},
year = {2016},
}
CC '16: "Multiversioned Decoupled Access-Execute: ..."
Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
@InProceedings{CC16p122,
author = {Konstantinos Koukos and Per Ekemark and Georgios Zacharopoulos and Vasileios Spiliopoulos and Stefanos Kaxiras and Alexandra Jimborean},
title = {Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {122-121},
doi = {},
year = {2016},
}
CC '16: "Performance Implications of ..."
Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops
Niall Murphy, Timothy Jones, Robert Mullins, and Simone Campanoni
(University of Cambridge, UK; Northwestern University, USA)
@InProceedings{CC16p23,
author = {Niall Murphy and Timothy Jones and Robert Mullins and Simone Campanoni},
title = {Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2016},
}
CC '16: "On Fast Large-Scale Program ..."
On Fast Large-Scale Program Analysis in Datalog
Bernhard Scholz, Herbert Jordan, Pavle Subotić, and Till Westmann
(Oracle Labs, Australia; University College London, UK; Oracle Labs, USA)
@InProceedings{CC16p199,
author = {Bernhard Scholz and Herbert Jordan and Pavle Subotić and Till Westmann},
title = {On Fast Large-Scale Program Analysis in Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {199-198},
doi = {},
year = {2016},
}
CC '16: "Multiversioned Decoupled Access-Execute: ..."
Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
@InProceedings{CC16p122,
author = {Konstantinos Koukos and Per Ekemark and Georgios Zacharopoulos and Vasileios Spiliopoulos and Stefanos Kaxiras and Alexandra Jimborean},
title = {Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {122-121},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "Multiversioned Decoupled Access-Execute: ..."
Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
@InProceedings{CC16p122,
author = {Konstantinos Koukos and Per Ekemark and Georgios Zacharopoulos and Vasileios Spiliopoulos and Stefanos Kaxiras and Alexandra Jimborean},
title = {Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {122-121},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "Safe and Flexible Adaptation ..."
Safe and Flexible Adaptation via Alternate Data Structure Representations
Amlan Kusum, Iulian Neamtiu, and Rajiv Gupta
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
@InProceedings{CC16p34,
author = {Amlan Kusum and Iulian Neamtiu and Rajiv Gupta},
title = {Safe and Flexible Adaptation via Alternate Data Structure Representations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2016},
}
CC '16: "Verified Construction of Static ..."
Verified Construction of Static Single Assignment Form
Sebastian Buchwald, Denis Lohner, and Sebastian Ullrich
(KIT, Germany)
@InProceedings{CC16p67,
author = {Sebastian Buchwald and Denis Lohner and Sebastian Ullrich},
title = {Verified Construction of Static Single Assignment Form},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {67-66},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Instruction ..."
Register Allocation and Instruction Scheduling in Unison
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, and Christian Schulte
(Swedish Institute of Computer Science, Sweden; KTH, Sweden)
@InProceedings{CC16p267,
author = {Roberto Castañeda Lozano and Mats Carlsson and Gabriel Hjort Blindell and Christian Schulte},
title = {Register Allocation and Instruction Scheduling in Unison},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2016},
}
CC '16: "Automatic Data Layout Generation ..."
Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures
Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, and Vivek Sarkar
(Rice University, USA; Intel, USA)
@InProceedings{CC16p243,
author = {Deepak Majeti and Kuldeep S. Meel and Rajkishore Barik and Vivek Sarkar},
title = {Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {243-242},
doi = {},
year = {2016},
}
CC '16: "Automatic Data Layout Generation ..."
Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures
Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, and Vivek Sarkar
(Rice University, USA; Intel, USA)
@InProceedings{CC16p243,
author = {Deepak Majeti and Kuldeep S. Meel and Rajkishore Barik and Vivek Sarkar},
title = {Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {243-242},
doi = {},
year = {2016},
}
CC '16: "Input Space Splitting for ..."
Input Space Splitting for OpenCL
Simon Moll, Johannes Doerfert, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p254,
author = {Simon Moll and Johannes Doerfert and Sebastian Hack},
title = {Input Space Splitting for OpenCL},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {254-253},
doi = {},
year = {2016},
}
CC '16: "Performance Implications of ..."
Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops
Niall Murphy, Timothy Jones, Robert Mullins, and Simone Campanoni
(University of Cambridge, UK; Northwestern University, USA)
@InProceedings{CC16p23,
author = {Niall Murphy and Timothy Jones and Robert Mullins and Simone Campanoni},
title = {Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2016},
}
CC '16: "Performance Implications of ..."
Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops
Niall Murphy, Timothy Jones, Robert Mullins, and Simone Campanoni
(University of Cambridge, UK; Northwestern University, USA)
@InProceedings{CC16p23,
author = {Niall Murphy and Timothy Jones and Robert Mullins and Simone Campanoni},
title = {Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2016},
}
CC '16: "Improved MHP Analyses ..."
Improved MHP Analyses
Aravind Sankar, Soham Chakraborty, and V. Krishna Nandivada
(IIT Madras, India; MPI-SWS, Germany)
@InProceedings{CC16p210,
author = {Aravind Sankar and Soham Chakraborty and V. Krishna Nandivada},
title = {Improved MHP Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {210-209},
doi = {},
year = {2016},
}
CC '16: "Restrictification of Function ..."
Restrictification of Function Arguments
Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré Santos, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)
@InProceedings{CC16p166,
author = {Victor Hugo Sperle Campos and Péricles Rafael Alves and Henrique Nazaré Santos and Fernando Magno Quintão Pereira},
title = {Restrictification of Function Arguments},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2016},
}
CC '16: "Automatic Fault Location for ..."
Automatic Fault Location for Data Structures
Vineet Singh, Rajiv Gupta, and Iulian Neamtiu
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
@InProceedings{CC16p100,
author = {Vineet Singh and Rajiv Gupta and Iulian Neamtiu},
title = {Automatic Fault Location for Data Structures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {100-99},
doi = {},
year = {2016},
}
CC '16: "Safe and Flexible Adaptation ..."
Safe and Flexible Adaptation via Alternate Data Structure Representations
Amlan Kusum, Iulian Neamtiu, and Rajiv Gupta
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
@InProceedings{CC16p34,
author = {Amlan Kusum and Iulian Neamtiu and Rajiv Gupta},
title = {Safe and Flexible Adaptation via Alternate Data Structure Representations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2016},
}
CC '16: "Static Deadlock Detection ..."
Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis
Nicholas Ng and Nobuko Yoshida
(Imperial College London, UK)
@InProceedings{CC16p177,
author = {Nicholas Ng and Nobuko Yoshida},
title = {Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {177-176},
doi = {},
year = {2016},
}
CC '16: "GreenThumb: Superoptimizer ..."
GreenThumb: Superoptimizer Construction Framework
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati
(University of California at Berkeley, USA; Google, USA; University of Washington, USA; Qualcomm Research, USA)
@InProceedings{CC16p265,
author = {Phitchaya Mangpo Phothilimthana and Aditya Thakur and Rastislav Bodik and Dinakar Dhurjati},
title = {GreenThumb: Superoptimizer Construction Framework},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {265-264},
doi = {},
year = {2016},
}
CC '16: "Reachability and Error Diagnosis ..."
Reachability and Error Diagnosis in LR(1) Parsers
François Pottier
(Inria, France)
@InProceedings{CC16p89,
author = {François Pottier},
title = {Reachability and Error Diagnosis in LR(1) Parsers},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {89-88},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "Sparse Representation of Implicit ..."
Sparse Representation of Implicit Flows with Applications to Side-Channel Detection
Bruno Rodrigues, Fernando Magno Quintão Pereira, and Diego F. Aranha
(Federal University of Minas Gerais, Brazil; UNICAMP, Brazil)
@InProceedings{CC16p111,
author = {Bruno Rodrigues and Fernando Magno Quintão Pereira and Diego F. Aranha},
title = {Sparse Representation of Implicit Flows with Applications to Side-Channel Detection},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2016},
}
CC '16: "Restrictification of Function ..."
Restrictification of Function Arguments
Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré Santos, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)
@InProceedings{CC16p166,
author = {Victor Hugo Sperle Campos and Péricles Rafael Alves and Henrique Nazaré Santos and Fernando Magno Quintão Pereira},
title = {Restrictification of Function Arguments},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Promotion ..."
Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling
Łukasz Domagała, Duco van Amstel, Fabrice Rastello, and P. Sadayappan
(Inria, France; Ohio State University, USA)
@InProceedings{CC16p144,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello and P. Sadayappan},
title = {Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {144-143},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "Sparse Representation of Implicit ..."
Sparse Representation of Implicit Flows with Applications to Side-Channel Detection
Bruno Rodrigues, Fernando Magno Quintão Pereira, and Diego F. Aranha
(Federal University of Minas Gerais, Brazil; UNICAMP, Brazil)
@InProceedings{CC16p111,
author = {Bruno Rodrigues and Fernando Magno Quintão Pereira and Diego F. Aranha},
title = {Sparse Representation of Implicit Flows with Applications to Side-Channel Detection},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {111-110},
doi = {},
year = {2016},
}
CC '16: "Static Detection of Energy ..."
Static Detection of Energy Defect Patterns in Android Applications
Haowei Wu, Shengqian Yang, and Atanas Rountev
(Ohio State University, USA)
@InProceedings{CC16p188,
author = {Haowei Wu and Shengqian Yang and Atanas Rountev},
title = {Static Detection of Energy Defect Patterns in Android Applications},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {188-187},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Promotion ..."
Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling
Łukasz Domagała, Duco van Amstel, Fabrice Rastello, and P. Sadayappan
(Inria, France; Ohio State University, USA)
@InProceedings{CC16p144,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello and P. Sadayappan},
title = {Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {144-143},
doi = {},
year = {2016},
}
CC '16: "On Fusing Recursive Traversals ..."
On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
@InProceedings{CC16p155,
author = {Samyam Rajbhandari and Jinsung Kim and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and Robert J. Harrison and P. Sadayappan},
title = {On Fusing Recursive Traversals of K-d Trees},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {155-154},
doi = {},
year = {2016},
}
CC '16: "Improved MHP Analyses ..."
Improved MHP Analyses
Aravind Sankar, Soham Chakraborty, and V. Krishna Nandivada
(IIT Madras, India; MPI-SWS, Germany)
@InProceedings{CC16p210,
author = {Aravind Sankar and Soham Chakraborty and V. Krishna Nandivada},
title = {Improved MHP Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {210-209},
doi = {},
year = {2016},
}
CC '16: "Automatic Data Layout Generation ..."
Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures
Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, and Vivek Sarkar
(Rice University, USA; Intel, USA)
@InProceedings{CC16p243,
author = {Deepak Majeti and Kuldeep S. Meel and Rajkishore Barik and Vivek Sarkar},
title = {Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {243-242},
doi = {},
year = {2016},
}
CC '16: "On Fast Large-Scale Program ..."
On Fast Large-Scale Program Analysis in Datalog
Bernhard Scholz, Herbert Jordan, Pavle Subotić, and Till Westmann
(Oracle Labs, Australia; University College London, UK; Oracle Labs, USA)
@InProceedings{CC16p199,
author = {Bernhard Scholz and Herbert Jordan and Pavle Subotić and Till Westmann},
title = {On Fast Large-Scale Program Analysis in Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {199-198},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Instruction ..."
Register Allocation and Instruction Scheduling in Unison
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, and Christian Schulte
(Swedish Institute of Computer Science, Sweden; KTH, Sweden)
@InProceedings{CC16p267,
author = {Roberto Castañeda Lozano and Mats Carlsson and Gabriel Hjort Blindell and Christian Schulte},
title = {Register Allocation and Instruction Scheduling in Unison},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {267-266},
doi = {},
year = {2016},
}
CC '16: "Automatic Fault Location for ..."
Automatic Fault Location for Data Structures
Vineet Singh, Rajiv Gupta, and Iulian Neamtiu
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
@InProceedings{CC16p100,
author = {Vineet Singh and Rajiv Gupta and Iulian Neamtiu},
title = {Automatic Fault Location for Data Structures},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {100-99},
doi = {},
year = {2016},
}
CC '16: "Restrictification of Function ..."
Restrictification of Function Arguments
Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré Santos, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)
@InProceedings{CC16p166,
author = {Victor Hugo Sperle Campos and Péricles Rafael Alves and Henrique Nazaré Santos and Fernando Magno Quintão Pereira},
title = {Restrictification of Function Arguments},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {166-165},
doi = {},
year = {2016},
}
CC '16: "Multiversioned Decoupled Access-Execute: ..."
Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
@InProceedings{CC16p122,
author = {Konstantinos Koukos and Per Ekemark and Georgios Zacharopoulos and Vasileios Spiliopoulos and Stefanos Kaxiras and Alexandra Jimborean},
title = {Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {122-121},
doi = {},
year = {2016},
}
CC '16: "Thread-Level Speculation with ..."
Thread-Level Speculation with Kernel Support
Clemens Hammacher, Kevin Streit, Andreas Zeller, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p1,
author = {Clemens Hammacher and Kevin Streit and Andreas Zeller and Sebastian Hack},
title = {Thread-Level Speculation with Kernel Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
CC '16: "On Fast Large-Scale Program ..."
On Fast Large-Scale Program Analysis in Datalog
Bernhard Scholz, Herbert Jordan, Pavle Subotić, and Till Westmann
(Oracle Labs, Australia; University College London, UK; Oracle Labs, USA)
@InProceedings{CC16p199,
author = {Bernhard Scholz and Herbert Jordan and Pavle Subotić and Till Westmann},
title = {On Fast Large-Scale Program Analysis in Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {199-198},
doi = {},
year = {2016},
}
CC '16: "SVF: Interprocedural Static ..."
SVF: Interprocedural Static Value-Flow Analysis in LLVM
Yulei Sui and Jingling Xue
(UNSW, Australia)
@InProceedings{CC16p269,
author = {Yulei Sui and Jingling Xue},
title = {SVF: Interprocedural Static Value-Flow Analysis in LLVM},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {269-268},
doi = {},
year = {2016},
}
CC '16: "GreenThumb: Superoptimizer ..."
GreenThumb: Superoptimizer Construction Framework
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati
(University of California at Berkeley, USA; Google, USA; University of Washington, USA; Qualcomm Research, USA)
@InProceedings{CC16p265,
author = {Phitchaya Mangpo Phothilimthana and Aditya Thakur and Rastislav Bodik and Dinakar Dhurjati},
title = {GreenThumb: Superoptimizer Construction Framework},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {265-264},
doi = {},
year = {2016},
}
CC '16: "Verified Construction of Static ..."
Verified Construction of Static Single Assignment Form
Sebastian Buchwald, Denis Lohner, and Sebastian Ullrich
(KIT, Germany)
@InProceedings{CC16p67,
author = {Sebastian Buchwald and Denis Lohner and Sebastian Ullrich},
title = {Verified Construction of Static Single Assignment Form},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {67-66},
doi = {},
year = {2016},
}
CC '16: "Register Allocation and Promotion ..."
Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling
Łukasz Domagała, Duco van Amstel, Fabrice Rastello, and P. Sadayappan
(Inria, France; Ohio State University, USA)
@InProceedings{CC16p144,
author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello and P. Sadayappan},
title = {Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {144-143},
doi = {},
year = {2016},
}
CC '16: "Reducing Memory Buffering ..."
Reducing Memory Buffering Overhead in Software Thread-Level Speculation
Zhen Cao and Clark Verbrugge
(McGill University, Canada)
@InProceedings{CC16p12,
author = {Zhen Cao and Clark Verbrugge},
title = {Reducing Memory Buffering Overhead in Software Thread-Level Speculation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2016},
}
CC '16: "On Fast Large-Scale Program ..."
On Fast Large-Scale Program Analysis in Datalog
Bernhard Scholz, Herbert Jordan, Pavle Subotić, and Till Westmann
(Oracle Labs, Australia; University College London, UK; Oracle Labs, USA)
@InProceedings{CC16p199,
author = {Bernhard Scholz and Herbert Jordan and Pavle Subotić and Till Westmann},
title = {On Fast Large-Scale Program Analysis in Datalog},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {199-198},
doi = {},
year = {2016},
}
CC '16: "Static Detection of Energy ..."
Static Detection of Energy Defect Patterns in Android Applications
Haowei Wu, Shengqian Yang, and Atanas Rountev
(Ohio State University, USA)
@InProceedings{CC16p188,
author = {Haowei Wu and Shengqian Yang and Atanas Rountev},
title = {Static Detection of Energy Defect Patterns in Android Applications},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {188-187},
doi = {},
year = {2016},
}
CC '16: "SVF: Interprocedural Static ..."
SVF: Interprocedural Static Value-Flow Analysis in LLVM
Yulei Sui and Jingling Xue
(UNSW, Australia)
@InProceedings{CC16p269,
author = {Yulei Sui and Jingling Xue},
title = {SVF: Interprocedural Static Value-Flow Analysis in LLVM},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {269-268},
doi = {},
year = {2016},
}
CC '16: "Static Detection of Energy ..."
Static Detection of Energy Defect Patterns in Android Applications
Haowei Wu, Shengqian Yang, and Atanas Rountev
(Ohio State University, USA)
@InProceedings{CC16p188,
author = {Haowei Wu and Shengqian Yang and Atanas Rountev},
title = {Static Detection of Energy Defect Patterns in Android Applications},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {188-187},
doi = {},
year = {2016},
}
CC '16: "Heap Bounds Protection with ..."
Heap Bounds Protection with Low Fat Pointers
Gregory J. Duck and Roland H. C. Yap
(National University of Singapore, Singapore)
@InProceedings{CC16p133,
author = {Gregory J. Duck and Roland H. C. Yap},
title = {Heap Bounds Protection with Low Fat Pointers},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {133-132},
doi = {},
year = {2016},
}
CC '16: "Static Deadlock Detection ..."
Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis
Nicholas Ng and Nobuko Yoshida
(Imperial College London, UK)
@InProceedings{CC16p177,
author = {Nicholas Ng and Nobuko Yoshida},
title = {Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {177-176},
doi = {},
year = {2016},
}
CC '16: "Extended Lattice-Based Memory ..."
Extended Lattice-Based Memory Allocation
Alain Darte, Alexandre Isoard, and Tomofumi Yuki
(CNRS, France; ENS de Lyon, France; Inria, France)
@InProceedings{CC16p221,
author = {Alain Darte and Alexandre Isoard and Tomofumi Yuki},
title = {Extended Lattice-Based Memory Allocation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {221-220},
doi = {},
year = {2016},
}
CC '16: "Multiversioned Decoupled Access-Execute: ..."
Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
@InProceedings{CC16p122,
author = {Konstantinos Koukos and Per Ekemark and Georgios Zacharopoulos and Vasileios Spiliopoulos and Stefanos Kaxiras and Alexandra Jimborean},
title = {Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {122-121},
doi = {},
year = {2016},
}
CC '16: "Thread-Level Speculation with ..."
Thread-Level Speculation with Kernel Support
Clemens Hammacher, Kevin Streit, Andreas Zeller, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC16p1,
author = {Clemens Hammacher and Kevin Streit and Andreas Zeller and Sebastian Hack},
title = {Thread-Level Speculation with Kernel Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
CC '16: "Relaxed Dependence Tracking ..."
Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
(Ohio State University, USA)
@InProceedings{CC16p45,
author = {Minjia Zhang and Swarnendu Biswas and Michael D. Bond},
title = {Relaxed Dependence Tracking for Parallel Runtime Support},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2016},
}