Olivier Tardieu  Olivier Tardieu photo       

contact information

Research Staff Member
T.J. Watson Research Center, Yorktown, NY, USA
  +1dash914dash945dash2553

links



2016

Spreadsheets for stream processing with unbounded windows and partitions
Hirzel, Martin and Rabbah, Rodric and Suter, Philippe and Tardieu, Olivier and Vaziri, Mandana
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, pp. 49--60, 2016

Resilient X10 over MPI User Level Failure Mitigation
Hamouda, Sara S and Herta, Benjamin and Milthorpe, Josh and Grove, David and Tardieu, Olivier
Proceedings of the 6th ACM SIGPLAN Workshop on X10, pp. 18--23, 2016

Control Structure Overloading in X10
Mandel, Louis and Milthorpe, Josh and Tardieu, Olivier
Proceedings of the 6th ACM SIGPLAN Workshop on X10, pp. 1--6, 2016

X10 and APGAS at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
j-TOPC 2(4), 25:1--25:32, 2016
Abstract


2015

Spreadsheets for Stream Partitions and Windows
Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, May 18, 2015., pp. 39--40

The APGAS Library: Resilient Parallel and Distributed Programming in Java 8
Olivier Tardieu
Proceedings of the ACM SIGPLAN Workshop on X10, pp. 25--26, ACM, 2015

Distributed Programming in Scala with APGAS
Philippe Suter, Olivier Tardieu, Josh Milthorpe
ACM SIGPLAN Symposium on Scala, pp. 13--17, ACM, 2015
Abstract


2014

Optimizing shared data accesses in distributed-memory X10 systems
Paudel, Jeeva and Tardieu, Olivier and Amarai, Jose Nelson
High Performance Computing (HiPC), 2014 21st International Conference on, pp. 1--10

X10 and APGAS at petascale
Tardieu, Olivier and Herta, Benjamin and Cunningham, David and Grove, David and Kambadur, Prabhanjan and Saraswat, Vijay and Shinnar, Avraham and Takeuchi, Mikio and Vaziri, Mandana
ACM SIGPLAN Notices, pp. 53--66, 2014

Supporting Array Programming in X10
David Grove, Josh Milthorpe, Olivier Tardieu
ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, pp. 38, Association for Computing Machinery (ACM), 2014
Abstract

Semantics of (Resilient) X10
Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar, Olivier Tardieu
European Conference on Object-Oriented Programming (ECOOP), pp. 670--696, Springer, 2014
Abstract

Stream Processing with a Spreadsheet
Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
European Conference on Object-Oriented Programming (ECOOP), pp. 360--384, Springer, 2014
Abstract   Winner of a Distinguished Paper Award.

GLB: Lifeline-based Global Load Balancing Library in X10
Wei Zhang, Olivier Tardieu, David Grove, Benjamin Herta, Tomio Kamada, Vijay Saraswat, Mikio Takeuchi
Proceedings of the First Workshop on Parallel Programming for Analytics Applications, pp. 31--40, ACM, 2014
Abstract

Resilient x10: Efficient failure-aware programming
David Cunningham, David Grove, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Hiroki Murata, Vijay Saraswat, Mikio Takeuchi, Olivier Tardieu
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming, pp. 67--80, ACM, 2014


2013

X10 at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
Technical Posters of SC13: International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 267--276, 2013

Hybrid parallel task placement in X10
J. Paudel, O. Tardieu, J.N. Amaral
Proceedings of the third ACM SIGPLAN X10 Workshop, pp. 31--38, 2013

On the Merits of Distributed Work-stealing on Selective Locality-aware Tasks
J. Paudel, O. Tardieu, J.N. Amaral
42nd International Conference on Parallel Processing, 2013

Guiding X10 Programmers to Improve Runtime Performance
J. Paudel, O. Tardieu, J.N. Amaral
Proceedings of the 7th International Conference on PGAS Programming Models, pp. 111, 2013


2012

X10 for Productivity and Performance at Scale: A Submission to the 2012 HPC Class II Challenge
O. Tardieu, D. Grove, B. Bloom, D. Cunningham, B. Herta, P. Kambadur, V. Saraswat, A. Shinnar, M. Takeuchi, M. Vaziri
Technical Report, 2012

Constrained kinds
O. Tardieu, N. Nystrom, I. Peshansky, V. Saraswat
Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPSLA'12, pp. 811--830, ACM, 2012
Abstract

Work-stealing without the baggage
V. Kumar, D. Frampton, S.M. Blackburn, D. Grove, O. Tardieu
Proceedings of the ACM international conference on Object oriented programming systems languages and applications, OOPLSA'12, pp. 297--314, 2012

A work-stealing scheduler for X10's task parallelism with suspension
O. Tardieu, H. Wang, H. Lin
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming. PPoPP'12, pp. 267--276, 2012


2011

A performance model for X10 applications: what's going on under the hood?
D. Grove, O. Tardieu, D. Cunningham, B. Herta, I. Peshansky, V. Saraswat
Proceedings of the 2011 ACM SIGPLAN X10 Workshop, pp. 1:1--1:8


2010

The Asynchronous Partitioned Global Address Space Model
V. Saraswat, G. Almasi, G. Bikshandi, C. Cascaval, D. Cunningham, D. Grove, S. Kodali, I. Peshansky, O. Tardieu
AMP'10: Proceedings of The First Workshop on Advances in Message Passing, 2010


2009

Compile-time analysis and specialization of clocks in concurrent programs
N. Vasudevan, O. Tardieu, J. Dolby, S.A. Edwards
Compiler Construction. CC'09, pp. 48--62, 2009


2008

Instantaneous Transitions in Esterel
O. Tardieu, S.A. Edwards
Electronic Notes in Theoretical Computer Science 203(4), 49--64, Elsevier, 2008

Programming shared memory multiprocessors with deterministic message-passing concurrency: Compiling SHIM to Pthreads
S.A. Edwards, N. Vasudevan, O. Tardieu
Design, Automation and Test in Europe, 2008. DATE'08, pp. 1498--1503


2007

A deterministic logical semantics for pure Esterel
O. Tardieu
ACM Transactions on Programming Languages and Systems (TOPLAS) 29(2), 8, ACM, 2007

Optimizing sequential cycles through Shannon decomposition and retiming
C. Soviani, O. Tardieu, S.A. Edwards
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on 26(3), 456--467, IEEE, 2007


2006

Optimizing sequential cycles through Shannon decomposition and retiming
C. Soviani, O. Tardieu, S.A. Edwards
Design, Automation and Test in Europe, 2006. DATE'06, pp. 1085--1090
Winner of a Best Paper Award.

R-SHIM: Deterministic concurrency with recursion and shared variables
O. Tardieu, S.A. Edwards
Formal Methods and Models for Co-Design, 2006. MEMOCODE'06. Proceedings. Fourth ACM and IEEE International Conference on, pp. 202--202

Efficient code generation from SHIM models
S.A. Edwards, O. Tardieu
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems. LCTES'06, pp. 125--134

Goto and concurrency introducing safe jumps in Esterel
O. Tardieu
Electronic Notes in Theoretical Computer Science 153(4), 55--70, Elsevier, 2006

Scheduling-independent threads and exceptions in SHIM
O. Tardieu, S.A. Edwards
Proceedings of the 6th ACM & IEEE International conference on Embedded software. EMSOFT'06, pp. 142--151, 2006

SHIM: A deterministic model for heterogeneous embedded systems
S.A. Edwards, O. Tardieu
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on 14(8), 854--867, IEEE, 2006


2005

Deterministic receptive processes are Kahn processes
S.A. Edwards, O. Tardieu
Formal Methods and Models for Co-Design, 2005. MEMOCODE'05. Proceedings. Third ACM and IEEE International Conference on, pp. 37--44

Approximate Reachability for Dead Code Elimination in Esterel*
O. Tardieu, S.A. Edwards
Automated Technology for Verification and Analysis. ATVA'05, 323--337, Springer, 2005

A deterministic logical semantics for Esterel
O. Tardieu
Electronic Notes in Theoretical Computer Science 128(1), 103--122, Elsevier, 2005

Loops in Esterel
O. Tardieu, R. de Simone
ACM Transactions on Embedded Computing Systems (TECS) 4(4), 708--750, ACM, 2005


2004

Curing schizophrenia by program rewriting in Esterel
O. Tardieu, R. de Simone
Formal Methods and Models for Co-Design, 2004. MEMOCODE'04. Proceedings. Second ACM and IEEE International Conference on, pp. 39--48


2003

Instantaneous termination in pure Esterel
O. Tardieu, R. de Simone
Static Analysis: 10th International Symposium, SAS'03. Proceedings, pp. 91--108, Springer, 2003


2001

Demand-driven pointer analysis
N. Heintze, O. Tardieu
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. PLDI'01, pp. 24--34

Ultra-fast aliasing analysis using CLA: A million lines of C code in a second
N. Heintze, O. Tardieu
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation. PLDI'01, pp. 254--263