CC 2016 – Author Index

A B C D E F G H I J K L M N P Q R S T U V W X Y Z

	Afroozeh, Ali	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}, } Article: cc16main-mainid78-p (type: Short Paper (2 pages)) doi:
	Albert, Elvira	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}, } Article: cc16main-mainid93-p (type: Short Paper (2 pages)) doi:
	Alves, Péricles Rafael	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}, } Article: cc16main-mainid28-p (type: Full Paper (11 pages)) doi:
	Aranha, Diego F.	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}, } Article: cc16main-mainid26-p (type: Full Paper (11 pages)) doi:
	Barik, Rajkishore	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}, } Article: cc16main-mainid25-p (type: Full Paper (11 pages)) doi:
	Bastoul, Cédric	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}, } Article: cc16main-mainid36-p (type: Full Paper (11 pages)) doi:
	Biswas, Swarnendu	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}, } Article: cc16main-mainid6-p (type: Full Paper (11 pages)) doi:
	Blindell, Gabriel Hjort	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}, } Article: cc16main-mainid7-p (type: Short Paper (2 pages)) doi:
	Bodik, Rastislav	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}, } Article: cc16main-mainid85-p (type: Short Paper (2 pages)) doi:
	Bond, Michael D.	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}, } Article: cc16main-mainid6-p (type: Full Paper (11 pages)) doi:
	Buchwald, Sebastian	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}, } Article: cc16main-mainid43-p (type: Full Paper (11 pages)) doi:
	Campanoni, Simone	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}, } Article: cc16main-mainid30-p (type: Full Paper (11 pages)) doi:
	Cao, Zhen	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}, } Article: cc16main-mainid76-p (type: Full Paper (11 pages)) doi:
	Carlsson, Mats	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}, } Article: cc16main-mainid7-p (type: Short Paper (2 pages)) doi:
	Castro, Laura	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}, } Article: cc16main-mainid94-p (type: Full Paper (11 pages)) doi:
	Chakraborty, Soham	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}, } Article: cc16main-mainid32-p (type: Full Paper (11 pages)) doi:
	Darte, Alain	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}, } Article: cc16main-mainid96-p (type: Full Paper (11 pages)) doi:
	Demange, Delphine	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}, } Article: cc16main-mainid57-p (type: Full Paper (11 pages)) doi:
	Dhurjati, Dinakar	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}, } Article: cc16main-mainid85-p (type: Short Paper (2 pages)) doi:
	Doerfert, Johannes	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}, } Article: cc16main-mainid41-p (type: Full Paper (11 pages)) doi:
	Domagała, Łukasz	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}, } Article: cc16main-mainid63-p (type: Full Paper (11 pages)) doi:
	Duck, Gregory J.	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}, } Article: cc16main-mainid89-p (type: Full Paper (11 pages)) doi:
	Ekemark, Per	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}, } Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:
	Fernandez de Retana, Yon	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}, } Article: cc16main-mainid57-p (type: Full Paper (11 pages)) doi:
	Ferreiro, Henrique	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}, } Article: cc16main-mainid94-p (type: Full Paper (11 pages)) doi:
	Gómez-Zamalloa, Miguel	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}, } Article: cc16main-mainid93-p (type: Short Paper (2 pages)) doi:
	Gupta, Rajiv	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}, } Article: cc16main-mainid33-p (type: Full Paper (11 pages)) doi: 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}, } Article: cc16main-mainid102-p (type: Full Paper (11 pages)) doi:
	Hack, Sebastian	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}, } Article: cc16main-mainid56-p (type: Full Paper (11 pages)) doi: 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}, } Article: cc16main-mainid41-p (type: Full Paper (11 pages)) doi:
	Hammacher, Clemens	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}, } Article: cc16main-mainid56-p (type: Full Paper (11 pages)) doi:
	Hammond, Kevin	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}, } Article: cc16main-mainid94-p (type: Full Paper (11 pages)) doi:
	Harrison, Robert J.	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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Isabel, Miguel	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}, } Article: cc16main-mainid93-p (type: Short Paper (2 pages)) doi:
	Isoard, Alexandre	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}, } Article: cc16main-mainid96-p (type: Full Paper (11 pages)) doi:
	Izmaylova, Anastasia	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}, } Article: cc16main-mainid78-p (type: Short Paper (2 pages)) doi:
	Janjic, Vladimir	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}, } Article: cc16main-mainid94-p (type: Full Paper (11 pages)) doi:
	Jimborean, Alexandra	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}, } Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:
	Jones, Timothy	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}, } Article: cc16main-mainid30-p (type: Full Paper (11 pages)) doi:
	Jordan, Herbert	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}, } Article: cc16main-mainid37-p (type: Full Paper (11 pages)) doi:
	Kaxiras, Stefanos	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}, } Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:
	Kim, Jinsung	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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Koukos, Konstantinos	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}, } Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:
	Krishnamoorthy, Sriram	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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Kusum, Amlan	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}, } Article: cc16main-mainid102-p (type: Full Paper (11 pages)) doi:
	Lohner, Denis	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}, } Article: cc16main-mainid43-p (type: Full Paper (11 pages)) doi:
	Lozano, Roberto Castañeda	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}, } Article: cc16main-mainid7-p (type: Short Paper (2 pages)) doi:
	Majeti, Deepak	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}, } Article: cc16main-mainid25-p (type: Full Paper (11 pages)) doi:
	Meel, Kuldeep S.	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}, } Article: cc16main-mainid25-p (type: Full Paper (11 pages)) doi:
	Moll, Simon	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}, } Article: cc16main-mainid41-p (type: Full Paper (11 pages)) doi:
	Mullins, Robert	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}, } Article: cc16main-mainid30-p (type: Full Paper (11 pages)) doi:
	Murphy, Niall	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}, } Article: cc16main-mainid30-p (type: Full Paper (11 pages)) doi:
	Nandivada, V. Krishna	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}, } Article: cc16main-mainid32-p (type: Full Paper (11 pages)) doi:
	Nazaré Santos, Henrique	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}, } Article: cc16main-mainid28-p (type: Full Paper (11 pages)) doi:
	Neamtiu, Iulian	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}, } Article: cc16main-mainid33-p (type: Full Paper (11 pages)) doi: 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}, } Article: cc16main-mainid102-p (type: Full Paper (11 pages)) doi:
	Ng, Nicholas	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}, } Article: cc16main-mainid59-p (type: Full Paper (11 pages)) doi:
	Phothilimthana, Phitchaya Mangpo	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}, } Article: cc16main-mainid85-p (type: Short Paper (2 pages)) doi:
	Pottier, François	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}, } Article: cc16main-mainid10-p (type: Full Paper (11 pages)) doi:
	Pouchet, Louis-Noël	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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Quintão Pereira, Fernando Magno	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}, } Article: cc16main-mainid26-p (type: Full Paper (11 pages)) doi: 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}, } Article: cc16main-mainid28-p (type: Full Paper (11 pages)) doi:
	Rajbhandari, Samyam	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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Rastello, Fabrice	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}, } Article: cc16main-mainid63-p (type: Full Paper (11 pages)) doi: 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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Rodrigues, Bruno	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}, } Article: cc16main-mainid26-p (type: Full Paper (11 pages)) doi:
	Rountev, Atanas	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}, } Article: cc16main-mainid50-p (type: Full Paper (11 pages)) doi:
	Sadayappan, P.	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}, } Article: cc16main-mainid63-p (type: Full Paper (11 pages)) doi: 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}, } Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:
	Sankar, Aravind	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}, } Article: cc16main-mainid32-p (type: Full Paper (11 pages)) doi:
	Sarkar, Vivek	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}, } Article: cc16main-mainid25-p (type: Full Paper (11 pages)) doi:
	Scholz, Bernhard	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}, } Article: cc16main-mainid37-p (type: Full Paper (11 pages)) doi:
	Schulte, Christian	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}, } Article: cc16main-mainid7-p (type: Short Paper (2 pages)) doi:
	Singh, Vineet	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}, } Article: cc16main-mainid33-p (type: Full Paper (11 pages)) doi:
	Sperle Campos, Victor Hugo	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}, } Article: cc16main-mainid28-p (type: Full Paper (11 pages)) doi:
	Spiliopoulos, Vasileios	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}, } Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:
	Streit, Kevin	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}, } Article: cc16main-mainid56-p (type: Full Paper (11 pages)) doi:
	Subotić, Pavle	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}, } Article: cc16main-mainid37-p (type: Full Paper (11 pages)) doi:
	Sui, Yulei	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}, } Article: cc16main-mainid12-p (type: Short Paper (2 pages)) doi:
	Thakur, Aditya	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}, } Article: cc16main-mainid85-p (type: Short Paper (2 pages)) doi:
	Ullrich, Sebastian	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}, } Article: cc16main-mainid43-p (type: Full Paper (11 pages)) doi:
	Van Amstel, Duco	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}, } Article: cc16main-mainid63-p (type: Full Paper (11 pages)) doi:
	Verbrugge, Clark	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}, } Article: cc16main-mainid76-p (type: Full Paper (11 pages)) doi:
	Westmann, Till	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}, } Article: cc16main-mainid37-p (type: Full Paper (11 pages)) doi:
	Wu, Haowei	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}, } Article: cc16main-mainid50-p (type: Full Paper (11 pages)) doi:
	Xue, Jingling	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}, } Article: cc16main-mainid12-p (type: Short Paper (2 pages)) doi:
	Yang, Shengqian	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}, } Article: cc16main-mainid50-p (type: Full Paper (11 pages)) doi:
	Yap, Roland H. C.	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}, } Article: cc16main-mainid89-p (type: Full Paper (11 pages)) doi:
	Yoshida, Nobuko	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}, } Article: cc16main-mainid59-p (type: Full Paper (11 pages)) doi:
	Yuki, Tomofumi	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}, } Article: cc16main-mainid96-p (type: Full Paper (11 pages)) doi:
	Zacharopoulos, Georgios	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}, } Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:
	Zeller, Andreas	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}, } Article: cc16main-mainid56-p (type: Full Paper (11 pages)) doi:
	Zhang, Minjia	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}, } Article: cc16main-mainid6-p (type: Full Paper (11 pages)) doi:

93 authors

proc time: 0.14