Jedidiah McClurg
Jedidiah McClurg
Assistant Professor of CS, Colorado School of Mines
Verified email at mines.edu - Homepage
Title
Cited by
Cited by
Year
Efficient Synthesis of Network Updates
J McClurg, H Hojjat, P Cerny, N Foster
36th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2015
1092015
Event-Driven Network Programming
J McClurg, H Hojjat, N Foster, P Cerny
37th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2016
482016
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
332015
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
182016
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
172016
Android Privacy Leak Detection via Dynamic Taint Analysis
J McClurg, J Friedman, W Ng
Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013
152013
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
12*2015
Synchronization Synthesis for Network Programs
J McClurg, H Hojjat, P Cernı
29th International Conference on Computer-Aided Verification (CAV), 2017
102017
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
8*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
62014
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
ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis
M Claver, J Schmerge, J Garner, J Vossen, J McClurg
arXiv preprint arXiv:2104.12039, 2021
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
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–15