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.
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