Jedidiah McClurg
Jedidiah McClurg
Assistant Professor of CS, Colorado School of Mines
Verified email at mines.edu - Homepage
TitleCited byYear
Efficient Synthesis of Network Updates
J McClurg, H Hojjat, P Cerny, N Foster
36th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2015
782015
Event-Driven Network Programming
J McClurg, H Hojjat, N Foster, P Cerny
37th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2016
34*2016
Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android
V Rastogi, Z Qu, J McClurg, Y Cao, Y Chen
11th EAI Intl. Conf. on Security and Privacy in Comm. Networks (SecureComm), 2015
292015
Optimal Consistent Network Updates in Polynomial Time
P Černı, N Foster, N Jagnik, J McClurg
30th International Symposium on Distributed Computing (DISC), 114-128, 2016
142016
Android Privacy Leak Detection via Dynamic Taint Analysis
J McClurg, J Friedman, W Ng
Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013
132013
Optimizing Horn Solvers for Network Repair
H Hojjat, P Rümmer, J McClurg, P Černı, N Foster
Formal Methods in Computer-Aided Design (FMCAD), 2016, 73-80, 2016
112016
Synchronization Synthesis for Network Programs
J McClurg, H Hojjat, P Cernı
29th International Conference on Computer-Aided Verification (CAV), 2017
72017
Implementing Real-time Collaboration in TouchDevelop using AST Merges
J Protzenko, S Burckhardt, M Moskal, J McClurg
3rd International Workshop on Mobile Development Lifecycle (MobileDeLi), 25-27, 2015
7*2015
System and Method for Privacy Leakage Detection and Prevention System without Operating System Modification
Y Chen, V Rastogi, Z Qu, J McClurg
US Patent App. 14/615,254, 2015
5*2015
Development of a Translator from LLVM to ACL2
DS Hardin, JA Davis, DA Greve, JR McClurg
11th International Workshop on the ACL2 Theorem Prover (ACL2), 2014
52014
Creating Formally Verified Components for Layered Assurance with an LLVM-to-ACL2 Translator
J Davis, D Hardin, J McClurg
22013
Program synthesis for software-defined networking
J McClurg
12018
Network Updates for the Impatient: Eliminating Unnecessary Waits
H Hojjat, J McClurg, N Foster
1st Workshop on PL and Verification Technology for Networking (PLVNET), 2015
2015
Collaborative Reactive Behavior in Heterogeneous Wireless Sensor Networks
J McClurg, G Trajcevski, J Yanutola
10th ACM Conference on Embedded Network Sensor Systems (SenSys), 389-390, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–14