LCTES 2016 – Proceedings

Frontmatter

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)


@InProceedings{LCTES16p1, author = {Tom Spink and Harry Wagstaff and Björn Franke}, title = {Efficient Asynchronous Interrupt Handling in a Full-System Instruction Set Simulator}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p13, author = {Forrest J. Robinson and Michael R. Jantz and Prasad A. Kulkarni}, title = {Code Cache Management in Managed Language VMs to Reduce Memory Consumption for Embedded Systems}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p25, author = {Ricardo Nobre and Luiz G. A. Martins and João M. P. Cardoso}, title = {A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p37, author = {Kunal Banerjee and Chittaranjan Mandal and Dipankar Sarkar}, title = {Translation Validation of Loop and Arithmetic Transformations in the Presence of Recurrences}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, }

Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization
Yulei Sui, XIaokang Fan, Hao Zhou, and Jingling Xue
(UNSW, Australia)


@InProceedings{LCTES16p49, author = {Yulei Sui and XIaokang Fan and Hao Zhou and Jingling Xue}, title = {Loop-Oriented Array- and Field-Sensitive Pointer Analysis for Automatic SIMD Vectorization}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, }

Generalized Cache Tiling for Dataflow Programs
Łukasz Domagała, Duco van Amstel, and Fabrice Rastello
(Inria, France)


@InProceedings{LCTES16p61, author = {Łukasz Domagała and Duco van Amstel and Fabrice Rastello}, title = {Generalized Cache Tiling for Dataflow Programs}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p73, author = {Duc-Hiep Chu and Joxan Jaffar and Rasool Maghareh}, title = {Symbolic Execution for Memory Consumption Analysis}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p85, author = {Ravindra Metta and Martin Becker and Prasad Bokil and Samarjit Chakraborty and R Venkatesh}, title = {TIC: A Scalable Model Checking Based Approach to WCET Estimation}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p97, author = {Kuan-Hsun Chen and Björn Bönninghoff and Jian-Jia Chen and Peter Marwedel}, title = {Compensate or Ignore? Meeting Control Robustness Requirements through Adaptive Soft-Error Handling}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2016}, }

Computation Partitioning

Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems
Prasenjit Chakraborty, Gautam Doshi, Shashank Shekhar, and Vikrant Kumar
(Intel, India)


@InProceedings{LCTES16p109, author = {Prasenjit Chakraborty and Gautam Doshi and Shashank Shekhar and Vikrant Kumar}, title = {Opportunity for Compute Partitioning in Pursuit of Energy-Efficient Systems}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {109-108}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p121, author = {Phitchaya Mangpo Phothilimthana and Michael Schuldt and Rastislav Bodik}, title = {Compiling a Gesture Recognition Application for a Low-Power Spatial Architecture}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, }

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)


@InProceedings{LCTES16p133, author = {Paul-Jules Micolet and Aaron Smith and Christophe Dubach}, title = {A Machine Learning Approach to Mapping Streaming Workloads to Dynamic Multicore Processors}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {133-132}, doi = {}, year = {2016}, }

proc time: 0.02