Registered user since Tue 17 Feb 2015
I am an assistant professor of computer science at Colorado School of Mines, working on research in synthesis and verification of software-defined network (SDN) programs. My overall goal is to develop tools and techniques to help network programmers write better code. In my free time, I enjoy hiking, rock climbing, and unicycling.
|EGRAPHS 2022||Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair|
|PLDI 2022||Committee Member in PLDI within the PLDI-track|
|Show activities from other conferences|
View general profile