Write a Blog >>
LCTES 2018
co-located with PLDI 2018
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 19 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 10:30: Welcome & KeynoteLCTES 2018 at Discovery AB
09:00 - 09:15
Day opening
Welcome
LCTES 2018
09:15 - 10:30
Talk
Keynote: Blockchain and Embedded Systems
LCTES 2018
11:00 - 12:15: Full paper session on Programming LanguagesLCTES 2018 at Discovery AB
11:00 - 11:25
Full-paper
MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
LCTES 2018
James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft
11:25 - 11:50
Full-paper
Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
LCTES 2018
Mladen SkelinEindhoven University of Technology, Marc GeilenEindhoven University of Technology
11:50 - 12:15
Full-paper
A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
LCTES 2018
Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University
12:50 - 13:50: Poster Session & LunchLCTES 2018 at Grand Ballroom Foyer
12:50 - 13:50
Lunch
Poster Session & Lunch
LCTES 2018
14:00 - 15:40: Full paper session on Adaptation and HardwareLCTES 2018 at Discovery AB
14:00 - 14:25
Full-paper
Adaptive Deep Learning Model Selection on Embedded Systems
LCTES 2018
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Willy WolffLancaster University, Yehia ElkhatibLancaster University, Zheng WangLancaster University
14:25 - 14:50
Full-paper
Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
LCTES 2018
Lei Han, Zhaoyan ShenThe Hong Kong Polytechnic University, Zili ShaoThe Hong Kong Polytechnic University, Tao LiUniversity of Florida
14:50 - 15:15
Full-paper
Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
LCTES 2018
Bernhard EggerSeoul National University, Eunjin SongSeoul National University, Hochan LeeSeoul National University, Daeyoung ShinSeoul National University
15:15 - 15:40
Full-paper
Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
LCTES 2018
Michael StokesFlorida State University, Ryan BairdFlorida State University, Zhaoxiang JinMichigan Technological University, David B. Whalley, Soner OnderMichigan Technological University
16:10 - 17:25: WIP paper sessionLCTES 2018 at Discovery AB
16:25 - 16:40
Short-paper
WIP: Deep Neural Networks compiler for a trace-based accelerator
LCTES 2018
Andre Xian Ming ChangFWDNXT and Purdue, Aliasger ZaidyFWDNXT and Purdue, Lukasz BurzawaFWDNXT and Purdue, Eugenio CulurcielloFWDNXT and Purdue
16:40 - 16:55
Short-paper
WIP: Statically Relating Program Properties for Efficient Verification
LCTES 2018
Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services
16:55 - 17:10
Short-paper
WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
LCTES 2018
Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University, Noemi RodriguezPUC-Rio, Ana Lúcia de Moura
17:10 - 17:25
Short-paper
WIP: An open-source realtime computational platform
LCTES 2018
Pavan MehrotraStanford University, Sabar DasguptaStanford University, Samantha RobertsonStanford University, Paul NuyujukianStanford University
Link to publication DOI Pre-print Media Attached
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)