dblp.uni-trier.dewww.uni-trier.de

Olivier Tardieu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Julian Dolby [20]
2Stephen A. Edwards [7] [8] [9] [10] [12] [13] [14] [15] [16] [18] [19] [20]
3Nevin Heintze [1] [2]
4Robert de Simone [3] [4] [6]
5Cristian Soviani [15] [16]
6Nalini Vasudevan [19] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)