Aseem Rastogi

Employment

• Microsoft Research India Senior Principle Researcher
  2016 - Present

Education

• University of Maryland, College Park PhD
  2012 - 2016

Projects & Funding

Projects & funding information is unavailable.

Publications (3)

• PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3729311
  +Save
• Automatically Verifying Replication-Aware Linearizability
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3720452
  +Save
• Proof-oriented programming for high-assurance systems
  2023 DOI: 10.1145/3578527.3581769
  +Save