Olivier Tardieu

Orcid: 0000-0002-8377-6757

According to our database1, Olivier Tardieu authored at least 45 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Reliable Actors with Retry Orchestration.
Proc. ACM Program. Lang., 2023

2019
Failure Recovery in Resilient X10.
ACM Trans. Program. Lang. Syst., 2019

Industry Talk: Serverless Composition of Serverless Functions.
Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

2018
A reactive language for analyzing cloud logs.
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

2017
The serverless trilemma: function composition for serverless computing.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016
X10 and APGAS at Petascale.
ACM Trans. Parallel Comput., 2016

META: Middleware for Events, Transactions, and Analytics.
IBM J. Res. Dev., 2016

Control structure overloading in X10.
Proceedings of the 6th ACM SIGPLAN Workshop on X10, 2016

Resilient X10 over MPI user level failure mitigation.
Proceedings of the 6th ACM SIGPLAN Workshop on X10, 2016

Spreadsheets for stream processing with unbounded windows and partitions.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016

2015
The APGAS library: resilient parallel and distributed programming in Java 8.
Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015, 2015

Distributed programming in Scala with APGAS.
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

Spreadsheets for Stream Partitions and Windows.
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

2014
GLB: lifeline-based global load balancing library in x10.
Proceedings of the first workshop on Parallel programming for analytics applications, 2014

X10 and APGAS at Petascale.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Resilient X10: efficient failure-aware programming.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Supporting Array Programming in X10.
Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Optimizing shared data accesses in distributed-memory X10 systems.
Proceedings of the 21st International Conference on High Performance Computing, 2014

Stream Processing with a Spreadsheet.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

Semantics of (Resilient) X10.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

13th compiler-driven performance workshop (CDP).
Proceedings of 24th Annual International Conference on Computer Science and Software Engineering, 2014

2013
X10 at scale.
Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

Hybrid parallel task placement in X10.
Proceedings of the third ACM SIGPLAN X10 Workshop, 2013

On the Merits of Distributed Work-Stealing on Selective Locality-Aware Tasks.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

2012
A work-stealing scheduler for X10's task parallelism with suspension.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Constrained kinds.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Work-stealing without the baggage.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2009
Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
A deterministic logical semantics for pure Esterel.
ACM Trans. Program. Lang. Syst., 2007

Optimizing Sequential Cycles Through Shannon Decomposition and Retiming.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007

Instantaneous Transitions in Esterel.
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

2006
SHIM: a deterministic model for heterogeneous embedded systems.
IEEE Trans. Very Large Scale Integr. Syst., 2006

R-SHIM: deterministic concurrency with recursion and shared variables.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Efficient code generation from SHIM models.
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Scheduling-independent threads and exceptions in SHIM.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Loops in esterel.
ACM Trans. Embed. Comput. Syst., 2005

Deterministic receptive processes are Kahn processes.
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Approximate Reachability for Dead Code Elimination in Esterel.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Goto and Concurrency Introducing Safe Jumps in Esterel.
Proceedings of the Third International Workshop on Synchronous Languages, 2004

A Deterministic Logical Semantics for Esterel.
Proceedings of the Workshop on Structural Operational Semantics, 2004

Curing schizophrenia by program rewriting in Esterel.
Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

2003
Instantaneous Termination in Pure Esterel.
Proceedings of the Static Analysis, 10th International Symposium, 2003

2001
Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Demand-Driven Pointer Analysis.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001


  Loading...