| Publication | Date of Publication | Type |
|---|
Adaptive and fair transformation for recoverable mutual exclusion
Journal of the ACM | 2025-10-23 | Paper |
Locksynth: deriving synchronization code for concurrent data structures with ASP
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Synthesizing Imperative Code from Answer Set Programming Specifications
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
An Adaptive Approach to Recoverable Mutual Exclusion
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Finding missing synchronization in a distributed computation using controlled re-execution
Distributed Computing | 2020-12-04 | Paper |
Algorithms for optimal replica placement under correlated failure in hierarchical failure domains
Theoretical Computer Science | 2020-01-29 | Paper |
Lexico-minimum replica placement in multitrees
(available as arXiv preprint) | 2018-03-26 | Paper |
Efficient abstraction algorithms for predicate detection
Theoretical Computer Science | 2017-06-19 | Paper |
On replica placement in high-availability storage under correlated failure
Combinatorial Optimization and Applications | 2016-02-05 | Paper |
Debugging distributed programs using controlled re-execution
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing | 2015-03-03 | Paper |
A family of optimal termination detection algorithms
Distributed Computing | 2013-06-20 | Paper |
Timestamping messages and events in a distributed system using synchronous communication
Distributed Computing | 2013-06-20 | Paper |
Techniques and applications of computation slicing
Distributed Computing | 2013-06-07 | Paper |
On termination detection in crash-prone distributed systems with failure detectors
Journal of Parallel and Distributed Computing | 2012-07-26 | Paper |
Safe termination detection in an asynchronous distributed system when processes may crash and recover
Theoretical Computer Science | 2009-03-02 | Paper |
Time-efficient distributed layer-2 auto-configuration for cognitive radio networks
Computer Networks | 2008-03-11 | Paper |
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform
Journal of Parallel and Distributed Computing | 2007-07-16 | Paper |
Efficient detection of a locally stable predicate in a distributed system
Journal of Parallel and Distributed Computing | 2007-04-26 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Distributed Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Principles of Distributed Systems
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2006645 (Why is no real title available?) | 2003-11-23 | Paper |
