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:

  • 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
Research interests:programming languages, architecture, networks, formal verification

Contributions