Jedidiah R. McClurg


Home Academic Art Blog Literature Music About
Photo

Basic Info

Jedidiah McClurg1
Ph.D. Candidate, CUPLV Group
Department of Computer Science
University of Colorado Boulder

Contact: jed@jrmcclurg.com
Office: ECEE 1B61A

Academic CV: cv.pdf | Google Scholar | DBLP

Other sites: LinkedIn | GitHub | BitBucket | StackOverflow | AskUbuntu

Research Interests

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

Education

  • Ph.D. Computer Science, University of Colorado Boulder, 2018 (expected)
  • M.S. Computer Science, Northwestern University, 2013
  • B.S. Electrical Engineering, University of Iowa, 2009

Internships

Conference Papers

[11]Synchronization Synthesis for Network Programs(CAV 2017)

57 / 191 = 30%

AEC badge

Jedidiah McClurg, Hossein Hojjat, Pavol Cerny
29th Intl. Conf. on Computer-Aided Verification
[10]Optimizing Horn Solvers for Network Repair(FMCAD 2016)

23 / 64 = 36%

Hossein Hojjat, Philipp Ruemmer, Jedidiah McClurg, Pavol Cerny, Nate Foster
16th Intl. Conf. on Formal Methods in Computer-Aided Design
[9]Optimal Consistent Network Updates in Polynomial Time
(extended version)
(DISC 2016)

32 / 132 = 24%

Pavol Cerny, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
30th International Symposium on Distributed Computing
[8]Event-Driven Network Programming(PLDI 2016)

49 / 304 = 16%

AEC badge

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerny
37th ACM SIGPLAN Conference on PL Design and Implementation
[7]Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android(SecureComm 2015)

29 / 107 = 27%

Vaibhav Rastogi, Zhengyang Qu, Jedidiah McClurg, Yinzhi Cao, Yan Chen
11th EAI Intl. Conf. on Security and Privacy in Comm. Networks
[6]Efficient Synthesis of Network Updates(PLDI 2015)

58 / 303 = 19%

AEC badge

Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster
36th ACM SIGPLAN Conference on PL Design and Implementation

Workshop/Demo Papers

[5]Implementing Real-time Collaboration in TouchDevelop using AST Merges(MobileDeLi 2015)
Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg
3rd International Workshop on Mobile Development Lifecycle
[4]Network Updates for the Impatient: Eliminating Unneccessary Waits(PLVNET 2015)
Hossein Hojjat, Jedidiah McClurg, Pavol Cerny, Nate Foster
1st Workshop on PL and Verification Technology for Networking
[3]Development of a Translator from LLVM to ACL2(ACL2 2014)
David Hardin, Jennifer Davis, David Greve, Jedidiah McClurg
11th International Workshop on the ACL2 Theorem Prover
[2]Creating Formally Verified Components for Layered Assurance
with an LLVM to ACL2 Translator
(LAW 2013)
David Hardin, Jedidiah McClurg, Jennifer Davis
7th Layered Assurance Workshop
[1]Collaborative Reactive Behavior in Heterogeneous Wireless
Sensor Networks
(poster)
(SenSys 2012)
Jedidiah McClurg, Goce Trajcevski, Jesse Yanutola
10th ACM Conference on Embedded Networked Sensor Systems

Research Talks

  • Event-Driven Network Programming, PLDI 2016, Portland OR, USA, June 16, 2016
  • Event-Driven Network Programming, CU Boulder, CUPLV Group, May 27, 2016
  • Efficient Synthesis of Network Updates, PLDI 2015, Portland OR, USA, June 16, 2015
  • Efficient Synthesis of Network Updates, CU Boulder, CUPLV Group, June 5, 2015
  • Efficient Synthesis of Network Updates (with Pavol Cerny), CU Boulder, NGN Group, March 6, 2015
  • AST-based Collaborative Editing, Microsoft Research, RiSE Group, June 25, 2014
  • Virtual Machine Support for Parallel Language Runtimes, Northwestern EECS 441 Class Final Presentation, Evanston IL, USA, May 30, 2012
  • Detecting Android Privacy Leaks via Dynamic Taint Analysis (with Jonathan Friedman and William Ng), Northwestern EECS 450 Class Final Presentation, Evanston IL, USA, May 28, 2012
  • Industrial Verification Using the KIND Model Checker (with Lucas Wagner) (abstract), Air Force Research Labs (AFRL) Safe & Secure Systems & Software Symposium (S5), Dayton OH, USA, Jun 14, 2011

Service

Miscellaneous