Ajay D. Kshemkalyani

Orcid: 0000-0003-2451-7306

According to our database1, Ajay D. Kshemkalyani authored at least 140 papers between 1990 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Byzantine-Tolerant Causal Ordering for Unicasts, Multicasts, and Broadcasts.
IEEE Trans. Parallel Distributed Syst., May, 2024

Agent-based MST Construction.
CoRR, 2024

2023
Towards Stronger Blockchains: Security Against Front-Running Attacks.
CoRR, 2023

Detecting Causality in the Presence of Byzantine Processes: The Synchronous Systems Case.
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Byzantine Fault-Tolerant Causal Ordering.
Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023

2022
Dispersion of mobile robots using global communication.
J. Parallel Distributed Comput., 2022

Cost-Effective Spot Instances Provisioning Using Features of Cloud Markets.
Int. J. Cloud Appl. Comput., 2022

Solvability of Byzantine Fault-Tolerant Causal Ordering Problems.
Proceedings of the Networked Systems - 10th International Conference, 2022

Causal Ordering Properties of Byzantine Reliable Broadcast Primitives.
Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

Detecting Causality in the Presence of Byzantine Processes: There is No Holy Grail.
Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

Byzantine Fault-Tolerant Causal Broadcast on Incomplete Graphs.
Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022

Causal Ordering in the Presence of Byzantine Processes.
Proceedings of the 28th IEEE International Conference on Parallel and Distributed Systems, 2022

2021
Resettable Encoded Vector Clock for Causality Analysis With an Application to Dynamic Race Detection.
IEEE Trans. Parallel Distributed Syst., 2021

Near-Optimal Dispersion on Arbitrary Anonymous Graphs.
Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

Weak Amnesiac Flooding of Multiple Messages.
Proceedings of the Networked Systems - 9th International Conference, 2021

Weak Amnesiac Flooding.
Proceedings of the 20th International Symposium on Parallel and Distributed Computing, 2021

The Bloom Clock for Causality Testing.
Proceedings of the Distributed Computing and Internet Technology, 2021

Convergent Causal Consistency for Social Media Posts.
Proceedings of the PaPoC@EuroSys 2021, 2021

CaDRoP: Cost Optimized Convergent Causal Consistency in Social Network Systems.
Proceedings of the 21st IEEE/ACM International Symposium on Cluster, 2021

2020
T-BASIR: Finding Shutdown Bugs for Cloud-Based Applications in Cloud Spot Markets.
IEEE Trans. Parallel Distributed Syst., 2020

Prime clock: Encoded vector clock to characterize causality in distributed systems.
J. Parallel Distributed Comput., 2020

Dispersion of Mobile Robots on Grids.
Proceedings of the WALCOM: Algorithms and Computation - 14th International Conference, 2020

The Bloom Clock to Characterize Causality in Distributed Systems.
Proceedings of the Advances in Networked-Based Information Systems, 2020

Provisioning Spot Instances Without Employing Fault-Tolerance Mechanisms.
Proceedings of the 19th International Symposium on Parallel and Distributed Computing, 2020

Efficient Dispersion of Mobile Robots on Dynamic Graphs.
Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Dispersion of Mobile Robots in the Global Communication Model.
Proceedings of the ICDCN 2020: 21st International Conference on Distributed Computing and Networking, 2020

2019
A Proactive, Cost-aware, Optimized Data Replication Strategy in Geo-distributed Cloud Datastores.
Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019

Efficient dispersion of mobile robots on graphs.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019

On the Growth of the Prime Numbers Based Encoded Vector Clock.
Proceedings of the Distributed Computing and Internet Technology, 2019

Fast Dispersion of Mobile Robots on Arbitrary Graphs.
Proceedings of the Algorithms for Sensor Systems, 2019

Testing for Bugs of Cloud-Based Applications Resulting from Spot Instance Revocations.
Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

2018
Value the Recent Past: Approximate Causal Consistency for Partially Replicated Systems.
IEEE Trans. Parallel Distributed Syst., 2018

Causal consistency algorithms for partially replicated and fully replicated systems.
Future Gener. Comput. Syst., 2018

Real-Time Distributed Taxi Ride Sharing.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Efficient Taxi and Passenger Searching in Smart City using Distributed Coordination.
Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

Encoded Vector Clock: Using Primes to Characterize Causality in Distributed Systems.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

Fast Graph Exploration by a Mobile Robot.
Proceedings of the First IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2018

2016
Performance of Approximate Causal Consistency for Partially Replicated Systems.
Proceedings of the Third International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, 2016

Performance of Causal Consistency Algorithms for Partially Replicated Systems.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

2015
Variable social vector clocks for exploring user interactions in social communication networks.
Int. J. Space Based Situated Comput., 2015

Approximate causal consistency for partially replicated geo-replicated cloud storage.
Proceedings of the Fifth International Workshop on Network-Aware Data Management, 2015

Causal Consistency for Geo-Replicated Cloud Storage under Partial Replication.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

OPCAM: Optimal Algorithms Implementing Causal Memories in Shared Memory Systems.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

Modeling Social Network Topology with Variable Social Vector Clocks.
Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2015

2014
Hierarchical Detection of Strong Unstable Conjunctive Predicates in Large-Scale Systems.
IEEE Trans. Parallel Distributed Syst., 2014

Automatic Event Scheduling in Mobile Social Network Communities.
IEEE Trans. Parallel Distributed Syst., 2014

Detecting stable locality-aware predicates.
J. Parallel Distributed Comput., 2014

Modeling User Interactions in Social Communication Networks with Variable Social Vector Clocks.
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013
Predicate Detection in Asynchronous Pervasive Environments.
IEEE Trans. Computers, 2013

Efficient distributed snapshots in an anonymous asynchronous message-passing system.
J. Parallel Distributed Comput., 2013

Automatic Event Scheduling in Mobile Social Network Communities.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Detecting Unstable Conjunctive Locality-Aware Predicates in Large-Scale Systems.
Proceedings of the IEEE 12th International Symposium on Parallel and Distributed Computing, 2013

A Fault-Tolerant Strong Conjunctive Predicate Detection Algorithm for Large-Scale Networks.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

2012
Immediate detection of predicates in pervasive environments.
J. Parallel Distributed Comput., 2012

Execution and Time Models for Pervasive Sensor Networks.
Int. J. Netw. Comput., 2012

Context Map for Navigating the Physical World.
Proceedings of the 20th Euromicro International Conference on Parallel, 2012

Cross-layer protocols for WSNs: A simple design and simulation paradigm.
Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

Detecting Tree Distributed Predicates.
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

2011
Mobile Sampling of Sensor Field Data Using Controlled Broadcast.
IEEE Trans. Mob. Comput., 2011

Repeated detection of conjunctive predicates in distributed executions.
Inf. Process. Lett., 2011

Querying context maps using relative timing predicates in pervasive environments.
Proceedings of the Sixth International Workshop on Middleware for Sensor Networks, 2011

Performance Evaluation of Incremental Vector Clocks.
Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

Context modeling in collaborative sensor network applications.
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011

2010
Fast and Message-Efficient Global Snapshot Algorithms for Large-Scale Distributed Systems.
IEEE Trans. Parallel Distributed Syst., 2010

Dynamic multiroot, multiquery processing based on data sharing in sensor networks.
ACM Trans. Sens. Networks, 2010

Middleware clocks for sensing the physical world.
Proceedings of the Fifth International Workshop on Middleware for Sensor Networks, 2010

2009
A symmetric O(n log n) message distributed snapshot algorithm for large-scale systems.
Proceedings of the 2009 IEEE International Conference on Cluster Computing, August 31, 2009

2008
Data-stream-based global event monitoring using pairwise interactions.
J. Parallel Distributed Comput., 2008

Analysis models for unguided search in unstructured P2P networks.
Int. J. Ad Hoc Ubiquitous Comput., 2008

Modeling message propagation in random graph networks.
Comput. Commun., 2008

Multi-root, Multi-Query Processing in Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2008

2007
Detecting Arbitrary Stable Properties Using Efficient Snapshots.
IEEE Trans. Software Eng., 2007

Temporal Predicate Detection Using Synchronized Clocks.
IEEE Trans. Computers, 2007

Efficient detection of a locally stable predicate in a distributed system.
J. Parallel Distributed Comput., 2007

Establishing Authenticated Channels and Secure Identifiers in Ad-hoc Networks.
Int. J. Netw. Secur., 2007

2006
Objective-Optimal Algorithms for Long-Term Web Prefetching.
IEEE Trans. Computers, 2006

Analysis Models for Blind Search in Unstructured Overlays.
Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Evaluation of Models for Analyzing Unguided Search in Unstructured Networks.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

Fully self-organized key agreement for ad-hoc wireless networks.
Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

2005
Causality-Based Predicate Detection across Space and Time.
IEEE Trans. Computers, 2005

Clock synchronization for wireless sensor networks: a survey.
Ad Hoc Networks, 2005

Analysis of Interval-Based Global State Detection.
Proceedings of the Distributed Computing and Internet Technology, 2005

Nonintrusive Snapshots Using Thin Slices.
Proceedings of the Embedded and Ubiquitous Computing, 2005

Predicate Detection Using Event Streams in Ubiquitous Environments.
Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

Global State Detection Based on Peer-to-Peer Interactions.
Proceedings of the Embedded and Ubiquitous Computing, 2005

2004
Performance of the Optimal Causal Multicast Algorithm: A Statistical Analysis.
IEEE Trans. Parallel Distributed Syst., 2004

The power of logical clock abstractions.
Distributed Comput., 2004

On the Security of Polling Protocols in Peer-to-Peer Systems.
Proceedings of the 4th International Conference on Peer-to-Peer Computing (P2P 2004), 2004

Objective-Greedy Algorithms for Long-Term Web Prefetching.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Causal Multicast in Mobile Networks.
Proceedings of the 12th International Workshop on Modeling, 2004

Performance of Fair Distributed Mutual Exclusion Algorithms.
Proceedings of the Distributed Computing, 2004

HRED: A Simple and Efficient Active Queue Management Algorithm.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 2004), 2004

2003
A Fine-Grained Modality Classification for Global Predicates.
IEEE Trans. Parallel Distributed Syst., 2003

Distributed algorithm to detect strong conjunctive predicates.
Inf. Process. Lett., 2003

SWIFT: Scheduling in Web Servers for Fast Response Time.
Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 2003

A Note on Modalities for Nonconjunctive Global Predicates.
Proceedings of the Distributed Computing, 2003

Global Predicate Detection under Fine-Grained Modalities.
Proceedings of the Advances in Computing Science, 2003

2002
Communication Patterns in Distributed Computations.
J. Parallel Distributed Comput., 2002

Orthogonal relations for reasoning about posets.
Int. J. Intell. Syst., 2002

A Simple, Memory-Efficient Bounded Concurrent Timestamping Algorithm.
Proceedings of the Algorithms and Computation, 13th International Symposium, 2002

Detection of Orthogonal Interval Relations.
Proceedings of the High Performance Computing, 2002

2001
Compact Routing in Directed Networks with Stretch Factor of Two.
Proceedings of the High Performance Computing - HiPC 2001, 8th International Conference, 2001

Efficient Synchronization of Asynchronous Processes.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

Orthogonal Relations for Reasoning about Abstract Events.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

2000
A Fair Distributed Mutual Exclusion Algorithm.
IEEE Trans. Parallel Distributed Syst., 2000

Evaluation of the Optimal Causal Message Ordering Algorithm.
Proceedings of the High Performance Computing, 2000

Reducing False Causality in Causal Message Ordering.
Proceedings of the High Performance Computing, 2000

Concurrent Knowledge and Logical Clock Abstractions.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases.
IEEE Trans. Knowl. Data Eng., 1999

Two Classes of Communication Patterns.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Universal Constructs in Distributed Computations.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
A Framework for Viewing Atomic Events in Distributed Computations.
Theor. Comput. Sci., 1998

Context management and its applications to distributed transactions.
Distributed Syst. Eng., 1998

Necessary and Sufficient Conditions on Information for Causal Message Ordering and Their Optimal Implementation.
Distributed Comput., 1998

Causality and Atomicity in Distributed Computations.
Distributed Comput., 1998

On probabilities of hash value matches.
Comput. Secur., 1998

Decentralized Network Connection Preemption Algorithms.
Comput. Networks, 1998

Efficient Evaluation of Causality Relations Between Nonatomic Events.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

Testing of Synchronization Conditions for Distributed Real-Time Applications.
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

Significance and Uses of Fine-Grained Synchronization Relations.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

1997
ATM cell encryption and key update synchronization.
Telecommun. Syst., 1997

Reconciling chained and unchained transactional support for distributed systems.
J. Syst. Archit., 1997

Network path caching: : Issues, algorithms and a simulation study.
Comput. Commun., 1997

Reasoning About Causality Between Distributed Nonatomic Events.
Artif. Intell., 1997

Connection Preemption: Issues, Algorithms, and a Simulation Study.
Proceedings of the Proceedings IEEE INFOCOM '97, 1997

Distributed Detection of Generalized Deadlocks.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Causality between Nonatomic Poset Events in Distributed Computations.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1996
Temporal Interactions of Intervals in Distributed Systems.
J. Comput. Syst. Sci., 1996

An Optimal Algorithm for Generalized Causal Message Ordering (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995
CPI-C: An API for Distributed Applications.
IBM Syst. J., 1995

An introduction to snapshot algorithms in distributed computing.
Distributed Syst. Eng., 1995

1994
Efficient Detection and Resolution of Generalized Distributed Deadlocks.
IEEE Trans. Software Eng., 1994

On Characterization and Correctness of Distributed Deadlock Detection.
J. Parallel Distributed Comput., 1994

1993
Unchained Transactionsd and SNA LU6.2.
Proceedings of the International Workshop on High-Performance Transaction Systems, 1993

1992
An Efficient Implementation of Vector Clocks.
Inf. Process. Lett., 1992

1991
Invariant-Based Verification of a Distributed Deadlock Detection Algorithm.
IEEE Trans. Software Eng., 1991

1990
Correct Two-Phase and One-Phase Deadlock Detection Algorithms for Distributed Systems.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

A Basic Unit of Computation in Distributed Systems.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990


  Loading...