BibTeX records: Edwin M. Westbrook

download as .bib file

@article{DBLP:journals/corr/abs-1304-5531,
  author       = {Edwin M. Westbrook and
                  Swarat Chaudhuri},
  title        = {A Semantics for Approximate Program Transformations},
  journal      = {CoRR},
  volume       = {abs/1304.5531},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.5531},
  eprinttype    = {arXiv},
  eprint       = {1304.5531},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-5531.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ecoop/WestbrookZBS12,
  author       = {Edwin M. Westbrook and
                  Jisheng Zhao and
                  Zoran Budimlic and
                  Vivek Sarkar},
  editor       = {James Noble},
  title        = {Practical Permissions for Race-Free Parallelism},
  booktitle    = {{ECOOP} 2012 - Object-Oriented Programming - 26th European Conference,
                  Beijing, China, June 11-16, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7313},
  pages        = {614--639},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31057-7\_27},
  doi          = {10.1007/978-3-642-31057-7\_27},
  timestamp    = {Fri, 27 Mar 2020 08:51:54 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/WestbrookZBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/haskell/WestbrookFB11,
  author       = {Edwin M. Westbrook and
                  Nicolas Frisby and
                  Paul Brauner},
  editor       = {Koen Claessen},
  title        = {Hobbits for Haskell: a library for higher-order encodings in functional
                  programming languages},
  booktitle    = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
                  2011, Tokyo, Japan, 22 September 2011},
  pages        = {35--46},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034675.2034681},
  doi          = {10.1145/2034675.2034681},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/haskell/WestbrookFB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/WestbrookZBS11,
  author       = {Edwin M. Westbrook and
                  Jisheng Zhao and
                  Zoran Budimlic and
                  Vivek Sarkar},
  editor       = {Sarfraz Khurshid and
                  Koushik Sen},
  title        = {Permission Regions for Race-Free Parallelism},
  booktitle    = {Runtime Verification - Second International Conference, {RV} 2011,
                  San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7186},
  pages        = {94--109},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29860-8\_8},
  doi          = {10.1007/978-3-642-29860-8\_8},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/WestbrookZBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccps/ZhuWICSPMTOCAB10,
  author       = {Angela Yun Zhu and
                  Edwin M. Westbrook and
                  Jun Inoue and
                  Alexandre Chapoutot and
                  Cherif R. Salama and
                  Marisa Linnea Peralta and
                  Travis Martin and
                  Walid Taha and
                  Marcia K. O'Malley and
                  Robert Cartwright and
                  Aaron D. Ames and
                  Raktim Bhattacharya},
  editor       = {Janos Sztipanovits and
                  Raj Rajkumar},
  title        = {Mathematical equations as executable models of mechanical systems},
  booktitle    = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
                  {ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1795194.1795196},
  doi          = {10.1145/1795194.1795196},
  timestamp    = {Mon, 25 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccps/ZhuWICSPMTOCAB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/WestbrookRIYAT10,
  author       = {Edwin M. Westbrook and
                  Mathias Ricken and
                  Jun Inoue and
                  Yilong Yao and
                  Tamer Abdelatif and
                  Walid Taha},
  editor       = {Benjamin G. Zorn and
                  Alexander Aiken},
  title        = {Mint: Java multi-stage programming using weak separability},
  booktitle    = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
                  Canada, June 5-10, 2010},
  pages        = {400--411},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1806596.1806642},
  doi          = {10.1145/1806596.1806642},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/WestbrookRIYAT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lfmtp/WestbrookSA09,
  author       = {Edwin M. Westbrook and
                  Aaron Stump and
                  Evan Austin},
  editor       = {James Cheney and
                  Amy P. Felty},
  title        = {The calculus of nominal inductive constructions: an intensional approach
                  to encoding name-bindings},
  booktitle    = {Proceedings of the Fourth International Workshop on Logical Frameworks
                  and Meta-Languages: Theory and Practice, {LFMTP} '09, McGill University,
                  Montreal, Canada, August 2, 2009},
  pages        = {74--83},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1577824.1577836},
  doi          = {10.1145/1577824.1577836},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lfmtp/WestbrookSA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/WehrmanSW06,
  author       = {Ian Wehrman and
                  Aaron Stump and
                  Edwin M. Westbrook},
  editor       = {Frank Pfenning},
  title        = {Slothrop: Knuth-Bendix Completion with a Modern Termination Checker},
  booktitle    = {Term Rewriting and Applications, 17th International Conference, {RTA}
                  2006, Seattle, WA, USA, August 12-14, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4098},
  pages        = {287--296},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11805618\_22},
  doi          = {10.1007/11805618\_22},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/WehrmanSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/WestbrookSW05,
  author       = {Edwin M. Westbrook and
                  Aaron Stump and
                  Ian Wehrman},
  editor       = {Olivier Danvy and
                  Benjamin C. Pierce},
  title        = {A language-based approach to functionally correct imperative programming},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
                  Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
                  2005},
  pages        = {268--279},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1086365.1086400},
  doi          = {10.1145/1086365.1086400},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/WestbrookSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cluster/LaszewskiWBFW00,
  author       = {Gregor von Laszewski and
                  Mary L. Westbrook and
                  Craig Barnes and
                  Ian T. Foster and
                  Edwin M. Westbrook},
  title        = {Using computational grid capabilities to enhance the capability of
                  an X-ray source for structural biology},
  journal      = {Clust. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {187--199},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1019036421819},
  doi          = {10.1023/A:1019036421819},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cluster/LaszewskiWBFW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.