Write a Blog >>
LCTES 2018
co-located with PLDI 2018

Dates
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Welcome & KeynoteLCTES 2018 at Discovery AB
09:00
15m
Day opening
Welcome
LCTES 2018

09:15
75m
Talk
Keynote: Blockchain and Embedded Systems
LCTES 2018

11:00 - 12:15
Full paper session on Programming LanguagesLCTES 2018 at Discovery AB
11:00
25m
Full-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
25m
Full-paper
Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
LCTES 2018
Mladen Skelin Eindhoven University of Technology, Marc Geilen Eindhoven University of Technology
11:50
25m
Full-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
Poster Session & LunchLCTES 2018 at Grand Ballroom Foyer
12:50
60m
Lunch
Poster Session & Lunch
LCTES 2018

14:00 - 15:40
Full paper session on Adaptation and HardwareLCTES 2018 at Discovery AB
14:00
25m
Full-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
25m
Full-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
25m
Full-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
25m
Full-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
WIP paper sessionLCTES 2018 at Discovery AB
16:25
15m
Short-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
15m
Short-paper
WIP: Statically Relating Program Properties for Efficient Verification
LCTES 2018
Bharti Chimdyalwar Tata Consultancy Services, Priyanka Darke Tata Consultancy Services
16:55
15m
Short-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
15m
Short-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