Jedidiah McClurg
Jedidiah McClurg
Assistant Professor of CS, Colorado State University
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
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
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
System and method for privacy leakage detection and prevention system without operating system modification
Y Chen, V Rastogi, Z Qu, J McClurg
US Patent 10,460,112, 2019
Synchronization Synthesis for Network Programs
J McClurg, H Hojjat, P Cernı
29th International Conference on Computer-Aided Verification (CAV), 2017
Android Privacy Leak Detection via Dynamic Taint Analysis
J McClurg, J Friedman, W Ng
Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013
Dryadic: Flexible and Fast Graph Pattern Matching at Scale
D Mawhirter, S Reinehr, W Han, N Fields, M Claver, C Holmes, J McClurg, ...
2021 30th International Conference on Parallel Architectures and Compilation …, 2021
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
Optimizing Regular Expressions via Rewrite-Guided Synthesis
J McClurg, M Claver, J Garner, J Vossen, J Schmerge, ME Belviranli
31st International Conference on Parallel Architectures and Compilation …, 2022
AxoNN: energy-aware execution of neural network inference on multi-accelerator heterogeneous SoCs
I Dagli, A Cieslewicz, J McClurg, ME Belviranli
59th ACM/IEEE Design Automation Conference, 2022
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
Program synthesis for software-defined networking
J McClurg
PhD. thesis, University of Colorado Boulder, USA, 2018
Correct-by-Construction Network Programming for Stateful Data-Planes
J McClurg
ACM SIGCOMM Symposium on SDN Research (SOSR), 2021
ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing
J Schmerge, D Mawhirter, C Holmes, J McClurg, B Wu
2021 IEEE/ACM Redefining Scalability for Diversely Heterogeneous …, 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–18