Jedidiah McClurg Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

Jedidiah R. McClurg

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2016
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster: Optimizing horn solvers for network repair. FMCAD 2016: 73-80
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný: Event-driven network programming. PLDI 2016: 369-385
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg: Optimal Consistent Network Updates in Polynomial Time. DISC 2016: 114-128
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg: Optimal Consistent Network Updates in Polynomial Time. CoRR abs/1607.05159 (2016)
2015
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg: Implementing real-time collaboration in TouchDevelop using AST merges. MobileDeLi 2015: 25-27
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster: Efficient synthesis of network updates. PLDI 2015: 196-207
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVaibhav Rastogi, Zhengyang Qu, Jedidiah McClurg, Yinzhi Cao, Yan Chen: Uranine: Real-time Privacy Leakage Monitoring without System Modification for Android. SecureComm 2015: 256-276
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný: Specification and Compilation of Event-driven SDN Programs. CoRR abs/1507.07049 (2015)
2014
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid S. Hardin, Jennifer A. Davis, David A. Greve, Jedidiah R. McClurg: Development of a Translator from LLVM to ACL2. ACL2 2014: 163-177
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJedidiah McClurg, Nate Foster, Pavol Cerný: Efficient Synthesis of Network Updates. CoRR abs/1403.5843 (2014)
2012
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJedidiah McClurg, Goce Trajcevski, Jesse Yanutola: Collaborative reactive behavior in heterogeneous wireless sensor networks. SenSys 2012: 389-390

Coauthor Index

1Sebastian Burckhardt[c5]
2Yinzhi Cao[c3]
3Pavol Cerný[c8] [c7] [c6] [i3] [c4] [i2] [i1]
4Yan Chen[c3]
5Jennifer A. Davis[c2]
6Nate Foster[c8] [c7] [c6] [i3] [c4] [i2] [i1]
7David A. Greve[c2]
8David S. Hardin[c2]
9Hossein Hojjat[c8] [c7] [c4] [i2]
10Nilesh Jagnik[c6] [i3]
11Michal Moskal[c5]
12Jonathan Protzenko[c5]
13Zhengyang Qu[c3]
14Vaibhav Rastogi[c3]
15Philipp Rümmer[c8]
16Goce Trajcevski[c1]
17Jesse Yanutola[c1]

 

Last update 2017-05-25 00:03 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page