O
Olivier Tardieu
Researcher at Columbia University
Publications - 25
Citations - 870
Olivier Tardieu is an academic researcher from Columbia University. The author has contributed to research in topics: Concurrency & Esterel. The author has an hindex of 14, co-authored 25 publications receiving 855 citations. Previous affiliations of Olivier Tardieu include French Institute for Research in Computer Science and Automation & Mines ParisTech.
Papers
More filters
Proceedings ArticleDOI
Ultra-fast aliasing analysis using CLA: a million lines of C code in a second
Nevin Heintze,Olivier Tardieu +1 more
TL;DR: This work describes the design and implementation of a system for very fast points-to analysis that is built into a forward data-dependence analysis tool that is deployed within Lucent to help with consistent type modifications to large legacy C code bases.
Proceedings ArticleDOI
Demand-driven pointer analysis
Nevin Heintze,Olivier Tardieu +1 more
TL;DR: This paper describes a demand-driven flow-insensitive, subset-based, con text-inssensitive points-to analysis, and proves that the algorithm is correct and optimal in the sense that it does not do more work than necessary.
Proceedings ArticleDOI
SHIM: a deterministic model for heterogeneous embedded systems
TL;DR: This work presents the Tiny-shim language for such systems and its semantics, demonstrates how to implement it in hardware and software, and discusses how it can be used to model a real-world system.
Journal ArticleDOI
SHIM: a deterministic model for heterogeneous embedded systems
TL;DR: This work presents the Tiny-shim language for such systems and its semantics, demonstrates how to implement it in hardware and software, and discusses how it can be used to model a real-world system.
Proceedings ArticleDOI
Scheduling-independent threads and exceptions in SHIM
TL;DR: This paper proposes SHIM, the core of a deterministic concurrent language, meaning the behavior of a program is independent of the scheduling of concurrent operations, and provides the formal semantics of SHIM and a pre-liminary implementation.