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

Title Page

Article: lctes18foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs

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

LCTES 2018 Conference Organization

Article: lctes18foreword-fm002-p (type: Frontmatter) doi:

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 Article: lctes18main-p11-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211334

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 Article: lctes18main-p12-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211335

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 Article: lctes18main-p15-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211336

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 Article: lctes18main-p21-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211338

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 Article: lctes18main-p27-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211339

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 Article: lctes18main-p29-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211340

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 Article: lctes18main-p36-p (type: Full Paper (10 pages text + refs)) doi:10.1145/3211332.3211342

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 Article: lctes18main-p1-p (type: Short Paper (4 pages text + refs)) doi:10.1145/3211332.3211333

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 Article: lctes18main-p16-p (type: Short Paper (4 pages text + refs)) doi:10.1145/3211332.3211337

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 Article: lctes18main-p31-p (type: Short Paper (4 pages text + refs)) doi:10.1145/3211332.3211341

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 Article: lctes18main-p51-p (type: Short Paper (4 pages text + refs)) doi:10.1145/3211332.3211343

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 Article: lctes18main-p55-p (type: Short Paper (4 pages text + refs)) doi:10.1145/3211332.3211344