BibTeX records: Kathryn E. Gray

download as .bib file

@article{DBLP:journals/pacmpl/ArmstrongBCRGNM19,
  author    = {Alasdair Armstrong and
               Thomas Bauereiss and
               Brian Campbell and
               Alastair Reid and
               Kathryn E. Gray and
               Robert M. Norton and
               Prashanth Mundkur and
               Mark Wassell and
               Jon French and
               Christopher Pulte and
               Shaked Flur and
               Ian Stark and
               Neel Krishnaswami and
               Peter Sewell},
  title     = {{ISA} semantics for ARMv8-a, RISC-v, and {CHERI-MIPS}},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {71:1--71:31},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290384},
  doi       = {10.1145/3290384},
  timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/ArmstrongBCRGNM19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlurSPNMGSBS17,
  author    = {Shaked Flur and
               Susmit Sarkar and
               Christopher Pulte and
               Kyndylan Nienhuis and
               Luc Maranget and
               Kathryn E. Gray and
               Ali Sezgin and
               Mark Batty and
               Peter Sewell},
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Mixed-size concurrency: ARM, POWER, C/C++11, and {SC}},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {429--442},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009839},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/FlurSPNMGSBS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlurGPSSMDS16,
  author    = {Shaked Flur and
               Kathryn E. Gray and
               Christopher Pulte and
               Susmit Sarkar and
               Ali Sezgin and
               Luc Maranget and
               Will Deacon and
               Peter Sewell},
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  title     = {Modelling the ARMv8 architecture, operationally: concurrency and {ISA}},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  pages     = {608--621},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2837614.2837615},
  doi       = {10.1145/2837614.2837615},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/FlurGPSSMDS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/GrayKMPSS15,
  author    = {Kathryn E. Gray and
               Gabriel Kerneis and
               Dominic P. Mulligan and
               Christopher Pulte and
               Susmit Sarkar and
               Peter Sewell},
  editor    = {Milos Prvulovic},
  title     = {An integrated concurrency and core-ISA architectural envelope definition,
               and test oracle, for {IBM} {POWER} multiprocessors},
  booktitle = {Proceedings of the 48th International Symposium on Microarchitecture,
               {MICRO} 2015, Waikiki, HI, USA, December 5-9, 2015},
  pages     = {635--646},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2830772.2830775},
  doi       = {10.1145/2830772.2830775},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/micro/GrayKMPSS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dna/LakinPGP14,
  author    = {Matthew R. Lakin and
               Rasmus L. Petersen and
               Kathryn E. Gray and
               Andrew Phillips},
  editor    = {Satoshi Murata and
               Satoshi Kobayashi},
  title     = {Abstract Modelling of Tethered {DNA} Circuits},
  booktitle = {{DNA} Computing and Molecular Programming - 20th International Conference,
               {DNA} 20, Kyoto, Japan, September 22-26, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8727},
  pages     = {132--147},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11295-4\_9},
  doi       = {10.1007/978-3-319-11295-4\_9},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/dna/LakinPGP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MulliganOGRS14,
  author    = {Dominic P. Mulligan and
               Scott Owens and
               Kathryn E. Gray and
               Tom Ridge and
               Peter Sewell},
  editor    = {Johan Jeuring and
               Manuel M. T. Chakravarty},
  title     = {Lem: reusable engineering of real-world semantics},
  booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  pages     = {175--188},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2628136.2628143},
  doi       = {10.1145/2628136.2628143},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icfp/MulliganOGRS14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/GrayM09,
  author    = {Kathryn E. Gray and
               Alan Mycroft},
  editor    = {Marsha Chechik and
               Martin Wirsing},
  title     = {Logical Testing},
  booktitle = {Fundamental Approaches to Software Engineering, 12th International
               Conference, {FASE} 2009, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
               22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5503},
  pages     = {186--200},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00593-0\_13},
  doi       = {10.1007/978-3-642-00593-0\_13},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/GrayM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Gray08,
  author    = {Kathryn E. Gray},
  editor    = {Jan Vitek},
  title     = {Safe Cross-Language Inheritance},
  booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
               Paphos, Cyprus, July 7-11, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5142},
  pages     = {52--75},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70592-5\_4},
  doi       = {10.1007/978-3-540-70592-5\_4},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ecoop/Gray08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/ProulxG06,
  author    = {Viera K. Proulx and
               Kathryn E. Gray},
  editor    = {Doug Baldwin and
               Paul T. Tymann and
               Susan M. Haller and
               Ingrid Russell},
  title     = {Design of class hierarchies: an introduction to {OO} program design},
  booktitle = {Proceedings of the 39th {SIGCSE} Technical Symposium on Computer Science
               Education, {SIGCSE} 2006, Houston, Texas, USA, March 3-5, 2006},
  pages     = {288--292},
  publisher = {{ACM}},
  year      = {2006},
  url       = {https://doi.org/10.1145/1121341.1121431},
  doi       = {10.1145/1121341.1121431},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigcse/ProulxG06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayFF05,
  author    = {Kathryn E. Gray and
               Robert Bruce Findler and
               Matthew Flatt},
  editor    = {Ralph E. Johnson and
               Richard P. Gabriel},
  title     = {Fine-grained interoperability through mirrors and contracts},
  booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
               October 16-20, 2005, San Diego, CA, {USA}},
  pages     = {231--245},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1094811.1094830},
  doi       = {10.1145/1094811.1094830},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/GrayFF05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayF03,
  author    = {Kathryn E. Gray and
               Matthew Flatt},
  editor    = {Ron Crocker and
               Guy L. Steele Jr.},
  title     = {ProfessorJ: a gradual introduction to Java through language levels},
  booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
               October 26-30, 2003, Anaheim, CA, {USA}},
  pages     = {170--177},
  publisher = {{ACM}},
  year      = {2003},
  url       = {https://doi.org/10.1145/949344.949394},
  doi       = {10.1145/949344.949394},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/GrayF03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/KrishnamurthiGG00,
  author    = {Shriram Krishnamurthi and
               Kathryn E. Gray and
               Paul T. Graunke},
  editor    = {Enrico Pontelli and
               V{\'{\i}}tor Santos Costa},
  title     = {Transformation-by-Example for {XML}},
  booktitle = {Practical Aspects of Declarative Languages, Second International Workshop,
               {PADL} 2000, Boston, MA, USA, January 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1753},
  pages     = {249--262},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-46584-7\_17},
  doi       = {10.1007/3-540-46584-7\_17},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/padl/KrishnamurthiGG00.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics