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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Publisher's Version Article: lctes18main-p55-p (type: Short Paper (4 pages text + refs)) doi:10.1145/3211332.3211344