BibTeX records: Richard Joiner

• > Home > Persons > Richard Joiner

@article{DBLP:journals/toplas/AungHJR14,
  author       = {Min Aung and
                  Susan Horwitz and
                  Richard Joiner and
                  Thomas W. Reps},
  title        = {Specialization Slicing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {36},
  number       = {2},
  pages        = {5:1--5:67},
  year         = {2014},
  url          = {https://doi.org/10.1145/2566620},
  doi          = {10.1145/2566620},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/AungHJR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/AungHJR14,
  author       = {Min Aung and
                  Susan Horwitz and
                  Richard Joiner and
                  Thomas W. Reps},
  editor       = {Michael F. P. O'Boyle and
                  Keshav Pingali},
  title        = {Specialization slicing},
  booktitle    = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
                  {PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
  pages        = {167},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2594291.2594345},
  doi          = {10.1145/2594291.2594345},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AungHJR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/JoinerRJDG14,
  author       = {Richard Joiner and
                  Thomas W. Reps and
                  Somesh Jha and
                  Mohan Dhawan and
                  Vinod Ganapathy},
  editor       = {Shing{-}Chi Cheung and
                  Alessandro Orso and
                  Margaret{-}Anne D. Storey},
  title        = {Efficient runtime-enforcement techniques for policy weaving},
  booktitle    = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
                  16 - 22, 2014},
  pages        = {224--234},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2635868.2635907},
  doi          = {10.1145/2635868.2635907},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/JoinerRJDG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FredriksonJJRPSY12,
  author       = {Matthew Fredrikson and
                  Richard Joiner and
                  Somesh Jha and
                  Thomas W. Reps and
                  Phillip A. Porras and
                  Hassen Sa{\"{\i}}di and
                  Vinod Yegneswaran},
  editor       = {P. Madhusudan and
                  Sanjit A. Seshia},
  title        = {Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction
                  Refinement},
  booktitle    = {Computer Aided Verification - 24th International Conference, {CAV}
                  2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7358},
  pages        = {548--563},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31424-7\_39},
  doi          = {10.1007/978-3-642-31424-7\_39},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FredriksonJJRPSY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}