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

Céu is a synchronous programming language for embedded soft real-time systems. It focuses on control-flow safety features, such as safe shared-memory concurrency and safe abortion of lines of execution, while enforcing memory bounded, deterministic, and terminating reactions to the environment. In this work, we present a small-step structural operational semantics for Céu and a proof that reactions have the properties enumerated above: that for a given arbitrary timeline of input events, multiple executions of the same program always react in bounded time and arrive at the same final finite memory state.

Tue 19 Jun

11:00 - 12:15: LCTES 2018 - Full paper session on Programming Languages at Discovery AB
LCTES-2018-papers11:00 - 11:25
James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft
LCTES-2018-papers11:25 - 11:50
Mladen SkelinEindhoven University of Technology, Marc GeilenEindhoven University of Technology
LCTES-2018-papers11:50 - 12:15
Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University