We present dynamic control replication, a run-time program analysis that enables scalable execution of implicitly parallel programs on large machines through a distributed and efficient dynamic dependence analysis. Dynamic control replication distributes dependence analysis by executing multiple copies of an implicitly parallel program while ensuring that they still collectively behave as a single execution. By distributing and parallelizing the dependence analysis, dynamic control replication supports efficient, on-the-fly computation of dependences for programs with arbitrary control flow at scale. We describe an asymptotically scalable algorithm for implementing dynamic control replication that maintains the sequential semantics of impli...
One typical use case of large-scale distributed computing in data centers is to decompose a computat...
International audienceThis paper describes a tool using one or more executions of a sequential progr...
This thesis addresses the issue of ensuring user programs to be executed reliably by making use of t...
We present dynamic control replication, a run-time program analysis that enables scalable execution ...
International audienceWith the increased failure rate expected in future extreme scale supercomputer...
In this thesis, we address the problem of efficiently and automatically scaling iterative computatio...
There exists several divides between implicit and explicit paradigms in concurrent programming model...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...
Abstract—Swift/T is a high-level language for writing concise, deterministic scripts that compose se...
Parallel programming involves finding the potential parallelism in an application, choos-ing an algo...
This paper proposes a new parallel execution model where programmers augment a sequential program w...
We propose a new technique for exploiting the inherent parallelism in lazy functional programs. Know...
The shift of the microprocessor industry towards multicore architectures has placed a huge burden o...
International audienceDumping large amounts of related data simulta-neously to local storage devices...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
One typical use case of large-scale distributed computing in data centers is to decompose a computat...
International audienceThis paper describes a tool using one or more executions of a sequential progr...
This thesis addresses the issue of ensuring user programs to be executed reliably by making use of t...
We present dynamic control replication, a run-time program analysis that enables scalable execution ...
International audienceWith the increased failure rate expected in future extreme scale supercomputer...
In this thesis, we address the problem of efficiently and automatically scaling iterative computatio...
There exists several divides between implicit and explicit paradigms in concurrent programming model...
Thesis (Ph. D.)--University of Rochester. Dept. of Computer Science, 2012.Speculative parallelizatio...
Abstract—Swift/T is a high-level language for writing concise, deterministic scripts that compose se...
Parallel programming involves finding the potential parallelism in an application, choos-ing an algo...
This paper proposes a new parallel execution model where programmers augment a sequential program w...
We propose a new technique for exploiting the inherent parallelism in lazy functional programs. Know...
The shift of the microprocessor industry towards multicore architectures has placed a huge burden o...
International audienceDumping large amounts of related data simulta-neously to local storage devices...
Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact ...
One typical use case of large-scale distributed computing in data centers is to decompose a computat...
International audienceThis paper describes a tool using one or more executions of a sequential progr...
This thesis addresses the issue of ensuring user programs to be executed reliably by making use of t...