Collaborative reactive behavior in heterogeneous wireless sensor networks. - Jedidiah McClurg; Goce Trajcevski; Jesse Yanutola (SenSys, 2012)

Development of a Translator from LLVM to ACL2. - David S. Hardin; Jennifer A. Davis; David A. Greve; Jedidiah R. McClurg (ACL2, 2014)

Efficient Synthesis of Network Updates. - Jedidiah McClurg; Nate Foster; Pavol Cerný (CoRR, 2014)

Implementing real-time collaboration in TouchDevelop using AST merges. - Jonathan Protzenko; Sebastian Burckhardt; Michal Moskal; Jedidiah McClurg (MobileDeLi, 2015)

Efficient synthesis of network updates. - Jedidiah McClurg; Hossein Hojjat; Pavol Cerný; Nate Foster (PLDI, 2015)

Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android. - Vaibhav Rastogi; Zhengyang Qu; Jedidiah McClurg; Yinzhi Cao; Yan Chen 004 (SecureComm, 2015)

Specification and Compilation of Event-driven SDN Programs. - Jedidiah McClurg; Hossein Hojjat; Nate Foster; Pavol Cerný (CoRR, 2015)

Optimizing horn solvers for network repair. - Hossein Hojjat; Philipp Rümmer; Jedidiah McClurg; Pavol Cerný; Nate Foster (FMCAD, 2016)

Event-driven network programming. - Jedidiah McClurg; Hossein Hojjat; Nate Foster; Pavol Cerný (PLDI, 2016)

Optimal Consistent Network Updates in Polynomial Time. - Pavol Cerný; Nate Foster; Nilesh Jagnik; Jedidiah McClurg (DISC, 2016)

Synchronization Synthesis for Network Programs. - Jedidiah McClurg; Hossein Hojjat; Pavol Cerný (CAV (2), 2017)

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 002 (PACT, 2021)

ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing. - Jordan Schmerge; Daniel Mawhirter; Connor Holmes; Jedidiah McClurg; Bo Wu 002 (RSDHA@SC, 2021)

Correct-by-Construction Network Programming for Stateful Data-Planes. - Jedidiah McClurg (SOSR, 2021)

ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis. - Miles Claver; Jordan Schmerge; Jackson Garner; Jake Vossen; Jedidiah McClurg (CoRR, 2021)

Optimizing Regular Expressions via Rewrite-Guided Synthesis. - Jedidiah McClurg; Miles Claver; Jackson Garner; Jake Vossen; Jordan Schmerge; Mehmet E. Belviranli (PACT, 2022)

AxoNN: energy-aware execution of neural network inference on multi-accelerator heterogeneous SoCs. - Ismet Dagli; Alexander Cieslewicz; Jedidiah McClurg; Mehmet E. Belviranli (DAC, 2022)

Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes. - Jedidiah McClurg; Lauren Zoe Baker; Ronaldo Canizales; Dilochan Karki (HotNets, 2024)

Parallelizing Accelerographic Records Processing. - Ronaldo Canizales; Luis Mixco; Jedidiah McClurg (IPDPS (Workshops), 2024)