Skip to content
View deadlockcharlie's full-sized avatar
🐣
What came first: The Chicken or the Egg?
🐣
What came first: The Chicken or the Egg?
9 followers · 14 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Block or report deadlockcharlie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
deadlockcharlie/README.md

Hi, I'm Ayush 👋

Distributed Systems Researcher & Engineer | PhD @ Sorbonne | Postdoc @ Télécom SudParis/INRIA

I build high-performance distributed databases, storage systems, and geo-replication infrastructure.

🔬 Current Work

  • Postdoctoral researcher @ Télécom SudParis/INRIA
  • Building CRDT layer for serverless AI agent communication
  • First-author publications: VLDB 2026 (under review), IPDPS 2025, PaPoC 2025

🚀 Featured Projects

GRACE - Geo-Replicated Graph Database

Middleware achieving 100x lower write latency than consensus-based geo-replication while preserving application invariants across heterogeneous backends (Neo4j, MemGraph, ArangoDB, MongoDB).

  • 📄 Paper: VLDB 2026 (under review)
  • 🛠️ Tech: TypeScript, Node.js, Docker, Yjs (CRDTs)
  • 📊 Benchmarked: LDBC SNB, Freebase, 6 geo-distributed sites

CALock - Hierarchical Locking Protocol

Novel concurrency control protocol achieving 4.5x performance improvement for hierarchical data structures through optimal lock granularity identification.

  • 📄 Paper: IPDPS 2025
  • 🛠️ Tech: C++, POSIX threads, formal verification
  • ✅ Proven: Correctness, safety, liveness properties

CobbleDB - LSM Tree Store

Educational Log-Structured Merge tree key-value store achieving performance comparable to RocksDB in <3K lines of code through modular, compositional design.

  • 🛠️ Tech: Java, RocksDB APIs
  • ✨ Features: Multi-level compaction, transactions, replaceable components

AntidoteDB Cache

In-memory cache and checkpoint store for AntidoteDB distributed database achieving 40% read performance improvement with zero write overhead.

  • 📄 Report: "Persisting the AntidoteDB Cache" (2022)
  • 🛠️ Tech: Erlang, Riak, CRDTs

💻 Tech Stack

Languages: Java, C++, TypeScript, Python, Erlang/Elixir
Systems: Docker, Kubernetes, distributed databases, CRDTs, consistency protocols
Databases: Neo4j, PostgreSQL, MongoDB, RocksDB, Redis

📚 Recent Publications

  • PG-CRDT: Property Graph Replication - VLDB 2026 (under review)
  • CALock: Multi-granularity locking - IPDPS 2025
  • Local-First Property Graphs - PaPoC @ EuroSys 2025

Full publication list →

📫 Connect With Me

💡 Currently seeking: Distributed systems engineering, database infrastructure, or research scientist roles

Particularly interested in: geo-replication, consistency protocols, CRDTs, distributed databases, AI agent infrastructure

Pinned Loading

  1. distflow distflow Public

    Erlang 1

  2. antidote antidote Public

    Forked from AntidoteDB/antidote

    A planet scale, highly available, transactional database built on CRDT technology

    Erlang 2 1

  3. CALockBench CALockBench Public

    C++

  4. mini-java-compiler mini-java-compiler Public

    Java

  5. ReplicatedGDB ReplicatedGDB Public

    TypeScript