In this paper, we explore the use of provenance for analyzing execution dynamics in distributed systems. We argue that provenance could have significant practical benefits for system administrators, e.g., for reasoning about changes in a system’s state, diagnosing protocol misconfigurations, detecting intrusions, and pinpointing performance bottlenecks. However, to realize this vision, we must revisit several aspects of provenance management. As a first step, we present time-aware provenance (TAP), an enhanced provenance model that explicitly represents time, distributed state, and state changes. We outline our research agenda towards developing novel query processing, languages, and optimization techniques that can be used to efficiently a...
International audienceRunning experiments on modern systems like supercomput-ers, cloud infrastructu...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
We aim to develop a formal framework to reason about provenance in distributed systems. We take as o...
In this paper, we explore the use of provenance for analyzing execution dynamics in distributed syst...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
The ability to reason about changes in a distributed system’s state enables network administrators t...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
We present a formalism for provenance in distributed systems based on the π-calculus. Its main featu...
Scientific and business communities are adopting large scale distributed systems as a means to solve...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
International audienceRunning experiments on modern systems like supercomput-ers, cloud infrastructu...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
We aim to develop a formal framework to reason about provenance in distributed systems. We take as o...
In this paper, we explore the use of provenance for analyzing execution dynamics in distributed syst...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
The ability to reason about changes in a distributed system’s state enables network administrators t...
Operators of distributed systems often find themselves needing to answer forensic questions, to perf...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...
Diagnosing and repairing problems in complex distributed systems has always been challenging. A wide...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
We present a formalism for provenance in distributed systems based on the π-calculus. Its main featu...
Scientific and business communities are adopting large scale distributed systems as a means to solve...
We demonstrate NetTrails, a declarative platform for maintaining and interactively querying network ...
International audienceRunning experiments on modern systems like supercomput-ers, cloud infrastructu...
Network accountability, forensic analysis, and failure diagnosis are becoming increasingly important...
We aim to develop a formal framework to reason about provenance in distributed systems. We take as o...