Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Verification of Distributed System using Verus
Published:
Verus is an open-source tool for formally verifying Rust programs. You write your executable Rust code alongside specifications (preconditions, postconditions, invariants) and optional proof code, and Verus uses automated SMT solvers to prove that the code satisfies those specs for all executions, without adding runtime checks.
books
Database Internals
Notes coming soon.
Designing Data Intensive Systems
Notes coming soon.
papers
MultiPaxos made complete
Notes coming soon.
PBFT
Notes coming soon.
portfolio
Scalable Retrieval with Project Gutenberg
Built an embeddings-based retrieval prototype and a simplified HNSW-style ANN index; instrumented time/peak-memory to study scalability tradeoffs.
Traffic Accident Detection & Tracking on Google Maps–Style Data
End-to-end incident detection from noisy user reports + GPS-derived travel times using hypothesis tests, SPRT, ARIMA forecasting, and changepoint detection.
Multi Paxos
A crash fault-tolerant banking app using Multi-Paxos for state machine replication.
Domain-Specialized NanoGPT
Trained and analyzed small NanoGPT models across Shakespeare/Wikipedia/Math with zero-shot + few-shot transfer, softmax confidence tracking, and Grad-CAM–style token attribution.
Linear PBFT
A replicated banking service implementing Linear PBFT (collector-based BFT) with PBFT view-change for Byzantine fault tolerance.
RAG Retrieval over the SciPy Codebase
Built a scalable retrieval pipeline (chunk → embed → FAISS) to answer natural-language questions over SciPy’s docs and source code.
Rule-Based Toolformer (Tool-Using Chatbot)
Built a simplified Toolformer-style assistant that routes queries to tools (math, maps, file search) and uses a lightweight local LLM to format tool outputs into user-friendly answers.
Scalable Bank
Scalable fault-tolerant banking using 2 Phase Commit for cross-shard operations and multi-paxos for fault tolerance.
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Download Paper | Download Slides | Download Bibtex
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Download Paper | Download Slides
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Download Paper | Download Slides
Paper Title Number 4
Published in GitHub Journal of Bugs, 2024
This paper is about fixing template issue #693.
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
Paper Title Number 5, with math \(E=mc^2\)
Published in GitHub Journal of Bugs, 2024
This paper is about a famous math equation, \(E=mc^2\)
Recommended citation: Your Name, You. (2024). "Paper Title Number 3." GitHub Journal of Bugs. 1(3).
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.