Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient synthesis of network updates.

J. McClurg, H. Hojjat, P. Cerný, and N. Foster. PLDI, page 196-207. ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jedidiah Agbowu

Other publications of authors with the same name

Optimal Consistent Network Updates in Polynomial Time.P. Cerný, N. Foster, N. Jagnik, and J. McClurg. DISC, volume 9888 of Lecture Notes in Computer Science, page 114-128. Springer, (2016)ELIχR: Eliminating Computation Redundancy in CNN-Based Video Processing.J. Schmerge, D. Mawhirter, C. Holmes, J. McClurg, and B. Wu. RSDHA@SC, page 34-44. IEEE, (2021)Optimizing horn solvers for network repair.H. Hojjat, P. Rümmer, J. McClurg, P. Cerný, and N. Foster. FMCAD, page 73-80. IEEE, (2016)Collaborative reactive behavior in heterogeneous wireless sensor networks.J. McClurg, G. Trajcevski, and J. Yanutola. SenSys, page 389-390. ACM, (2012)Efficient Synthesis of Network Updates.J. McClurg, N. Foster, and P. Cerný. CoRR, (2014)Correct-by-Construction Network Programming for Stateful Data-Planes.J. McClurg. SOSR, page 66-79. ACM, (2021)Specification and Compilation of Event-driven SDN Programs.J. McClurg, H. Hojjat, N. Foster, and P. Cerný. CoRR, (2015)Synchronization Synthesis for Network Programs.J. McClurg, H. Hojjat, and P. Cerný. CAV (2), volume 10427 of Lecture Notes in Computer Science, page 301-321. Springer, (2017)Dryadic: Flexible and Fast Graph Pattern Matching at Scale.D. Mawhirter, S. Reinehr, W. Han, N. Fields, M. Claver, C. Holmes, J. McClurg, T. Liu, and B. Wu. PACT, page 289-303. IEEE, (2021)Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android.V. Rastogi, Z. Qu, J. McClurg, Y. Cao, and Y. Chen. SecureComm, volume 164 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 256-276. Springer, (2015)

BibSonomy

Disambiguation of "McClurg, Jedidiah"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient synthesis of network updates.

Please choose a person to relate this publication to

Jedidiah Agbowu

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "McClurg, Jedidiah"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Efficient synthesis of network updates.

Please choose a person to relate this publication to

Jedidiah Agbowu

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient synthesis of network updates.