Description |
1 online resource (xvi, 243 pages) |
Series |
Lecture notes in computer science, 1611-3349 ; 7210. Advanced research in computing and software science |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 7210. 0302-9743
|
|
Lecture notes in computer science. Advanced research in computing and software science.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
Contents |
Improving Performance of OpenCL on CPUs / Ralf Karrenberg and Sebastian Hack -- Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule, Christopher Shaltz and Apan Qasem -- Programming Paradigm Driven Heap Analysis / Mark Marron, Ondřej Lhoták and Anindya Banerjee -- Parallel Replication-Based Points-To Analysis / Sandeep Putta and Rupesh Nasre -- A New Method for Program Inversion / Cong Hou, George Vulov, Daniel Quinlan, David Jefferson and Richard Fujimoto, et al. -- Analytical Bounds for Optimal Tile Size Selection / Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet and J. Ramanujam, et al. -- Static Detection of Unsafe Component Loadings / Taeho Kwon and Zhendong Su -- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić and Aarti Gupta, et al. -- GC-Safe Interprocedural Unboxing / Leaf Petersen and Neal Glew -- Compiler Support for Value-Based Indirect Branch Prediction / Muhammad Umar Farooq, Lei Chen and Lizy Kurian John -- Compiler Support for Fine-Grain Software-Only Checkpointing / Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza and Allan Kielstra -- VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework / Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner and Philippe Clauss -- Sambamba: A Runtime System for Online Adaptive Parallelization / Kevin Streit, Clemens Hammacher, Andreas Zeller and Sebastian Hack |
Summary |
Annotation This book constitutes the proceedings of the 21st International Conference on Compiler Construction, CC 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 13 papers presented in this book were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: GPU optimisation, program analysis, objects and components, and dynamic analysis and runtime support |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Computer software |
|
Programming Languages, Compilers, Interpreters |
|
Programming Techniques |
|
Mathematical Logic and Formal Languages |
|
Algorithm Analysis and Problem Complexity |
Bibliography |
Includes bibliographical references and author index |
Notes |
Online resource; title from PDF title page (SpringerLink, viewed October 27, 2014) |
Subject |
Compilers (Computer programs) -- Congresses
|
|
Informatique.
|
|
Compilers (Computer programs)
|
Genre/Form |
Conference papers and proceedings
|
|
Software.
|
Form |
Electronic book
|
Author |
O'Boyle, M. (Michael)
|
|
ETAPS (Conference) (2012 : Tallinn, Estonia)
|
ISBN |
9783642286520 |
|
3642286526 |
|