Publications

Ph.D. thesis

Loops in Esterel: from operational semantics to formally specified compilers
thesis (pdf, intro in French, body in English), abstract (pdf), slides (ppt).

Journals

ACM TOPLAS


A Deterministic Logical Semantics for Pure Esterel
Olivier Tardieu
ACM Transactions on Programming Languages and Systems, Volume 29, Issue 2, April 2007.
IEEE TCAD


Optimizing Sequential Cycles through Shannon Decomposition and Retiming
Cristian Soviani, Olivier Tardieu, and Stephen A. Edwards
IEEE Transactions on Computer-Aided Design, Volume 26, Issue 3, March 2007.
IEEE TVLSI


SHIM: A Deterministic Model for Heterogeneous Embedded Systems
Stephen A. Edwards and Olivier Tardieu
IEEE Transactions on Very Large Scale Integration Systems, Volume 14, Issue 8, August 2006.
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
best paper award

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

SLA++P'07
(ETAPS'07)

Instantaneous Transitions in Esterel
Olivier Tardieu and Stephen A. Edwards
Model-driven High-level Programming of Embedded Systems, Braga, Portugal, Mar 2007.
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.