Broadly, I am interested in topics related to Programming Languages. I am fortunate to be advised by Prof. Umut Acar on various aspects of parallel computing. I am exploring new ways of memory management for parallel functional languages using MPL.
Disentanglement with Futures, State, and Interaction
Efficient Parallel Functional Programming with Effects
Entanglement Detection With Near-Zero Cost
Provably Space-Efficient Parallel Functional Programming
Knowledge Compilation for Boolean Synthesis
Verification of Programs under the Release Acquire Semantics
Property Inference in ReLU nets using Linear Interpolants