Srdjan Petrovic

According to our database, Srdjan Petrovic authored at least 11 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Vive la Différence: Practical Diff Testing of Stateful Applications.

Kexin Zhu, Michael Whittaker, Srdjan Petrovic, Robert Grandl, Sanjay Ghemawat

Proc. VLDB Endow., March, 2025

2023

Towards Modern Development of Cloud Applications.

Sanjay Ghemawat, Robert Grandl, Srdjan Petrovic, Michael Whittaker, Parveen Patel, Ivan Posva, Amin Vahdat

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2005

Efficient Wait-Free Algorithms for Implementing LL/SC Objects.

Srdjan Petrovic

PhD thesis, 2005

Space-efficient FCFS group mutual exclusion.

Srdjan Petrovic

Inf. Process. Lett., 2005

Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion.

Prasad Jayanti, Srdjan Petrovic, Neha Narula

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

Efficiently Implementing a Large Number of LL/SC Objects.

Prasad Jayanti, Srdjan Petrovic

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Efficiently Implementing LL/SC Objects Shared by an Unknown Number of Processes.

Prasad Jayanti, Srdjan Petrovic

Proceedings of the Distributed Computing, 2005

Efficient Wait-Free Implementation of Multiword LL/SC Variables.

Prasad Jayanti, Srdjan Petrovic

Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Logarithmic-Time Single Deleter, Multiple Inserter Wait-Free Queues and Stacks.

Prasad Jayanti, Srdjan Petrovic

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

2003

Fair group mutual exclusion.

Prasad Jayanti, Srdjan Petrovic, King Tan

Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

Efficient and practical constructions of LL/SC variables.

Prasad Jayanti, Srdjan Petrovic

Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003