conf.researchr.org / Anshuman Mohan
![Anshuman Mohan](https://conf.researchr.org/getProfileImage/anshumanmohan/037f66f3-8ecc-410e-a21e-764d076ad909/small.jpg?1711667712000)
Registered user since Wed 24 Jul 2019
Name:Anshuman Mohan
Bio:
I am a third-year PhD student at Cornell. I enjoy adventures that have at least a tangential involvement with food.
Here are my research projects, in reverse-chronological order:
- Pollen, a DSL in the service of pangenomic graph queries. Pollen targets hardware accelerators by compiling to Calyx.
- Programmable packet scheduling.
- Orlando + Littleton, a DSL + interpreter for property law.
- CertiGraph, a Coq development to formally verify graph-manipulating C programs using VST.
Country:United States
Affiliation:Cornell University
Personal website: https://www.cs.cornell.edu/~amohan/
GitHub: https://github.com/anshumanmohan
Research interests:programming languages, architecture, networks, formal verification
Contributions
2023
2022
2020
2019
SPLASH
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track
- Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track