Compiling Esterel into Sequential Code

Abstract

I describe a novel compiler for Esterel, a synchronous language designed for specifying control-dominated real-time concurrent systems. The compiler generates fast, small C code for industrial-sized examples by statically scheduling multi-threaded code, removing the need for operating-system-supplied threads.

Such a compiler will allow designers more precise control over timing and synchronization in their systems without sacrificing speed or density.

This is an extended version of the talk I will be giving at the CODES '99 workshop.

Contact