ACM SIGPLAN/SIGBED Intl. Conf. on Langs., Compilers, & Tools for Emb. Sys., LCTES 2018


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges

MakeCode and CODAL: intuitive and efficient embedded systems programming for education

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Adaptive deep learning model selection on embedded systems

Ben Taylor, Vicent Sanz Marco, Willy Wolff, Yehia Elkhatib, Zheng Wang

Adaptive deep learning model selection on embedded systems

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

JSCore: architectural support for accelerating JavaScript execution (short WIP paper)

Gaurav Chadha

JSCore: architectural support for accelerating JavaScript execution (short WIP paper)

Details
Discussion Comments: 0
Verification: Author has not verified information

Verification of coarse-grained reconfigurable arrays through random test programs

Bernhard Egger, Eunjin Song, Hochan Lee, Daeyoung Shin

Verification of coarse-grained reconfigurable arrays through random test programs

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

An open-source realtime computational platform (short WIP paper)

Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson, Paul Nuyujukian

An open-source realtime computational platform (short WIP paper)

Details
Discussion Comments: 0
Verification: Authors have not verified information

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, Edward Hermann Haeusler

A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD array

Lei Han, Zhaoyan Shen, Zili Shao, Tao Li

Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD array

Details
Discussion Comments: 0
Verification: Authors have not verified information

Deep neural networks compiler for a trace-based accelerator (short WIP paper)

Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa, Eugenio Culurciello

Deep neural networks compiler for a trace-based accelerator (short WIP paper)

Details
Author Comments:
Discussion Comments: 0
Sharing: Not able to share produced artifacts
Verification: Authors have verified information

Decoupling address generation from loads and stores to improve data access energy efficiency

Michael Stokes, Ryan Baird, Zhaoxiang Jin, David B. Whalley, Soner Önder

Decoupling address generation from loads and stores to improve data access energy efficiency

Details
Discussion Comments: 0
Verification: Authors have not verified information

Compositionality in scenario-aware dataflow: a rendezvous perspective

Mladen Skelin, Marc Geilen

Compositionality in scenario-aware dataflow: a rendezvous perspective

Details
Discussion Comments: 0
Verification: Authors have not verified information

Statically relating program properties for efficient verification (short WIP paper)

Bharti Chimdyalwar, Priyanka Darke

Statically relating program properties for efficient verification (short WIP paper)

Details
Discussion Comments: 0
Verification: Authors have not verified information

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, Noemi Rodrigues

Transparent standby for low-Power, resource-constrained embedded systems: a programming language-based approach (short WIP paper)

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information