BibTeX records: Kathryn E. Gray

• > Home > Persons > Kathryn E. Gray

@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}
}

@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},
  title        = {Mixed-size concurrency: ARM, POWER, C/C++11, and {SC}},
  booktitle    = {{POPL}},
  pages        = {429--442},
  publisher    = {{ACM}},
  year         = {2017}
}

@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},
  title        = {Modelling the ARMv8 architecture, operationally: concurrency and {ISA}},
  booktitle    = {{POPL}},
  pages        = {608--621},
  publisher    = {{ACM}},
  year         = {2016}
}

@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},
  title        = {An integrated concurrency and core-ISA architectural envelope definition,
                  and test oracle, for {IBM} {POWER} multiprocessors},
  booktitle    = {{MICRO}},
  pages        = {635--646},
  publisher    = {{ACM}},
  year         = {2015}
}

@inproceedings{DBLP:conf/dna/LakinPGP14,
  author       = {Matthew R. Lakin and
                  Rasmus L. Petersen and
                  Kathryn E. Gray and
                  Andrew Phillips},
  title        = {Abstract Modelling of Tethered {DNA} Circuits},
  booktitle    = {{DNA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8727},
  pages        = {132--147},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:conf/icfp/MulliganOGRS14,
  author       = {Dominic P. Mulligan and
                  Scott Owens and
                  Kathryn E. Gray and
                  Tom Ridge and
                  Peter Sewell},
  title        = {Lem: reusable engineering of real-world semantics},
  booktitle    = {{ICFP}},
  pages        = {175--188},
  publisher    = {{ACM}},
  year         = {2014}
}

@inproceedings{DBLP:conf/fase/GrayM09,
  author       = {Kathryn E. Gray and
                  Alan Mycroft},
  title        = {Logical Testing},
  booktitle    = {{FASE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5503},
  pages        = {186--200},
  publisher    = {Springer},
  year         = {2009}
}

@inproceedings{DBLP:conf/ecoop/Gray08,
  author       = {Kathryn E. Gray},
  title        = {Safe Cross-Language Inheritance},
  booktitle    = {{ECOOP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5142},
  pages        = {52--75},
  publisher    = {Springer},
  year         = {2008}
}

@phdthesis{DBLP:phd/us/Gray06,
  author       = {Kathryn E. Gray},
  title        = {Towards Customizable Pedagogic Programming Languages},
  school       = {University of Utah, {USA}},
  year         = {2006}
}

@inproceedings{DBLP:conf/sigcse/ProulxG06,
  author       = {Viera K. Proulx and
                  Kathryn E. Gray},
  title        = {Design of class hierarchies: an introduction to {OO} program design},
  booktitle    = {{SIGCSE}},
  pages        = {288--292},
  publisher    = {{ACM}},
  year         = {2006}
}

@inproceedings{DBLP:conf/oopsla/GrayFF05,
  author       = {Kathryn E. Gray and
                  Robert Bruce Findler and
                  Matthew Flatt},
  title        = {Fine-grained interoperability through mirrors and contracts},
  booktitle    = {{OOPSLA}},
  pages        = {231--245},
  publisher    = {{ACM}},
  year         = {2005}
}

@inproceedings{DBLP:conf/oopsla/GrayF03,
  author       = {Kathryn E. Gray and
                  Matthew Flatt},
  title        = {ProfessorJ: a gradual introduction to Java through language levels},
  booktitle    = {{OOPSLA} Companion},
  pages        = {170--177},
  publisher    = {{ACM}},
  year         = {2003}
}

@inproceedings{DBLP:conf/padl/KrishnamurthiGG00,
  author       = {Shriram Krishnamurthi and
                  Kathryn E. Gray and
                  Paul T. Graunke},
  title        = {Transformation-by-Example for {XML}},
  booktitle    = {{PADL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1753},
  pages        = {249--262},
  publisher    = {Springer},
  year         = {2000}
}