Follow
Jedidiah McClurg
Jedidiah McClurg
Assistant Professor of CS, Colorado State University
Verified email at colostate.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 '15), 2015
1452015
Event-Driven Network Programming
J McClurg, H Hojjat, N Foster, P Cerny
37th ACM SIGPLAN conference on PL Design and Implementation (PLDI '16), 2016
662016
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
412015
Optimal Consistent Network Updates in Polynomial Time
P Černı, N Foster, N Jagnik, J McClurg
30th International Symposium on Distributed Computing (DISC '16), 2016
282016
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
252016
Synchronization Synthesis for Network Programs
J McClurg, H Hojjat, P Cernı
29th International Conference on Computer-Aided Verification (CAV '17), 2017
222017
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
202022
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
202019
Android Privacy Leak Detection via Dynamic Taint Analysis
J McClurg, J Friedman, W Ng
Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013
172013
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
162021
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
102015
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
9*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
6*2014
Program synthesis for software-defined networking
J McClurg
PhD. thesis, University of Colorado Boulder, USA, 2018
32018
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
12021
Correct-by-Construction Network Programming for Stateful Data-Planes
J McClurg
7th ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR '21), 2021
12021
Parallelizing Accelerographic Records Processing
R Canizales, L Mixco, J McClurg
8th IEEE Workshop on Parallel and Distributed Processing for Computational …, 2024
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
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
2012
The system can't perform the operation now. Try again later.
Articles 1–19