LCTES 2016 – Author Index

B C D F J K M N P R S V W X Z

	Banerjee, Kunal	LCTES '16: "Translation Validation of ..." 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}, } Article: lctes16main-lctesmain11-p doi:
	Becker, Martin	LCTES '16: "TIC: A Scalable Model Checking ..." 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}, } Article: lctes16main-lctesmain45-p doi:
	Bodik, Rastislav	LCTES '16: "Compiling a Gesture Recognition ..." 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}, } Article: lctes16main-lctesmain47-p doi:
	Bokil, Prasad	LCTES '16: "TIC: A Scalable Model Checking ..." 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}, } Article: lctes16main-lctesmain45-p doi:
	Bönninghoff, Björn	LCTES '16: "Compensate or Ignore? Meeting ..." 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}, } Article: lctes16main-lctesmain7-p doi:
	Cardoso, João M. P.	LCTES '16: "A Graph-Based Iterative Compiler ..." 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}, } Article: lctes16main-lctesmain42-p doi:
	Chakraborty, Prasenjit	LCTES '16: "Opportunity for Compute 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}, } Article: lctes16main-lctesmain22-p doi:
	Chakraborty, Samarjit	LCTES '16: "TIC: A Scalable Model Checking ..." 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}, } Article: lctes16main-lctesmain45-p doi:
	Chen, Jian-Jia	LCTES '16: "Compensate or Ignore? Meeting ..." 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}, } Article: lctes16main-lctesmain7-p doi:
	Chen, Kuan-Hsun	LCTES '16: "Compensate or Ignore? Meeting ..." 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}, } Article: lctes16main-lctesmain7-p doi:
	Chu, Duc-Hiep	LCTES '16: "Symbolic Execution for Memory ..." 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}, } Article: lctes16main-lctesmain12-p doi:
	Domagała, Łukasz	LCTES '16: "Generalized Cache Tiling for ..." 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}, } Article: lctes16main-lctesmain43-p doi:
	Doshi, Gautam	LCTES '16: "Opportunity for Compute 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}, } Article: lctes16main-lctesmain22-p doi:
	Dubach, Christophe	LCTES '16: "A Machine Learning Approach ..." 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}, } Article: lctes16main-lctesmain4-p doi:
	Fan, XIaokang	LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..." 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}, } Article: lctes16main-lctesmain25-p doi:
	Franke, Björn	LCTES '16: "Efficient Asynchronous Interrupt ..." 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}, } Article: lctes16main-lctesmain10-p doi:
	Jaffar, Joxan	LCTES '16: "Symbolic Execution for Memory ..." 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}, } Article: lctes16main-lctesmain12-p doi:
	Jantz, Michael R.	LCTES '16: "Code Cache Management in Managed ..." 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}, } Article: lctes16main-lctesmain41-p doi:
	Kulkarni, Prasad A.	LCTES '16: "Code Cache Management in Managed ..." 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}, } Article: lctes16main-lctesmain41-p doi:
	Kumar, Vikrant	LCTES '16: "Opportunity for Compute 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}, } Article: lctes16main-lctesmain22-p doi:
	Maghareh, Rasool	LCTES '16: "Symbolic Execution for Memory ..." 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}, } Article: lctes16main-lctesmain12-p doi:
	Mandal, Chittaranjan	LCTES '16: "Translation Validation of ..." 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}, } Article: lctes16main-lctesmain11-p doi:
	Martins, Luiz G. A.	LCTES '16: "A Graph-Based Iterative Compiler ..." 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}, } Article: lctes16main-lctesmain42-p doi:
	Marwedel, Peter	LCTES '16: "Compensate or Ignore? Meeting ..." 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}, } Article: lctes16main-lctesmain7-p doi:
	Metta, Ravindra	LCTES '16: "TIC: A Scalable Model Checking ..." 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}, } Article: lctes16main-lctesmain45-p doi:
	Micolet, Paul-Jules	LCTES '16: "A Machine Learning Approach ..." 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}, } Article: lctes16main-lctesmain4-p doi:
	Nobre, Ricardo	LCTES '16: "A Graph-Based Iterative Compiler ..." 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}, } Article: lctes16main-lctesmain42-p doi:
	Phothilimthana, Phitchaya Mangpo	LCTES '16: "Compiling a Gesture Recognition ..." 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}, } Article: lctes16main-lctesmain47-p doi:
	Rastello, Fabrice	LCTES '16: "Generalized Cache Tiling for ..." 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}, } Article: lctes16main-lctesmain43-p doi:
	Robinson, Forrest J.	LCTES '16: "Code Cache Management in Managed ..." 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}, } Article: lctes16main-lctesmain41-p doi:
	Sarkar, Dipankar	LCTES '16: "Translation Validation of ..." 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}, } Article: lctes16main-lctesmain11-p doi:
	Schuldt, Michael	LCTES '16: "Compiling a Gesture Recognition ..." 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}, } Article: lctes16main-lctesmain47-p doi:
	Shekhar, Shashank	LCTES '16: "Opportunity for Compute 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}, } Article: lctes16main-lctesmain22-p doi:
	Smith, Aaron	LCTES '16: "A Machine Learning Approach ..." 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}, } Article: lctes16main-lctesmain4-p doi:
	Spink, Tom	LCTES '16: "Efficient Asynchronous Interrupt ..." 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}, } Article: lctes16main-lctesmain10-p doi:
	Sui, Yulei	LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..." 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}, } Article: lctes16main-lctesmain25-p doi:
	Van Amstel, Duco	LCTES '16: "Generalized Cache Tiling for ..." 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}, } Article: lctes16main-lctesmain43-p doi:
	Venkatesh, R	LCTES '16: "TIC: A Scalable Model Checking ..." 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}, } Article: lctes16main-lctesmain45-p doi:
	Wagstaff, Harry	LCTES '16: "Efficient Asynchronous Interrupt ..." 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}, } Article: lctes16main-lctesmain10-p doi:
	Xue, Jingling	LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..." 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}, } Article: lctes16main-lctesmain25-p doi:
	Zhou, Hao	LCTES '16: "Loop-Oriented Array- and Field-Sensitive ..." 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}, } Article: lctes16main-lctesmain25-p doi:

41 authors

proc time: 0.06