BibTeX records: Aaron Greenhouse

download as .bib file

@article{DBLP:journals/scp/GreenhouseHS05,
  author       = {Aaron Greenhouse and
                  Timothy J. Halloran and
                  William L. Scherlis},
  title        = {Observations on the assured evolution of concurrent Java programs},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {3},
  pages        = {384--411},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.03.002},
  doi          = {10.1016/J.SCICO.2005.03.002},
  timestamp    = {Thu, 26 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/GreenhouseHS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GreenhouseHS03,
  author       = {Aaron Greenhouse and
                  Timothy J. Halloran and
                  William L. Scherlis},
  editor       = {Michael G. Burke},
  title        = {Using Eclipse to demonstrate positive static assurance of Java program
                  concurrency design intent},
  booktitle    = {Proceedings of the 2003 {OOPSLA} Workshop on Eclipse Technology eXchange,
                  October 2003, Anaheim, CA, {USA}},
  pages        = {99--103},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/965660.965681},
  doi          = {10.1145/965660.965681},
  timestamp    = {Mon, 14 Feb 2022 14:38:20 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/GreenhouseHS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GreenhouseS02,
  author       = {Aaron Greenhouse and
                  William L. Scherlis},
  editor       = {Will Tracz and
                  Michal Young and
                  Jeff Magee},
  title        = {Assuring and evolving concurrent programs: annotations and policy},
  booktitle    = {Proceedings of the 24th International Conference on Software Engineering,
                  {ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
  pages        = {453--463},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/581339.581395},
  doi          = {10.1145/581339.581395},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/GreenhouseS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/SutherlandGS02,
  author       = {Dean F. Sutherland and
                  Aaron Greenhouse and
                  William L. Scherlis},
  editor       = {Matthew B. Dwyer and
                  Jens Palsberg},
  title        = {The code of many colors: relating threads to code and shared state},
  booktitle    = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'02, Charleston,
                  South Carolina, USA, November 18-19, 2002},
  pages        = {77--83},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/586094.586109},
  doi          = {10.1145/586094.586109},
  timestamp    = {Thu, 21 Jan 2021 17:36:46 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/SutherlandGS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GreenhouseB99,
  author       = {Aaron Greenhouse and
                  John Boyland},
  editor       = {Rachid Guerraoui},
  title        = {An Object-Oriented Effects System},
  booktitle    = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
                  Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1628},
  pages        = {205--229},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48743-3\_10},
  doi          = {10.1007/3-540-48743-3\_10},
  timestamp    = {Wed, 07 Dec 2022 23:08:18 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/GreenhouseB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BoylandG99,
  author       = {John Boyland and
                  Aaron Greenhouse},
  editor       = {Ana M. D. Moreira and
                  Serge Demeyer},
  title        = {MayEqual: {A} New Alias Question},
  booktitle    = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops,
                  Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1743},
  pages        = {141--143},
  publisher    = {Springer},
  year         = {1999},
  timestamp    = {Mon, 15 Jun 2020 17:08:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/BoylandG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics