PLDI 2018 (series) / LCTES 2018 (series) /
LCTES 2018 Program
This is the LCTES 2018 program - see the full program for PLDI 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 19 JunDisplayed time zone: Eastern Time (US & Canada) change
Tue 19 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome LCTES 2018 | ||
09:15 75mTalk | Keynote: Blockchain and Embedded Systems LCTES 2018 | ||
11:00 - 12:15 | |||
11:00 25mFull-paper | MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education LCTES 2018 James Devine Lancaster University, Joe Finney , Peli de Halleux Microsoft Research, Michał Moskal Microsoft Research, Thomas Ball Microsoft Research, Steve Hodges Microsoft | ||
11:25 25mFull-paper | Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective LCTES 2018 | ||
11:50 25mFull-paper | A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu LCTES 2018 Guilherme F. Lima PUC-Rio, Rodrigo C. M. Santos PUC-Rio, Edward Hermann Haeusler PUC-Rio, Roberto Ierusalimschy PUC-Rio, Francisco Sant'Anna Rio de Janeiro State University | ||
12:50 - 13:50 | |||
12:50 60mLunch | Poster Session & Lunch LCTES 2018 | ||
14:00 - 15:40 | |||
14:00 25mFull-paper | Adaptive Deep Learning Model Selection on Embedded Systems LCTES 2018 Ben Taylor Lancaster University, UK, Vicent Sanz Marco Lancaster University, Willy Wolff Lancaster University, Yehia Elkhatib Lancaster University, Zheng Wang Lancaster University | ||
14:25 25mFull-paper | Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array LCTES 2018 Lei Han , Zhaoyan Shen The Hong Kong Polytechnic University, Zili Shao The Hong Kong Polytechnic University, Tao Li University of Florida | ||
14:50 25mFull-paper | Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs LCTES 2018 Bernhard Egger Seoul National University, Eunjin Song Seoul National University, Hochan Lee Seoul National University, Daeyoung Shin Seoul National University | ||
15:15 25mFull-paper | Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency LCTES 2018 Michael Stokes Florida State University, Ryan Baird Florida State University, Zhaoxiang Jin Michigan Technological University, David B. Whalley , Soner Onder Michigan Technological University | ||
16:10 - 17:25 | |||
16:25 15mShort-paper | WIP: Deep Neural Networks compiler for a trace-based accelerator LCTES 2018 Andre Xian Ming Chang FWDNXT and Purdue, Aliasger Zaidy FWDNXT and Purdue, Lukasz Burzawa FWDNXT and Purdue, Eugenio Culurciello FWDNXT and Purdue | ||
16:40 15mShort-paper | WIP: Statically Relating Program Properties for Efficient Verification LCTES 2018 | ||
16:55 15mShort-paper | WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach LCTES 2018 Francisco Sant'Anna Rio de Janeiro State University, Alexandre Sztajnberg Rio de Janeiro State University, Noemi Rodriguez PUC-Rio, Ana Lúcia de Moura | ||
17:10 15mShort-paper | WIP: An open-source realtime computational platform LCTES 2018 Pavan Mehrotra Stanford University, Sabar Dasgupta Stanford University, Samantha Robertson Stanford University, Paul Nuyujukian Stanford University Link to publication DOI Pre-print Media Attached | ||