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 '15), 2015
Event-Driven Network Programming
J McClurg, H Hojjat, N Foster, P Cerny
37th ACM SIGPLAN conference on PL Design and Implementation (PLDI '16), 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 '15), 2015
Optimal Consistent Network Updates in Polynomial Time
P Černı, N Foster, N Jagnik, J McClurg
30th International Symposium on Distributed Computing (DISC '16), 2016
Optimizing Horn Solvers for Network Repair
H Hojjat, P Rümmer, J McClurg, P Černı, N Foster
16th International Conference on Formal Methods in Computer-Aided Design …, 2016
Synchronization Synthesis for Network Programs
J McClurg, H Hojjat, P Cernı
29th International Conference on Computer-Aided Verification (CAV '17), 2017
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 (DAC '22), 2022
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
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, ...
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 …, 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
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@VSL '14), 2014
Program synthesis for software-defined networking
J McClurg
PhD. thesis, University of Colorado Boulder, USA, 2018
ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing
J Schmerge, D Mawhirter, C Holmes, J McClurg, B Wu
IEEE/ACM Redefining Scalability for Diversely Heterogeneous Architectures …, 2021
Correct-by-Construction Network Programming for Stateful Data-Planes
J McClurg
7th ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR '21), 2021
Parallelizing Accelerographic Records Processing
R Canizales, L Mixco, J McClurg
8th IEEE Workshop on Parallel and Distributed Processing for Computational …, 2024
Network Updates for the Impatient: Eliminating Unnecessary Waits
H Hojjat, J McClurg, N Foster
1st Workshop on PL and Verification Technology for Networking (PLVNET@POPL '15), 2015
Collaborative Reactive Behavior in Heterogeneous Wireless Sensor Networks
J McClurg, G Trajcevski, J Yanutola
10th ACM Conference on Embedded Network Sensor Systems (SenSys '12), 389-390, 2012
The system can't perform the operation now. Try again later.
Articles 1–19