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 | 151 | 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 | 72 | 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 | 42 | 2015 |
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 | 37 | 2022 |
Optimal Consistent Network Updates in Polynomial Time P Černý, N Foster, N Jagnik, J McClurg 30th International Symposium on Distributed Computing (DISC '16), 2016 | 30 | 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 | 25 | 2016 |
Synchronization Synthesis for Network Programs J McClurg, H Hojjat, P Cerný 29th International Conference on Computer-Aided Verification (CAV '17), 2017 | 24 | 2017 |
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 | 23 | 2021 |
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 | 20 | 2019 |
Android Privacy Leak Detection via Dynamic Taint Analysis J McClurg, J Friedman, W Ng Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013 | 20 | 2013 |
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 | 17* | 2022 |
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 | 12 | 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@VSL '14), 2014 | 6* | 2014 |
Program synthesis for software-defined networking J McClurg PhD. thesis, University of Colorado Boulder, USA, 2018 | 4 | 2018 |
Correct-by-Construction Network Programming for Stateful Data-Planes J McClurg 7th ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR '21), 2021 | 2 | 2021 |
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 | 1 | 2021 |
Parallelizing Accelerographic Records Processing R Canizales, L Mixco, J McClurg 8th IEEE Workshop on Parallel and Distributed Processing for Computational …, 2024 | | 2024 |
Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes J McClurg, LZ Baker, R Canizales, D Karki HotNets, 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 |