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