 | 2009 |
|---|
| 20 |       | Nalini Vasudevan,
Olivier Tardieu,
Julian Dolby,
Stephen A. Edwards:
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.
CC 2009: 48-62 |
| 2008 |
|---|
| 19 | | Stephen A. Edwards,
Nalini Vasudevan,
Olivier Tardieu:
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.
DATE 2008: 1498-1503 |
| 18 | | Olivier Tardieu,
Stephen A. Edwards:
Instantaneous Transitions in Esterel.
Electr. Notes Theor. Comput. Sci. 203(4): 49-64 (2008) |
| 2007 |
|---|
| 17 | | Olivier Tardieu:
A deterministic logical semantics for pure Esterel.
ACM Trans. Program. Lang. Syst. 29(2): (2007) |
| 16 | | 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 | | Cristian Soviani,
Olivier Tardieu,
Stephen A. Edwards:
Optimizing sequential cycles through Shannon decomposition and retiming.
DATE 2006: 1085-1090 |
| 14 | | Olivier Tardieu,
Stephen A. Edwards:
Scheduling-independent threads and exceptions in SHIM.
EMSOFT 2006: 142-151 |
| 13 | | Stephen A. Edwards,
Olivier Tardieu:
Efficient code generation from SHIM models.
LCTES 2006: 125-134 |
| 12 | | Olivier Tardieu,
Stephen A. Edwards:
R-SHIM: deterministic concurrency with recursion and shared variables.
MEMOCODE 2006: 202 |
| 11 | | Olivier Tardieu:
Goto and Concurrency Introducing Safe Jumps in Esterel.
Electr. Notes Theor. Comput. Sci. 153(4): 55-70 (2006) |
| 10 | | Stephen A. Edwards,
Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
IEEE Trans. VLSI Syst. 14(8): 854-867 (2006) |
| 2005 |
|---|
| 9 | | Olivier Tardieu,
Stephen A. Edwards:
Approximate Reachability for Dead Code Elimination in Esterel.
ATVA 2005: 323-337 |
| 8 | | Stephen A. Edwards,
Olivier Tardieu:
SHIM: a deterministic model for heterogeneous embedded systems.
EMSOFT 2005: 264-272 |
| 7 | | Stephen A. Edwards,
Olivier Tardieu:
Deterministic receptive processes are Kahn processes.
MEMOCODE 2005: 37-44 |
| 6 | | Olivier Tardieu,
Robert de Simone:
Loops in esterel.
ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005) |
| 5 | | Olivier Tardieu:
A Deterministic Logical Semantics for Esterel.
Electr. Notes Theor. Comput. Sci. 128(1): 103-122 (2005) |
| 2004 |
|---|
| 4 | | Olivier Tardieu,
Robert de Simone:
Curing schizophrenia by program rewriting in Esterel.
MEMOCODE 2004: 39-48 |
| 2003 |
|---|
| 3 | | 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 |
