BibTeX records: Jedidiah McClurg

download as .bib file

@inproceedings{DBLP:conf/cav/McClurgHC17,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Pavol Cern{\'{y}}},
  title     = {Synchronization Synthesis for Network Programs},
  booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  pages     = {301--321},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-2},
  url       = {https://doi.org/10.1007/978-3-319-63390-9_16},
  doi       = {10.1007/978-3-319-63390-9_16},
  timestamp = {Fri, 14 Jul 2017 13:04:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/McClurgHC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatRMCF16,
  author    = {Hossein Hojjat and
               Philipp R{\"{u}}mmer and
               Jedidiah McClurg and
               Pavol Cern{\'{y}} and
               Nate Foster},
  title     = {Optimizing horn solvers for network repair},
  booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  pages     = {73--80},
  year      = {2016},
  crossref  = {DBLP:conf/fmcad/2016},
  url       = {https://doi.org/10.1109/FMCAD.2016.7886663},
  doi       = {10.1109/FMCAD.2016.7886663},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/HojjatRMCF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHFC16,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Nate Foster and
               Pavol Cern{\'{y}}},
  title     = {Event-driven network programming},
  booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  pages     = {369--385},
  year      = {2016},
  crossref  = {DBLP:conf/pldi/2016},
  url       = {http://doi.acm.org/10.1145/2908080.2908097},
  doi       = {10.1145/2908080.2908097},
  timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/McClurgHFC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/CernyFJM16,
  author    = {Pavol Cern{\'{y}} and
               Nate Foster and
               Nilesh Jagnik and
               Jedidiah McClurg},
  title     = {Optimal Consistent Network Updates in Polynomial Time},
  booktitle = {Distributed Computing - 30th International Symposium, {DISC} 2016,
               Paris, France, September 27-29, 2016. Proceedings},
  pages     = {114--128},
  year      = {2016},
  crossref  = {DBLP:conf/wdag/2016},
  url       = {https://doi.org/10.1007/978-3-662-53426-7_9},
  doi       = {10.1007/978-3-662-53426-7_9},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/CernyFJM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/CernyFJM16,
  author    = {Pavol Cern{\'{y}} and
               Nate Foster and
               Nilesh Jagnik and
               Jedidiah McClurg},
  title     = {Optimal Consistent Network Updates in Polynomial Time},
  journal   = {CoRR},
  volume    = {abs/1607.05159},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.05159},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/CernyFJM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ProtzenkoBMM15,
  author    = {Jonathan Protzenko and
               Sebastian Burckhardt and
               Michal Moskal and
               Jedidiah McClurg},
  title     = {Implementing real-time collaboration in TouchDevelop using {AST} merges},
  booktitle = {Proceedings of the 3rd International Workshop on Mobile Development
               Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages     = {25--27},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015mobiledeli},
  url       = {http://doi.acm.org/10.1145/2846661.2846672},
  doi       = {10.1145/2846661.2846672},
  timestamp = {Tue, 16 Feb 2016 08:57:01 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/ProtzenkoBMM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/McClurgHCF15,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Pavol Cern{\'{y}} and
               Nate Foster},
  title     = {Efficient synthesis of network updates},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {196--207},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015},
  url       = {http://doi.acm.org/10.1145/2737924.2737980},
  doi       = {10.1145/2737924.2737980},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/McClurgHCF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/securecomm/RastogiQMCC15,
  author    = {Vaibhav Rastogi and
               Zhengyang Qu and
               Jedidiah McClurg and
               Yinzhi Cao and
               Yan Chen},
  title     = {Uranine: Real-time Privacy Leakage Monitoring without System Modification
               for Android},
  booktitle = {Security and Privacy in Communication Networks - 11th International
               Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015,
               Revised Selected Papers},
  pages     = {256--276},
  year      = {2015},
  crossref  = {DBLP:conf/securecomm/2015},
  url       = {https://doi.org/10.1007/978-3-319-28865-9_14},
  doi       = {10.1007/978-3-319-28865-9_14},
  timestamp = {Tue, 23 May 2017 01:12:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/securecomm/RastogiQMCC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/McClurgHFC15,
  author    = {Jedidiah McClurg and
               Hossein Hojjat and
               Nate Foster and
               Pavol Cern{\'{y}}},
  title     = {Specification and Compilation of Event-driven {SDN} Programs},
  journal   = {CoRR},
  volume    = {abs/1507.07049},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.07049},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/McClurgHFC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/HardinDGM14,
  author    = {David S. Hardin and
               Jennifer A. Davis and
               David A. Greve and
               Jedidiah R. McClurg},
  title     = {Development of a Translator from {LLVM} to {ACL2}},
  booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
               and its Applications, Vienna, Austria, 12-13th July 2014.},
  pages     = {163--177},
  year      = {2014},
  crossref  = {DBLP:journals/corr/VerbeekS14},
  url       = {https://doi.org/10.4204/EPTCS.152.13},
  doi       = {10.4204/EPTCS.152.13},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HardinDGM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/McClurgFC14,
  author    = {Jedidiah McClurg and
               Nate Foster and
               Pavol Cern{\'{y}}},
  title     = {Efficient Synthesis of Network Updates},
  journal   = {CoRR},
  volume    = {abs/1403.5843},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.5843},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/McClurgFC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sensys/McClurgTY12,
  author    = {Jedidiah McClurg and
               Goce Trajcevski and
               Jesse Yanutola},
  title     = {Collaborative reactive behavior in heterogeneous wireless sensor networks},
  booktitle = {The 10th {ACM} Conference on Embedded Network Sensor Systems, SenSys
               '12, Toronto, ON, Canada, November 6-9, 2012},
  pages     = {389--390},
  year      = {2012},
  crossref  = {DBLP:conf/sensys/2012},
  url       = {http://doi.acm.org/10.1145/2426656.2426723},
  doi       = {10.1145/2426656.2426723},
  timestamp = {Tue, 15 Jan 2013 10:16:01 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sensys/McClurgTY12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-2,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {Computer Aided Verification - 29th International Conference, {CAV}
               2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10427},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63390-9},
  doi       = {10.1007/978-3-319-63390-9},
  isbn      = {978-3-319-63389-3},
  timestamp = {Fri, 14 Jul 2017 13:04:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cav/2017-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2016,
  editor    = {Ruzica Piskac and
               Muralidhar Talupur},
  title     = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7879555},
  isbn      = {978-0-9835678-6-8},
  timestamp = {Fri, 31 Mar 2017 11:38:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmcad/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016,
  editor    = {Chandra Krintz and
               Emery Berger},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2908080},
  doi       = {10.1145/2908080},
  isbn      = {978-1-4503-4261-2},
  timestamp = {Mon, 06 Jun 2016 12:07:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2016,
  editor    = {Cyril Gavoille and
               David Ilcinkas},
  title     = {Distributed Computing - 30th International Symposium, {DISC} 2016,
               Paris, France, September 27-29, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9888},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53426-7},
  doi       = {10.1007/978-3-662-53426-7},
  isbn      = {978-3-662-53425-0},
  timestamp = {Fri, 19 May 2017 01:25:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wdag/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015mobiledeli,
  editor    = {Aharon Abadi and
               Lori Flynn and
               Jeff Gray},
  title     = {Proceedings of the 3rd International Workshop on Mobile Development
               Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2846661},
  isbn      = {978-1-4503-3906-3},
  timestamp = {Tue, 16 Feb 2016 08:57:01 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/2015mobiledeli},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015,
  editor    = {David Grove and
               Steve Blackburn},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2737924},
  isbn      = {978-1-4503-3468-6},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pldi/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/securecomm/2015,
  editor    = {Bhavani M. Thuraisingham and
               XiaoFeng Wang and
               Vinod Yegneswaran},
  title     = {Security and Privacy in Communication Networks - 11th International
               Conference, SecureComm 2015, Dallas, TX, USA, October 26-29, 2015,
               Revised Selected Papers},
  series    = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
               and Telecommunications Engineering},
  volume    = {164},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-28865-9},
  doi       = {10.1007/978-3-319-28865-9},
  isbn      = {978-3-319-28864-2},
  timestamp = {Tue, 23 May 2017 01:12:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/securecomm/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/VerbeekS14,
  editor    = {Freek Verbeek and
               Julien Schmaltz},
  title     = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
               and its Applications, Vienna, Austria, 12-13th July 2014},
  series    = {{EPTCS}},
  volume    = {152},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.152},
  doi       = {10.4204/EPTCS.152},
  timestamp = {Wed, 03 May 2017 14:47:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/VerbeekS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sensys/2012,
  editor    = {M. Rasit Eskicioglu and
               Andrew Campbell and
               Koen Langendoen},
  title     = {The 10th {ACM} Conference on Embedded Network Sensor Systems, SenSys
               '12, Toronto, ON, Canada, November 6-9, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2426656},
  isbn      = {978-1-4503-1169-4},
  timestamp = {Tue, 15 Jan 2013 10:16:01 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sensys/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier