Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Tue 13 Jul 2021 16:50 - 17:10 at ICOOOLPS - ICOOOLPS

Large-scale applications in IoT face numerous technical problems not found in other standard computing domains. Applications are Distributed, Energy-constrained, and Time-sensitive. To address these, we propose a Domain Specific Language (DSL) and infrastructure to interface with distributed, low-power IoT devices and cloud computing. Our DSL compiles to a dataflow graph to maximize flexibility of the distribution of code to optimize for energy and time requirements of the program. Using a globally defined context to determine which token inputs to use when executing the program is energy-inefficient when program execution occurs between devices across the network. Instead, we adopt a decentralized approach of using timestamp intervals generated locally by the device’s internal hardware clock. We explore how dataflow graph semantics change due to timestamp contexts and how to merge different data streams from distributed, imprecise clocks. We also provide additional support for control-flow concepts such as failure handling, which is non-standard in a dataflow graph.

We encapsulate this system with a DSL to abstract low-level concerns by providing high-level timing constructs as well as tierless and macroprogramming features. The programmer writes a single program that is split across IoT devices in the network. The DSL’s tierless and macroprogramming nature complement the dataflow architecture and allow reasoning of heterogeneous-hardware applications. Its timing constructs are expressed in a globally-timed event model, which allow programmers to abstractly reason about timing requirements of their applications without worrying about the difficulties of synchronization between distributed devices. Programmers specify timing by defining events in the program. Timing requirements are specified by event comparisons, which take two events and specify the required time window or deadline necessary to complete an action. We also show translations of these constructs to our timed dataflow graph model.

Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

13:00 - 17:30
ICOOOLPSICOOOLPS at ICOOOLPS
13:00
5m
Other
Welcome
ICOOOLPS

13:05
25m
Talk
The Two Cultures of Language ImplementationInvited Talk
ICOOOLPS
Stephen Kell King's College London
13:30
20m
Paper
Naïve Transient Cast Insertion Isn’t (That) BadPaper
ICOOOLPS
P: Erin Greenwood-Thessman Victoria University of Wellington, Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
DOI Pre-print
13:50
20m
Talk
Threaded Code Generation with a Meta-tracing JIT CompilerPosition Paper
ICOOOLPS
P: Yusuke Izawa Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, CF Bolz-Tereick , Youyou Cong Tokyo Institute of Technology
Pre-print
14:10
10m
Social Event
Break
ICOOOLPS

14:20
20m
Talk
Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
ICOOOLPS
P: Sophie Kaleba University of Kent, Stefan Marr University of Kent, Richard Jones University of Kent
Pre-print
14:40
20m
Talk
Native Implementation of Mutable Value SemanticsPosition Paper
ICOOOLPS
P: Dimi Racordon University of Geneva, Switzerland, Denys Shabalin EPFL, Switzerland, Dave Abrahams Google, Dan Zheng Purdue University, Google Brain, Brennan Saeta Google
Pre-print
15:00
20m
Talk
An Eclipse OMR-based Garbage Collector for Python
ICOOOLPS
P: Joannah Nanjekye University of New Brunswick, David Bremner University of New Brunswick, Aleksandar Micic IBM, Canada
15:20
20m
Social Event
Break
ICOOOLPS

15:40
20m
Talk
Userfault Objects: Transparent Programmable MemoryPosition Paper
ICOOOLPS
P: Konrad Siek Czech Technical University in Prague, Colette Kerr ČVUT
Pre-print
16:00
20m
Talk
The Strange and Wondrous Life of Functions in Ř
ICOOOLPS
Jan Ječmen , Olivier Flückiger Northeastern University, Sebastián Krynski Czech Technical University in Prague, P: Jan Vitek Northeastern University / Czech Technical University
File Attached
16:20
20m
Talk
Non-Intrusive Migration from Lazy to Eager Evaluation
ICOOOLPS
P: Aviral Goel Northeastern University, Jan Vitek Northeastern University / Czech Technical University
16:40
10m
Social Event
Break
ICOOOLPS

16:50
20m
Talk
A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
ICOOOLPS
P: Kyle Liang Carnegie Mellon University, Reese Grimsley CMU, Eve Hu CMU, Edward Andert Arizona State University, Mohammad Khayatian Arizona State University, Aviral Shrivastava Arizona State University, Carlee Joe-Wong CMU, Jonathan Aldrich Carnegie Mellon University, Bob Iannucci CMU
17:10
20m
Talk
Fuel: A Compiler Framework for Safe Memory ManagementPosition Paper
ICOOOLPS
Dimi Racordon University of Geneva, Switzerland, P: Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
Pre-print