Projects
Ordo Ab Chao
C / Python — DePaul DICE Lab (Private)
The algorithmic core behind the paper Efficient Differencing of System-level Provenance Graphs (CIKM 2023). Defines a novel way to diff two execution traces while respecting loop iterations — a key requirement for program analysis. The algorithm runs in linear time relative to path length.
ProvScope
C / Python — DePaul DICE Lab
Experiment behind Provenance-based Workflow Diagnostics Using Program Specification (HiPC 2022). Given two execution traces and a program specification (control flow graphs), maps the traces onto paths and compares them. Employs multiple optimization techniques to tackle the path explosion problem.
Content-Defined Merkle Tree (CDMT)
C / Python — DePaul DICE Lab
Experiment behind Content-Defined Container Delivery (HiPC 2020). Implements a Merkle tree built on top of content-defined chunked data, with chunking applied to internal nodes for robustness against insertion operations — enabling fast partial access to large datasets.
Raft Consensus Algorithm
Scala / Akka
An implementation of the Raft consensus algorithm using the Akka actor framework. Covers leader election, log replication, crash recovery, and network partition handling.
Blockchain (Java)
Java
A blockchain implementation in Java exploring the fundamentals of distributed ledger technology, block validation, and chain integrity.
SimpleBlockChain (C++)
C++
A lightweight blockchain implementation in C++, exploring block and chain management at the systems level.