
Registered user since Tue 17 Feb 2015
Name:Jedidiah McClurg
Bio:
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.
Country:United States
Affiliation:Colorado School of Mines
Personal website:http://www.jrmcclurg.com/
Research interests:Programming Languages, Verification, Synthesis, Software-Defined Networking
Contributions
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 |
PLDI 2022-profile
View general profile
View general profile