LCTES 2018
19th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2018)

Title Page

Message from the Chairs

LCTES 2018 Conference Organization

A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, and Edward H. Haeusler
(PUC-Rio, Brazil; Rio de Janeiro State University, Brazil)


@InProceedings{LCTES18p1, author = {Rodrigo C. M. Santos and Guilherme F. Lima and Francisco Sant'Anna and Roberto Ierusalimschy and Edward H. Haeusler}, title = {A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3211332.3211334}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
James Devine, Joe Finney, Peli de Halleux, Michał Moskal, Thomas Ball, and Steve Hodges
(Lancaster University, UK; Microsoft, USA; Microsoft, UK)


@InProceedings{LCTES18p19, author = {James Devine and Joe Finney and Peli de Halleux and Michał Moskal and Thomas Ball and Steve Hodges}, title = {MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3211332.3211335}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Adaptive Deep Learning Model Selection on Embedded Systems
Ben Taylor, Vicent Sanz Marco, Willy Wolff, Yehia Elkhatib, and Zheng Wang
(Lancaster University, UK)


@InProceedings{LCTES18p37, author = {Ben Taylor and Vicent Sanz Marco and Willy Wolff and Yehia Elkhatib and Zheng Wang}, title = {Adaptive Deep Learning Model Selection on Embedded Systems}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3211332.3211336}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-Based SSD Array
Lei Han, Zhaoyan Shen, Zili Shao, and Tao Li
(Hong Kong Polytechnic University, China; University of Florida, USA)


@InProceedings{LCTES18p55, author = {Lei Han and Zhaoyan Shen and Zili Shao and Tao Li}, title = {Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-Based SSD Array}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3211332.3211338}, year = {2018}, } Publisher's Version

Compositionality in Scenario-Aware Dataflow: A Rendezvous Perspective
Mladen Skelin and Marc Geilen
(Eindhoven University of Technology, Netherlands)


@InProceedings{LCTES18p73, author = {Mladen Skelin and Marc Geilen}, title = {Compositionality in Scenario-Aware Dataflow: A Rendezvous Perspective}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3211332.3211339}, year = {2018}, } Publisher's Version

Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
Michael Stokes, Ryan Baird, Zhaoxiang Jin, David Whalley, and Soner Onder
(Florida State University, USA; Michigan Technological University, USA)


@InProceedings{LCTES18p91, author = {Michael Stokes and Ryan Baird and Zhaoxiang Jin and David Whalley and Soner Onder}, title = {Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3211332.3211340}, year = {2018}, } Publisher's Version

Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
Bernhard Egger, Eunjin Song, Hochan Lee, and Daeyoung Shin
(Seoul National University, South Korea)


@InProceedings{LCTES18p109, author = {Bernhard Egger and Eunjin Song and Hochan Lee and Daeyoung Shin}, title = {Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {109-108}, doi = {10.1145/3211332.3211342}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Deep Neural Networks Compiler for a Trace-Based Accelerator (Short WIP Paper)
Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa, and Eugenio Culurciello
(FWDNXT, USA)


@InProceedings{LCTES18p127, author = {Andre Xian Ming Chang and Aliasger Zaidy and Lukasz Burzawa and Eugenio Culurciello}, title = {Deep Neural Networks Compiler for a Trace-Based Accelerator (Short WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {127-126}, doi = {10.1145/3211332.3211333}, year = {2018}, } Publisher's Version

Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach (Short WIP Paper)
Francisco Sant'Anna, Alexandre Sztajnberg, Ana Lúcia de Moura, and Noemi Rodrigues
(Rio de Janeiro State University, Brazil; PUC-Rio, Brazil)


@InProceedings{LCTES18p132, author = {Francisco Sant'Anna and Alexandre Sztajnberg and Ana Lúcia de Moura and Noemi Rodrigues}, title = {Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach (Short WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {132-131}, doi = {10.1145/3211332.3211337}, year = {2018}, } Publisher's Version

Statically Relating Program Properties for Efficient Verification (Short WIP Paper)
Bharti Chimdyalwar and Priyanka Darke
(Tata Consultancy Services, India)


@InProceedings{LCTES18p137, author = {Bharti Chimdyalwar and Priyanka Darke}, title = {Statically Relating Program Properties for Efficient Verification (Short WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3211332.3211341}, year = {2018}, } Publisher's Version

JSCore: Architectural Support for Accelerating JavaScript Execution (Short WIP Paper)
Gaurav Chadha
(Oracle, USA)


@InProceedings{LCTES18p142, author = {Gaurav Chadha}, title = {JSCore: Architectural Support for Accelerating JavaScript Execution (Short WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {142-141}, doi = {10.1145/3211332.3211343}, year = {2018}, } Publisher's Version

An Open-Source Realtime Computational Platform (Short WIP Paper)
Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson, and Paul Nuyujukian
(Stanford University, USA)


@InProceedings{LCTES18p147, author = {Pavan Mehrotra and Sabar Dasgupta and Samantha Robertson and Paul Nuyujukian}, title = {An Open-Source Realtime Computational Platform (Short WIP Paper)}, booktitle = {Proc.\ LCTES}, publisher = {ACM}, pages = {147-146}, doi = {10.1145/3211332.3211344}, year = {2018}, } Publisher's Version