| Efficient Synthesis of Network Updates J McClurg, H Hojjat, P Cerny, N Foster 36th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2015 | 142 | 2015 |
| Event-Driven Network Programming J McClurg, H Hojjat, N Foster, P Cerny 37th ACM SIGPLAN conference on PL Design and Implementation (PLDI), 2016 | 64 | 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 | 39 | 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 | 26 | 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 | 25 | 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 | 20 | 2019 |
| Synchronization Synthesis for Network Programs J McClurg, H Hojjat, P Cernı 29th International Conference on Computer-Aided Verification (CAV), 2017 | 18 | 2017 |
| Android Privacy Leak Detection via Dynamic Taint Analysis J McClurg, J Friedman, W Ng Northwestern Univ. EECS 450 (Internet Security) Final Report, 2013 | 17 | 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 | 11 | 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 | 10 | 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 | 8* | 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 | 8 | 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 | 6* | 2014 |
| Program synthesis for software-defined networking J McClurg PhD. thesis, University of Colorado Boulder, USA, 2018 | 2 | 2018 |
| Correct-by-Construction Network Programming for Stateful Data-Planes J McClurg ACM SIGCOMM Symposium on SDN Research (SOSR), 2021 | 1 | 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 | | 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 |
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
