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)

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)

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)

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)

Publisher's Version

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

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)

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)

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)

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)

Publisher's Version

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

Publisher's Version

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

Publisher's Version

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

Publisher's Version Info