Francisco Sant'Anna

Francisco Sant'Anna ()

PhD student at PUC-Rio, Brazil.
Supervised by Prof. Roberto Ierusalimschy.
Computer Science --> Programming Languages --> Synchronous Reactive Languages.
My blog on reactive languages research: http://thesynchronousblog.wordpress.com/
List of publications: bibtex

Céu

Céu is a reactive language targeted at embedded systems and intended to offer a higher-level and safer alternative to C.

It can be described as a reactive, imperative, concurrent, synchronous, and deterministic language.

Céu has a memory footprint of around 3Kb of ROM and 100b of RAM (on a 16bits platform). Currently, it is restricted to static-only applications.

Website: http://ceu-lang.org (you can try Céu online!)

Git project: https://github.com/fsantanna/ceu

I'm looking for embedded systems developers interested in using Céu.

I can help with all support (i.e. coding) to integrate Céu with your platform.

Publications:

2012: PUC-Rio technical report --- "Céu: Embedded, Safe, and Reactive Programming" --- [ pdf | site ]
2011: Sensys (Doctoral Colloquium) short paper --- "Céu: A Reactive Language for Wireless Sensor Networks" --- [ pdf | site ]

Talks & Teaching:

2011-2012: ORT and UFRJ --- "Programming Wireless Sensor Networks"

LuaGravity is a reactive language that implements the synchronous approach for concurrency. It is roughly based on Esterel and FrTime, two synchronous reactive languages, the former having an imperative style, the latter being functional. LuaGravity is implemented as a set of runtime extensions to the Lua language.
For an introductory video about LuaGravity, click here.

I have developed LuaGravity during my MSc and currently maintain it.

See Reactive Server Pages (RSP), a project that brings the concepts of LuaGravity to the realm of server-side web development.

Publications:

2009: SBLP conference paper --- "LuaGravity: a Reactive Language based on Implicit Invocation" --- [ pdf ]
2009: MSc dissertation --- "A Synchronous Reactive Language based on Implicit Invocation" --- [ pdf ]

Talks:

2009: Lua Workshop --- "LuaGravity: A reactive language" --- [ slides | video | site ]

NCL / NCLua

NCL is declarative language that provides several facilities for authoring a complete hypermedia document with synchronization relationships among its components. NCL is used on Brazilian Digital TV middleware Ginga.

NCL was created by Prof. Luiz Fernando Gomes Soares, and is maintained by the TeleMidia Laboratory at PUC-Rio.

NCL is scriptable in Lua through the so called NCLua objects.

I have created the NCLua specification with Prof. Renato Cerqueira and Prof. Luiz Fernando Gomes Soares, and have implemented the first public release.

Publications:

2009: DocEng conference paper --- "Relating Objects with Imperative Code and Objects with Declarative Code through NCL Glue Language" --- [ pdf | site ]
2009: Book chapter --- "Programando com Objetos NCLua (Programando em NCL 3.0)" --- [ site ]
2009: Webmedia short course (book chapter) --- "Desenvolvimento de Aplicações Declarativas para TV Digital no Middleware Ginga com Objetos Imperativos Lua" --- [ pdf | site ]
2008: Webmedia conference paper --- "NCLua - Objetos Imperativos Lua na Linguagem Declarativa NCL" --- [ slides | pdf | site ]
2008: Norma ABNT --- "Digital terrestrial television, Data coding and transmission specification for digital broadcasting, Part 2: Ginga-NCL for fixed and mobile receivers, XML application language for application coding" --- [ site ]

Talks & Teaching:

2008-2011: PUC-Rio/CCE postgraduate --- "Desenvolvimento de Aplicações e Conteúdo para TV Digital em Ginga-NCL" --- [ site ]
2009: Lua Workshop --- "Aplicações interativas para a TV digital brasileira" --- [ slides | video | site ]