Jedidiah McClurg

Registered user since Tue 17 Feb 2015

Name:Jedidiah McClurg
Bio:

I am an assistant professor of computer science at Colorado State University, working on research in programming languages and synthesis/verification, with applications in domains such as networking, (distributed) systems, and compilers. My overall goal is to develop tools and techniques to help programmers write better code in security- and safety-critical domains. In my free time, I enjoy hiking, rock climbing, and unicycling.

Country:United States
Affiliation:Colorado State University
Personal website:http://www.jrmcclurg.com/
Research interests:Programming Languages, Verification, Synthesis, Software-Defined Networking

Contributions

EGRAPHS 2022 Author of Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair within the EGRAPHS 2022-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PLDI 2016 Author of Event-driven Network Programming within the Research Papers-track
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
PLDI 2015 Author of Efficient Synthesis of Network Updates within the Research Papers-track