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. |