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

Research interests:programming languages, architecture, networks, formal verification