Kshitij Bansal

Registered user since Wed 10 Feb 2021

Name:Kshitij Bansal
Country:United States
Personal website:https://kshitij.io
Research interests:Automated Reasoning, Machine Learning, Formal Methods

Contributions

VMCAI 2021 Author of Decomposing Data Structure Commutativity Proofs with mn-Differencing within the VMCAI-track