<?xml-stylesheet type="text/xsl" href="https://academic-works.astrareconslabs.com/feed.xsl"?>https://academic-works.astrareconslabs.com/Academic homepage of Parth Sinha, researcher in Computer Science.en-gb (Parth Sinha)Sat, 16 May 2026 10:34:04 +0000https://academic-works.astrareconslabs.com/notes/~/the-fabric-strategy-for-verifying-neural-feedback-systems/Sat, 16 May 2026 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/the-fabric-strategy-for-verifying-neural-feedback-systems/Notes on the FABRIC strategy for verifying nonlinear neural feedback systems by combining forward reachability, backward reachability, polyhedral enclosures, MILP encodings, DRiPy refinement, and FITS inner-set construction.https://academic-works.astrareconslabs.com/notes/~/reachable-polyhedral-marching-for-deep-learned-control-systems/Wed, 13 May 2026 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/reachable-polyhedral-marching-for-deep-learned-control-systems/Notes on Vincent &amp; Schwager (2022) introducing the Reachable Polyhedral Marching (RPM) algorithm for exact reachability analysis of ReLU neural network controllers.https://academic-works.astrareconslabs.com/notes/~/demo-note-images-tables-and-latex-in-academic-work/Sun, 12 Jan 2025 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/demo-note-images-tables-and-latex-in-academic-work/A showcase note demonstrating image embedding, a borderless striped table, lists, code, and LaTeX rendering in the Academic Work theme.https://academic-works.astrareconslabs.com/library/~/curriculum-vitae/Fri, 01 Nov 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/library/~/curriculum-vitae/Full academic CV including education, publications, talks, awards, and service.https://academic-works.astrareconslabs.com/notes/~/reading-notes-lamport-clocks-and-happens-before/Thu, 03 Oct 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/reading-notes-lamport-clocks-and-happens-before/Notes on Lamport&rsquo;s 1978 paper introducing logical clocks and the happens-before relation, with observations on how the idea maps onto modern distributed databases.https://academic-works.astrareconslabs.com/research/~/adaptive-consensus-protocols-under-partial-synchrony/Sun, 15 Sep 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/research/~/adaptive-consensus-protocols-under-partial-synchrony/We present AdaptRaft, a variant of the Raft consensus algorithm that dynamically adjusts its timing parameters using a lightweight online learning model, reducing tail latency by up to 34% in geo-distributed deployments.https://academic-works.astrareconslabs.com/projects/~/adaptraft/Thu, 01 Aug 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/projects/~/adaptraft/A modified Raft implementation with an online bandit learner that adapts election and heartbeat timeouts to observed network conditions. Companion codebase for the SOSP 2024 paper.https://academic-works.astrareconslabs.com/notes/~/working-notes-what-raft-actually-guarantees/Thu, 18 Jul 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/working-notes-what-raft-actually-guarantees/Informal notes clarifying which safety and liveness properties Raft provides under which assumptions, written while preparing a talk on adaptive consensus.https://academic-works.astrareconslabs.com/research/~/byzantine-fault-tolerance-in-practice-a-survey-of-modern-bft-protocols/Fri, 01 Mar 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/research/~/byzantine-fault-tolerance-in-practice-a-survey-of-modern-bft-protocols/A structured survey of Byzantine fault-tolerant consensus protocols deployed since 2015, identifying the practical trade-offs between safety, liveness, and throughput that are often obscured in theoretical treatments.https://academic-works.astrareconslabs.com/teaching/~/distributed-systems-hilary-term-2024/Mon, 15 Jan 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/teaching/~/distributed-systems-hilary-term-2024/Graduate teaching assistant for the Distributed Systems course. Eight tutorials covering consensus, replication, fault tolerance, and consistency models.https://academic-works.astrareconslabs.com/library/~/distributed-systems-reading-list/Mon, 15 Jan 2024 00:00:00 +0000https://academic-works.astrareconslabs.com/library/~/distributed-systems-reading-list/A curated reading list for anyone starting research in distributed systems — foundational papers, key textbooks, and a handful of essential blog posts.https://academic-works.astrareconslabs.com/projects/~/distbench/Wed, 01 Nov 2023 00:00:00 +0000https://academic-works.astrareconslabs.com/projects/~/distbench/A configurable benchmarking harness for distributed consensus protocols. Supports pluggable protocol implementations, synthetic and replay workloads, and structured JSON output for reproducible experiments.https://academic-works.astrareconslabs.com/teaching/~/algorithms-michaelmas-term-2023/Sun, 01 Oct 2023 00:00:00 +0000https://academic-works.astrareconslabs.com/teaching/~/algorithms-michaelmas-term-2023/Undergraduate tutor for the first-year Algorithms course. Six tutorials covering sorting, graph algorithms, dynamic programming, and complexity.https://academic-works.astrareconslabs.com/notes/~/first-year-of-a-phd-what-i-wish-i-had-known/Fri, 01 Sep 2023 00:00:00 +0000https://academic-works.astrareconslabs.com/notes/~/first-year-of-a-phd-what-i-wish-i-had-known/Honest notes on what the first year of doctoral research actually looks like — the good, the disorienting, and the practical.https://academic-works.astrareconslabs.com/research/~/learned-indices-for-distributed-key-value-stores/Sat, 10 Jun 2023 00:00:00 +0000https://academic-works.astrareconslabs.com/research/~/learned-indices-for-distributed-key-value-stores/We explore the applicability of learned index structures to distributed key-value stores, demonstrating that model-based indices can reduce lookup latency by 22% with a modest increase in memory footprint on skewed workloads.https://academic-works.astrareconslabs.com/library/~/meng-thesis-a-comparative-analysis-of-byzantine-fault-tolerant-consensus-protocols/Wed, 01 Jun 2022 00:00:00 +0000https://academic-works.astrareconslabs.com/library/~/meng-thesis-a-comparative-analysis-of-byzantine-fault-tolerant-consensus-protocols/My undergraduate thesis comparing PBFT, HotStuff, and Tendermint across latency, throughput, and message complexity in a simulated WAN environment.https://academic-works.astrareconslabs.com/theme/Mon, 01 Jan 0001 00:00:00 +0000https://academic-works.astrareconslabs.com/theme/A single-page reference for the Academic Work theme system: palette, spacing, grids, prose, tables, code, and LaTeX.