Write a Blog >>
LCTES 2018
co-located with PLDI 2018
Tue 19 Jun 2018 16:55 - 17:10 at Discovery AB - WIP paper session

Standby efficiency for connected devices is one of the priorities of the G20’s Energy Efficiency Action Plan. We propose transparent programming language mechanisms to enforce that applications remain in the deepest standby modes for the longest periods of time. We extend the programming language Céu with support for interrupt service routines and with a simple power management runtime. Based on these primitives, we also provide device drivers that allow applications to take advantage of standby automatically. Our approach relies on the synchronous semantics of the language which guarantees that reactions to the environment always reach an idle state amenable to standby. In addition, in order to lower the programming barrier of adoption, we show that programs in Céu can keep a sequential syntactic structure, even when applications require non-trivial concurrent behavior.

Tue 19 Jun

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

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