Ph.D. Thesis

I defended my Ph.D. thesis entitled "Loops in Esterel: from operational semantics to formally specified compilers" on September 24th, 2004 at INRIA Sophia Antipolis. Here are a short abstract (pdf), the slides of the defense (ppt), and the final dissertation (pdf).


Journals

IEEE TVLSI


SHIM: A Deterministic Model for Heterogeneous Embedded Systems
Stephen A. Edwards and Olivier Tardieu
IEEE Transactions on Very Large Scale Integration Systems, to appear.
ACM TOPLAS


A Deterministic Logical Semantics for Pure Esterel
Olivier Tardieu
ACM Transactions on Programming Languages and Systems, to appear.
ACM TECS


Loops in Esterel
Olivier Tardieu and Robert de Simone
ACM Transactions in Embedded Computing Systems, Volume 4, Issue 4, Nov 2005.

Conferences

EMSOFT'06


Scheduling-Independent Threads and Exceptions in SHIM
Olivier Tardieu and Stephen A. Edwards
ACM Conference on Embedded Systems Software, Seoul, South Korea, Oct 2006.
LCTES'06


Efficient Code Generation from SHIM Models
Stephen A. Edwards and Olivier Tardieu
Languages, Compilers, and Tools for Embedded Systems, Ottawa, Canada, Jun 2006.
DATE'06


Optimizing Sequential Cycles through Shannon Decomposition and Retiming
Cristian Soviani, Olivier Tardieu, and Stephen A. Edwards
Design Automation and Test in Europe, Munich, Germany, Mar 2006.
ATVA'05


Approximate Reachability for Dead Code Elimination in Esterel*
Olivier Tardieu and Stephen A. Edwards
Automated Technology for Verification and Analysis, Taipei, Taiwan, Oct 2005.
EMSOFT'05


SHIM: A Deterministic Model for Heterogeneous Embedded Systems
Stephen A. Edwards and Olivier Tardieu
ACM Conference on Embedded Software, Jersey City, New Jersey, Sep 2005.
MEMOCODE'05


Deterministic Receptive Processes are Kahn Processes
Stephen A. Edwards and Olivier Tardieu
Formal Methods and Models for Codesign, Verona, Italy, Jul 2005.
MEMOCODE'04


Curing Schizophrenia by Program Rewriting in Esterel
Olivier Tardieu and Robert de Simone
Formal Methods and Models for Codesign, San Diego, California, Jun 2004.
SAS'03


Instantaneous Termination in Pure Esterel
Olivier Tardieu and Robert de Simone
Static Analysis Symposium, San Diego, California, Jun 2003.
PLDI'01


Demand-Driven Pointer Analysis
Nevin Heintze and Olivier Tardieu
Programming Language Design and Implementation, Snowbird, Utah, Jun 2001.
PLDI'01


Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second
Nevin Heintze and Olivier Tardieu
Programming Language Design and Implementation, Snowbird, Utah, Jun 2001.

Workshops

IWLS'05
(DAC'05)

High-Level Optimization by Combining Retiming and Shannon Decomposition
Cristian Soviani, Olivier Tardieu, and Stephen A. Edwards
International Workshop on Logic and Synthesis, Lake Arrowhead, California, Jun 2005.
SOS'04
(CONCUR'04)

A Deterministic Logical Semantics for Esterel
Olivier Tardieu
SOS Workshop, London, United Kingdom, Aug 2004.
SLAP'04
(ETAPS'04)

Goto and Concurrency: Introducing Safe Jumps in Esterel
Olivier Tardieu
Synchronous Languages, Applications, and Programming, Barcelona, Spain, Mar 2004.