Jedidiah McClurg

According to our database, Jedidiah McClurg authored at least 17 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

AxoNN: energy-aware execution of neural network inference on multi-accelerator heterogeneous SoCs.

Ismet Dagli, Alexander Cieslewicz, Jedidiah McClurg, Mehmet E. Belviranli

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Optimizing Regular Expressions via Rewrite-Guided Synthesis.

Jedidiah McClurg, Miles Claver, Jackson Garner, Jake Vossen, Jordan Schmerge, Mehmet E. Belviranli

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022

2021

ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis.

Miles Claver, Jordan Schmerge, Jackson Garner, Jake Vossen, Jedidiah McClurg

CoRR, 2021

Correct-by-Construction Network Programming for Stateful Data-Planes.

Jedidiah McClurg

Proceedings of the SOSR '21: The ACM SIGCOMM Symposium on SDN Research, Virtual Event, USA, October 11, 2021

ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing.

Jordan Schmerge, Daniel Mawhirter, Connor Holmes, Jedidiah McClurg, Bo Wu

Proceedings of the IEEE/ACM Redefining Scalability for Diversely Heterogeneous Architectures Workshop, 2021

Dryadic: Flexible and Fast Graph Pattern Matching at Scale.

Daniel Mawhirter, Sam Reinehr, Wei Han, Noah Fields, Miles Claver, Connor Holmes, Jedidiah McClurg, Tongping Liu, Bo Wu

Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021

2017

Synchronization Synthesis for Network Programs.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Optimal Consistent Network Updates in Polynomial Time.

Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Event-driven network programming.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Optimizing horn solvers for network repair.

Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Specification and Compilation of Event-driven SDN Programs.

Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný

CoRR, 2015

Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android.

Vaibhav Rastogi, Zhengyang Qu, Jedidiah McClurg, Yinzhi Cao, Yan Chen

Proceedings of the Security and Privacy in Communication Networks, 2015

Efficient synthesis of network updates.

Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Implementing real-time collaboration in TouchDevelop using AST merges.

Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

2014

Efficient Synthesis of Network Updates.

Jedidiah McClurg, Nate Foster, Pavol Cerný

CoRR, 2014

Development of a Translator from LLVM to ACL2.

David S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2012

Collaborative reactive behavior in heterogeneous wireless sensor networks.

Jedidiah McClurg, Goce Trajcevski, Jesse Yanutola

Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012