Jedidiah McClurg

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