| 2007 |
|---|
| 17 | EE | Olivier Tardieu:
A deterministic logical semantics for pure Esterel.
ACM Trans. Program. Lang. Syst. 29(2): (2007) |
| 16 | EE | Cristian Soviani,
Olivier Tardieu,
Stephen A. Edwards:
Optimizing Sequential Cycles Through Shannon Decomposition and Retiming.
IEEE Trans. on CAD of Integrated Circuits and Systems 26(3): 456-467 (2007) |
| 2006 |
|---|
| 15 | EE | Cristian Soviani,
Olivier Tardieu,
Stephen A. Edwards:
Optimizing sequential cycles through Shannon decomposition and retiming.
DATE 2006: 1085-1090 |
| 14 | EE | Olivier Tardieu,
Stephen A. Edwards:
Scheduling-independent threads and exceptions in SHIM.
EMSOFT 2006: 142-151 |
| 13 | EE | Stephen A. Edwards,
Olivier Tardieu:
Efficient code generation from SHIM models.
LCTES 2006: 125-134 |
| 12 | EE | Olivier Tardieu,
Stephen A. Edwards:
R-SHIM: deterministic concurrency with recursion and shared variables.
MEMOCODE 2006: 202 |
| 11 | EE | Olivier Tardieu:
Goto and Concurrency Introducing Safe Jumps in Esterel.
Electr. Notes Theor. Comput. Sci. 153(4): 55-70 (2006) |
| 10 | EE | Stephen A. Edwards,
Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
IEEE Trans. VLSI Syst. 14(8): 854-867 (2006) |
| 2005 |
|---|
| 9 | EE | Olivier Tardieu,
Stephen A. Edwards:
Approximate Reachability for Dead Code Elimination in Esterel.
ATVA 2005: 323-337 |
| 8 | EE | Stephen A. Edwards,
Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
EMSOFT 2005: 264-272 |
| 7 | EE | Stephen A. Edwards,
Olivier Tardieu:
Deterministic receptive processes are Kahn processes.
MEMOCODE 2005: 37-44 |
| 6 | EE | Olivier Tardieu,
Robert de Simone:
Loops in esterel.
ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005) |
| 5 | EE | Olivier Tardieu:
A Deterministic Logical Semantics for Esterel.
Electr. Notes Theor. Comput. Sci. 128(1): 103-122 (2005) |
| 2004 |
|---|
| 4 | EE | Olivier Tardieu,
Robert de Simone:
Curing schizophrenia by program rewriting in Esterel.
MEMOCODE 2004: 39-48 |
| 2003 |
|---|
| 3 | EE | Olivier Tardieu,
Robert de Simone:
Instantaneous Termination in Pure Esterel.
SAS 2003: 91-108 |
| 2001 |
|---|
| 2 | | Nevin Heintze,
Olivier Tardieu:
Demand-Driven Pointer Analysis.
PLDI 2001: 24-34 |
| 1 | | Nevin Heintze,
Olivier Tardieu:
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second.
PLDI 2001: 254-263 |
