Education

• Ph.D in Distributed Systems, Sorbonne Université, 2025
• Master in CS, Software Engineering, TU Kaiserslautern, Germany, 2022
• Bachelor of Technology, APJ Abdul kalam technical university, India, 2017

Publications

CALock: Multi-granularity locking in dynamic hierarchies

Ayush Pandey, Julien Sopena, Marc Shapiro, Swan Dubois, "CALock: Multi-granularity locking in dynamic hierarchies." IPDPS 2025 - 39th IEEE International Parallel and Distributed Processing Symposium, 2025.

Towards Local-First Distributed Property Graphs

Ayush Pandey, Stefania Dumbrava, Marc Shapiro, Carla Ferreira, M{\'a}rio Pereira, Nuno Pregui{\c c}a, "Towards Local-First Distributed Property Graphs." 12th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2025.

Diversifying locks for effective synchronization in dynamic graphs

Ayush Pandey, Julien Sopena, Swan Dubois, Marc Shapiro, "Diversifying locks for effective synchronization in dynamic graphs." EuroSys 2024 Doctoral Workshop, 2024.

CALock : Multi-Granularity Locking in Directed Graphs

Ayush Pandey, Swan Dubois, Marc Shapiro, Julien Sopena, "CALock : Multi-Granularity Locking in Directed Graphs." ComPas, 2023.

Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore

Ayush Pandey, Annette Bieniusa, Marc Shapiro. Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore. [Research Report] RR-9470, TU Kaiserslautern; LIP6, Sorbonne Université. 2022.

Work experience

• 2022-2025: PhD Researcher, LIP6, Sorbonne Université (UPMC), Paris
  • Thesis: CALock: topological multi-granularity locking in hierarchies
  • Designed, implemented and verified a new locking protocol for parallel threads over hierarchical data. CAlock identifies an optimal grain size for locking in a hierarchy of data structures.
  • Implemented and verified several thread synchronization protocols in java and C++ as well graph database implementations in TinkerPop (gremlin) as proof of concept. Performed benchmarks for performance evaluation.
  • Collaboration in projects involving industry partners and research labs. Ongoing collaboration with Telecom sud-Paris to design, implement and formally verify a distributed graph database. Second ongoing work within LIP6 on the specification and verification of a distributed key-value store.
• 2021-2022: Research Intern, LIP6, Sorbonne Université (UPMC), Paris
  • Implementation of a cache for a CRDT datastore. Worked on designing and implementing an in memory cache and checkpoint store for AntidoteDB.
  • Undertook performance benchmarking in a distributed environment with Riak Bench.
  • Fixed several bugs in the general implementation of AntidoteDB and achieved a 40% performance improvement in the read path.
  • Tech Report: Persisting the AntidoteDB Cache
• 2020-2021: Full stack Web Engineer, LernFair e.v., Remote, Germany
  • Worked on the development of an online learning platform for school students to facilitate remote learning during Covid-19 lockdowns.
  • Implemented the frontend in ReactJS and the backend in NodeJS and GraphQL along with alpha and beta testing of features.
  • Implemented the service layer in a microservice architecture with content delivery through REST APIs.
• 2020-2021: Research Assistant, German Center for AI (DFKI), Kaiserslautern, Germany
  • Developed a custom tool for visual graph editing tool with automated graph structuring and enforcing P&ID constraints on nodes and edges of the graph in AngularJS and D3.js.
  • Writing test suites for performance. testing on peak loads and high data volumes with python.
• 2017-2019: Software Engineer, Newgen Software Technologies, India
  • Development of custom workflow, content management and business process automation solutions for major Banks, Health care providers and insurance companies.
  • Developed custom dashboards and reports for telemetry and report generation.
  • Delivered technical training and support to business clients in the Asia pacific region.

Talks

CALock: Topological multi-granularity locking in hierarchical data

December 06, 2024

Talk at Parallel and Distributed Systems Group Telecom SudParis, Paris, France

Verrouillage multi-granularité dans les graphes orientés

July 05, 2023

Talk at ComPAS 2023, Annecy, France

Designing and Implementing a Persistent Cache for a CRDT Data store

March 28, 2022

Talk at Sorbonne University, Paris, France

Teaching

Datastructures

Datastructures