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% |
| 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% |
| 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% |
| 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
|
|
