LCTES 2016 – Proceedings

17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems (LCTES 2016), June 13–14, 2016, Santa Barbara, CA, USA

Frontmatter

Title Page
Article: lctes16foreword-fm000-p (type: Frontmatter) doi:

Frontmatter
Article: lctes16foreword-fm001-p (type: Frontmatter) doi:

Dynamic Translation and Iterative Compilation

Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator
Tom Spink, Harry Wagstaff, and Björn Franke
(University of Edinburgh, UK)
Article: lctes16main-lctesmain10-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems
Forrest J. Robinson, Michael R. Jantz, and Prasad A. Kulkarni
(University of Kansas, USA; University of Tennessee, USA)
Article: lctes16main-lctesmain41-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
Ricardo Nobre, Luiz G. A. Martins, and João M. P. Cardoso
(University of Porto, Portugal; INESC TEC, Portugal; Federal University of Uberlândia, Brazil)
Article: lctes16main-lctesmain42-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Loop and Dataflow Analysis

Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences
Kunal Banerjee, Chittaranjan Mandal, and Dipankar Sarkar
(IIT Kharagpur, India)
Article: lctes16main-lctesmain11-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, XIaokang Fan, Hao Zhou, and Jingling Xue
(UNSW, Australia)
Article: lctes16main-lctesmain25-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Generalized Cache Tiling for Dataflow Programs
Łukasz Domagała, Duco van Amstel, and Fabrice Rastello
(Inria, France)
Article: lctes16main-lctesmain43-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Worst-Case Analysis and Error Handling

Symbolic Execution for Memory Consumption Analysis
Duc-Hiep Chu, Joxan Jaffar, and Rasool Maghareh
(National University of Singapore, Singapore)
Article: lctes16main-lctesmain12-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

TIC: A Scalable Model Checking Based Approach to WCET Estimation
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, and R Venkatesh
(Tata Consultancy Services, India; TU Munich, Germany)
Article: lctes16main-lctesmain45-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling
Kuan-Hsun Chen, Björn Bönninghoff, Jian-Jia Chen, and Peter Marwedel
(TU Dortmund, Germany)
Article: lctes16main-lctesmain7-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Computation Partitioning

Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, and Vikrant Kumar
(Intel, India)
Article: lctes16main-lctesmain22-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture
Phitchaya Mangpo Phothilimthana, Michael Schuldt, and Rastislav Bodik
(University of California at Berkeley, USA; University of Washington, USA)
Article: lctes16main-lctesmain47-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi:

A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors
Paul-Jules Micolet, Aaron Smith, and Christophe Dubach
(University of Edinburgh, UK; Microsoft Research, USA)
Article: lctes16main-lctesmain4-p (type: Full Paper (10 pages + up to 2 pages for 100$ each)) doi: