2022
Implementing Raft replicated state machine protocol for building a fault-tolerant key-value storage system.
Implemented Write Ahead Logging in B-epsilon-tree.
Improving the performance of IcebergHT hash table implementation by 100% by avoiding resource contention.
Built a reliable MapReduce system to process large volumes of data.
Sequentializing concurrent memory management program for verification using CBMC model checker.