Jedidiah McClurg
Jedidiah McClurg
Assistant Professor of CS, Colorado School of Mines
Verified email at - Homepage
Cited by
Cited by
Efficient Synthesis of Network Updates
J McClurg, H Hojjat, P Cerny, N Foster
36th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2015
Event-Driven Network Programming
J McClurg, H Hojjat, N Foster, P Cerny
37th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 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
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
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
Android Privacy Leak Detection via Dynamic Taint Analysis
J McClurg, J Friedman, W Ng
Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013
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
Synchronization Synthesis for Network Programs
J McClurg, H Hojjat, P Cernı
29th International Conference on Computer-Aided Verification (CAV), 2017
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
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
Creating Formally Verified Components for Layered Assurance with an LLVM-to-ACL2 Translator
J Davis, D Hardin, J McClurg
Program synthesis for software-defined networking
J McClurg
ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis
M Claver, J Schmerge, J Garner, J Vossen, J McClurg
arXiv preprint arXiv:2104.12039, 2021
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
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
The system can't perform the operation now. Try again later.
Articles 1–15