Welcome

I'm on the academic job market

Jedidiah McClurg

I'm a fifth-year Computer Science Ph.D. candidate in the CUPLV group at the University of Colorado Boulder 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.

About Me

Research Interests

Programming Languages, Synthesis, Verification, Distributed Systems, Software-Defined Networking (SDN)

Education

Internships

Recent News

Jun 2017I presented Synchronization Synthesis for Network Programs at CAV 2017 in Heidelberg, Germany
Apr 2017I won an Outstanding Research Award in the CU Boulder CS Department
Apr 2017”Synchronization Synthesis for Network Programs“ accepted to CAV 2017
Jul 2016“Optimizing Horn Solvers for Network Repair” accepted to FMCAD 2016
Jul 2016“Optimal Consistent Network Updates in Polynomial Time” accepted to DISC 2016
Jun 2016Presented Event-Driven Network Programming at PLDI 2016 in Santa Barbara California
Jan 2016“Event-Driven Network Programming” accepted to PLDI 2016
Jun 2015I presented Efficient Synthesis of Network Updates at PLDI 2015 in Portland Oregon
Jan 2015“Efficient Synthesis of Network Updates” accepted to PLDI 2015
Apr 2014I won an Outstanding Teaching Assistant Award in the CU Boulder CS Department
Jan 2014I will be heading to Microsoft Research (Redmond) in March for an internship in the RiSE group

Research

Conference Papers

[11]

Synchronization Synthesis for Network Programs

Jedidiah McClurg, Hossein Hojjat, Pavol Cerny

29th Intl. Conf. on Computer-Aided Verification

CAV 2017

57 / 191 = 30%

[10]

Optimizing Horn Solvers for Network Repair

Hossein Hojjat, Philipp Ruemmer, Jedidiah McClurg, Pavol Cerny, Nate Foster

16th Intl. Conf. on Formal Methods in Computer-Aided Design

FMCAD 2016

23 / 64 = 36%

[9]

Optimal Consistent Network Updates in Polynomial Time

Pavol Cerny, Nate Foster, Nilesh Jagnik, Jedidiah McClurg

30th International Symposium on Distributed Computing

DISC 2016

32 / 132 = 24%

[8]

Event-Driven Network Programming

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny

37th ACM SIGPLAN Conference on PL Design and Implementation

PLDI 2016

49 / 304 = 16%

[7]

Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android

Vaibhav Rastogi, Zhengyang Qu, Jedidiah McClurg, Yinzhi Cao, Yan Chen

11th EAI Intl. Conf. on Security and Privacy in Comm. Networks

SecureComm 2015

29 / 107 = 27%

[6]

Efficient Synthesis of Network Updates

Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster

36th ACM SIGPLAN Conference on PL Design and Implementation

PLDI 2015

58 / 303 = 19%

Workshop/Demo Papers

[5]

Implementing Real-time Collaboration in TouchDevelop using AST Merges

Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg

3rd International Workshop on Mobile Development Lifecycle

MobileDeLi 2015

[4]

Network Updates for the Impatient: Eliminating Unneccessary Waits

Hossein Hojjat, Jedidiah McClurg, Pavol Cerny, Nate Foster

1st Workshop on PL and Verification Technology for Networking

PLVNET 2015

[3]

Development of a Translator from LLVM to ACL2

David Hardin, Jennifer Davis, David Greve, Jedidiah McClurg

11th International Workshop on the ACL2 Theorem Prover

ACL2 2014

[2]

Creating Formally Verified Components for Layered Assurance with an LLVM to ACL2 Translator

David Hardin, Jedidiah McClurg, Jennifer Davis

7th Layered Assurance Workshop

LAW 2013

[1]

Collaborative Reactive Behavior in Heterogeneous Wireless Sensor Networks

Jedidiah McClurg, Goce Trajcevski, Jesse Yanutola

10th ACM Conference on Embedded Networked Sensor Systems

SenSys 2012

Research Talks

Synchronization Synthesis for Network Programs

CAV 2017 (Heidelberg, Germany) Jul 27, 2017

Synchronization Synthesis for Network Programs

CU Boulder, CUPLV Group (Boulder, CO, USA) Jun 30, 2017

Event-Driven Network Programming

PLDI 2016 (Santa Barbara, CA, USA) Jun 16, 2016

Event-Driven Network Programming

CU Boulder, CUPLV Group (Boulder, CO, USA) May 27, 2016

Efficient Synthesis of Network Updates

PLDI 2015 (Portland, OR, USA) Jun 16, 2015

Efficient Synthesis of Network Updates

CU Boulder, CUPLV Group (Boulder, CO, USA) Jun 5, 2015

Efficient Synthesis of Network Updates

(with Pavol Cerny)

CU Boulder, NGN Group (Boulder, CO, USA) Mar 6, 2015

AST-based Collaborative Editing

Microsoft Research, RiSE Group (Redmond, WA, USA) Jun 25, 2014

Reasoning About LLVM Assembly Code via .LL-to-ACL2 Translation

Rockwell Collins, Advanced Technology Center (Cedar Rapids, IA, USA) Aug 8, 2013

Virtual Machine Support for Parallel Language Runtimes

Northwestern EECS 441 (Evanston, IL, USA) May 30, 2012

Detecting Android Privacy Leaks via Dynamic Taint Analysis

(with J. Friedman and W. Ng)

Northwestern EECS 450 (Evanston, IL, USA) May 28, 2012

Industrial Verification Using the KIND Model Checker

(with Lucas Wagner)

AFRL S5 Symposium (Dayton, OH, USA) Jun 14, 2011

Teaching

Current Teaching/Availability

(no courses this session)

Past Teaching

CSCI 3155 Principles of Programming Languages

Graduate Teaching Assistant CU Boulder, Fall 2013

EECS 211 Fundamentals of Computer Programming II

Graduate Teaching Assistant Northwestern University, Spring 2013

EECS 317 Data Management and Information Processing

Graduate Teaching Assistant Northwestern University, Fall 2012

055:089 EE Senior Design (now ECE:4890)

Graduate Teaching Assistant University of Iowa, Spring 2010

059:032 Digital Design (now ECE:3320)

Undergrad. Teaching Assistant University of Iowa, Spring 2009, Spring 2008, Fall 2007

059:006 Engineering Problem Solving II (now ENGR:1300)

Undergrad. Teaching Assistant University of Iowa, Spring 2007

Service

Conference Organization

Artifact Evaluation Committee (AEC) Member:

Reviewer:

Personal

Family

My wife Anna is a clothing designer. We have a very friendly (and very fluffy) Ragdoll cat named Ernest, who has his own social media.

Family Pic 1
Family Pic 2
Family Pic 3

Climbing

Climbing - Edge of Time

Anna and I enjoy rock climbing. We mostly sport-climb at the Boulder Rock Club, but from time to time we have a chance to climb outside. I have climbed at Lily Lake (Edge of Time 5.9), Shelf Road (Chip Off the Block 5.9, Stinger 5.10c, Stress Rehearsal 5.10d), Clear Creek Canyon (Skimbleshanks 5.8-, Mr. Mistoffeles 5.9, The Naked Hedge 5.10, Rumple Teaser 5.10b), and Boulder Canyon (Animation 5.8, The Luminosity 5.9, Unfamiliar Strangers 5.9+, Joint Venture 5.11a, The Clipboard 5.11a).

Adventures

  • Florence, Italy

    Aug 2017

    Florence, Italy

    We spent a day in Fiesole, up in the hills overlooking Florence. We also visited some of the beautiful sights in Florence, such as the cathedral, Ponte Vecchio, etc.

  • Cinque Terre, Italy

    Jul 2017

    Cinque Terre, Italy

    We spent some time in Cinque Terre, went swimming in Monterosso, and made a quick visit to Lerici.

  • Pisa, Italy

    Jul 2017

    Pisa, Italy

    We made a quick stop in Pisa to check out the Leaning Tower.

  • Heidelberg, Germany

    Jul 2017

    Heidelberg, Germany

    We spent a week in Germany, primarily for the CAV conference, but with some time for vacationing. We visited the castle, hiked the Philosopher's Walk, hiked to Konigstuhl, and generally had a wonderful time.

  • Zurich, Switzerland

    Jul 2017

    Zurich, Switzerland

    We made a quick stop in Zurich.

Other Fun Stuff

Click on the following images to see more randomly-generated cycloids.

Random image Random image

I still keep my old website alive for nostalgia's sake.