Publications

2018

• REBLS workshop short paper
  • Where Do Events Come From? — Reactive and Energy-Efficient Programming From The Ground Up
  • interrupt service routines, drivers, automatic standby
  • [ pdf | site ]
• SBGames conference paper
  • Structured Synchronous Reactive Programming for Game Development — Case Study: On Rewriting Pingus from C++ to Céu
  • structured reactive programming, programming patterns in Games
  • [ pdf | site ]
• PhD. Thesis - Matthias Terber
  • Real-World Deployment and Evaluation of Synchronous Programming in Reactive Embedded Systems
  • [ pdf | site ]
• PhD. Thesis - Rodrigo Costa Mesquita Santos
  • A GALS Approach for Programming Distributed Interactive Multimedia Applications
  • Céu, multimedia, multi-device, determinism, consistency
  • [ pdf ]
    
• LCTES conference paper
  • A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
  • formal semantics of Céu, proofs for termination, determinism, and memory boundedness
  • [ pdf | site ]
• LCTES conference short paper
  • Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
  • interrupt service routines in Céu, power management, automatic standby
  • [ pdf | site ]
• Final Graduation Project - Guilherme Simas
  • Aplicação em Sistemas Distribuídos utilizando biblioteca e driver próprios, baseados em interrupções desenvolvido em Céu para o microcontrolador Arduino
  • céu, distributed systems, eficiency, embedded systems
  • [ pdf ]

2017

• TECS journal paper
  • The Design and Implementation of the Synchronous Language Céu
  • design and implementation of Céu, contrasting and comparing with Esterel
  • [ pdf | site ]

2016

• WebMedia conference paper
  • Céu-Media: Local Inter-Media Synchronization Using Céu
  • developing multimedia applications in Céu
  • [ pdf | site ]

2015

• TOSN journal paper
  • Terra: Flexibility and Safety in Wireless Sensor Networks
  • tiny Céu virtual machine for dynamic reprogramming in constrained devices
  • [ pdf | site ]
• REBLS workshop paper
  • Reactive Traversal of Recursive Data Types
  • tagged unions, the traverse construct, a logo turtle interpreter
  • [ pdf | site ]
• Modularity conference paper
  • Structured Synchronous Reactive Programming with Céu
  • main paper about the “dynamic Céu”: organisms, pointers and references
  • [ pdf | site | video ]

2014

• REBLS workshop paper
  • Structured Reactive Programming with Céu
  • supressed by Modularity’15 above
  • [ pdf | site ]

2013

• SenSys conference paper
  • Safe Concurrent Abstractions for Wireless Sensor Networks
  • main paper about the “static Céu”: design, evaluation
  • [ pdf | site ]
• REM workshop paper
  • Advanced Control Reactivity for Embedded Systems
  • control mechanisms on top of Céu: exception handling, dataflow programming, the par/hor construct
  • [ pdf | site ]
• PhD. Thesis
  • Safe System-level Concurrency on Resource-Constrained Nodes with Céu
  • complete description of the “static Céu”: design, evaluation, semantics, implementation
  • [ pdf ]

2012

• PUC-Rio technical report
  • Céu: Embedded, Safe, and Reactive Programming
  • supressed by the PhD. Thesis above (except for the sections on asynchronous execution and simulation)
  • [ pdf | site ]

2011

• SenSys (Doctoral Colloquium) paper
  • Céu: A Reactive Language for Wireless Sensor Networks
  • first exposure of Céu, old expression-based syntax
  • [ pdf | site ]