Abstract is missing.
- A memory-bounded, deterministic and terminating semantics for the synchronous programming language CéuRodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler. 1-18 [doi]
- MakeCode and CODAL: intuitive and efficient embedded systems programming for educationJames Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges. 19-30 [doi]
- Adaptive deep learning model selection on embedded systemsBen Taylor, Vicent Sanz Marco, Willy Wolff, Yehia Elkhatib, Zheng Wang 0001. 31-43 [doi]
- Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD arrayLei Han, Zhaoyan Shen, Zili Shao, Tao Li. 44-54 [doi]
- Compositionality in scenario-aware dataflow: a rendezvous perspectiveMladen Skelin, Marc Geilen. 55-64 [doi]
- Decoupling address generation from loads and stores to improve data access energy efficiencyMichael Stokes, Ryan Baird, Zhaoxiang Jin, David B. Whalley, Soner Önder. 65-75 [doi]
- Verification of coarse-grained reconfigurable arrays through random test programsBernhard Egger, Eunjin Song, Hochan Lee, Daeyoung Shin. 76-88 [doi]
- Deep neural networks compiler for a trace-based accelerator (short WIP paper)Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa, Eugenio Culurciello. 89-93 [doi]
- 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. 94-98 [doi]
- Statically relating program properties for efficient verification (short WIP paper)Bharti Chimdyalwar, Priyanka Darke. 99-103 [doi]
- JSCore: architectural support for accelerating JavaScript execution (short WIP paper)Gaurav Chadha. 104-108 [doi]
- An open-source realtime computational platform (short WIP paper)Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson, Paul Nuyujukian. 109-112 [doi]