![Anshuman Mohan](https://conf.researchr.org/getProfileImage/anshumanmohan/a1799c1d-2c41-4ad2-a20e-d75c5ba21222/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
SPLASH 2023-profile
View general profile
View general profile