- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c16 |      | Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu: Work-stealing without the baggage. OOPSLA 2012: 297-314 |
| c15 | | Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat: Constrained kinds. OOPSLA 2012: 811-830 |
| c14 | | Olivier Tardieu, Haichuan Wang, Haibo Lin: A work-stealing scheduler for X10's task parallelism with suspension. PPOPP 2012: 267-276 |
| 2009 | ||
| c13 | | Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards: Compile-Time Analysis and Specialization of Clocks in Concurrent Programs. CC 2009: 48-62 |
| 2008 | ||
| j7 | | Olivier Tardieu, Stephen A. Edwards: Instantaneous Transitions in Esterel. Electr. Notes Theor. Comput. Sci. 203(4): 49-64 (2008) |
| c12 | | Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu: Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads. DATE 2008: 1498-1503 |
| 2007 | ||
| j6 | | 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) |
| j5 | | Olivier Tardieu: A deterministic logical semantics for pure Esterel. ACM Trans. Program. Lang. Syst. 29(2) (2007) |
| 2006 | ||
| j4 | | Olivier Tardieu: Goto and Concurrency Introducing Safe Jumps in Esterel. Electr. Notes Theor. Comput. Sci. 153(4): 55-70 (2006) |
| j3 | | Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. IEEE Trans. VLSI Syst. 14(8): 854-867 (2006) |
| c11 | | Cristian Soviani, Olivier Tardieu, Stephen A. Edwards: Optimizing sequential cycles through Shannon decomposition and retiming. DATE 2006: 1085-1090 |
| c10 | | Olivier Tardieu, Stephen A. Edwards: Scheduling-independent threads and exceptions in SHIM. EMSOFT 2006: 142-151 |
| c9 | | Stephen A. Edwards, Olivier Tardieu: Efficient code generation from SHIM models. LCTES 2006: 125-134 |
| c8 | | Olivier Tardieu, Stephen A. Edwards: R-SHIM: deterministic concurrency with recursion and shared variables. MEMOCODE 2006: 202 |
| 2005 | ||
| j2 | | Olivier Tardieu: A Deterministic Logical Semantics for Esterel. Electr. Notes Theor. Comput. Sci. 128(1): 103-122 (2005) |
| j1 | | Olivier Tardieu, Robert de Simone: Loops in esterel. ACM Trans. Embedded Comput. Syst. 4(4): 708-750 (2005) |
| c7 | | Olivier Tardieu, Stephen A. Edwards: Approximate Reachability for Dead Code Elimination in Esterel. ATVA 2005: 323-337 |
| c6 | | Stephen A. Edwards, Olivier Tardieu: SHIM: a deterministic model for heterogeneous embedded systems. EMSOFT 2005: 264-272 |
| c5 | | Stephen A. Edwards, Olivier Tardieu: Deterministic receptive processes are Kahn processes. MEMOCODE 2005: 37-44 |
| 2004 | ||
| c4 | | Olivier Tardieu, Robert de Simone: Curing schizophrenia by program rewriting in Esterel. MEMOCODE 2004: 39-48 |
| 2003 | ||
| c3 | | |
| 2001 | ||
| c2 | | |
| c1 | | Nevin Heintze, Olivier Tardieu: Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second. PLDI 2001: 254-263 |
Colors in the list of coauthors
Last update Sat May 18 21:05:19 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page