Sorav Bansal

Employment

• Indian Institute of Technology Delhi

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (1)

• Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3649863
  +Save