conf.researchr.org / Anshuman Mohan
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:
- Programmable packet scheduling.
- Pollen, a DSL in the service of pangenomic graph queries. Pollen targets hardware accelerators by compiling to Calyx.
- 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