report.bib

% This file was created with JabRef 2.9.2.
% Encoding: ISO8859_1

@INPROCEEDINGS{aldrich04domains,
  author = {Jonathan Aldrich and Craig Chambers},
  title = {{Ownership Domains: Separating Aliasing Policy from Mechanism}},
  booktitle = {Proceedings of ECOOP},
  year = {2004},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{aldrich02aliasjava,
  author = {Jonathan Aldrich and Valentin Kostadinov and Craig Chambers},
  title = {{Alias Annotations for Program Understanding}},
  booktitle = {Proceedings of OOPSLA},
  year = {2002},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{almeida97balloons,
  author = {Paulo S\'{e}rgio Almeida},
  title = {{Balloon Types: Controlling Sharing of State in Data Types}},
  booktitle = {Proceedings of ECOOP},
  year = {1997},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@PHDTHESIS{boyapati04safejava,
  author = {Chandrasekhar Boyapati},
  title = {{SafeJava: A Unified Type System for Safe Programming}},
  school = {MIT},
  year = {2004},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{boyapati02races,
  author = {Chandrasekhar Boyapati and Robert Lee and Martin Rinard},
  title = {{Ownership Types for Safe Programming: Preventing Data Races and
	Deadlocks}},
  booktitle = {Proocedings of OOPSLA},
  year = {2002},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{boyapati03innerclass,
  author = {Chandrasekhar Boyapati and Barbara Liskov and Liuba Shrira},
  title = {{Ownership Types for Object Encapsulation}},
  booktitle = {Proceedings of POPL},
  year = {2003},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{boyapati03rtsj,
  author = {Chandrasekhar Boyapati and Alexandru Salcianu and Beebee, Jr., William
	and Martin Rinard},
  title = {{Ownership Types for Safe Region-Based Memory Management in Real-Time
	Java}},
  booktitle = {Proceedings of PLDI},
  year = {2003},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{cameron07mojo,
  author = {Nicholas Cameron and Sophia Drossopoulou and James Noble and Matthew
	Smith},
  title = {Multiple Ownership},
  booktitle = {Proceedings of OOPSLA},
  year = {2007},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{cameron10encoding,
  author = {Nicholas Cameron and James Noble},
  title = {{Encoding Ownership Types in Java}},
  booktitle = {Proceedings of TOOLS},
  year = {2010},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@MISC{cameron10gut,
  author = {Nicholas Cameron and James Noble},
  title = {{Generic Universes Compiler}},
  month = {Jan},
  year = {2010},
  note = {\url{https://ecs.victoria.ac.nz/Main/Encoding}},
  owner = {darylseah},
  timestamp = {2015.05.02}
}

@PHDTHESIS{clarke03ownership,
  author = {David Clarke},
  title = {{Object Ownership and Containment}},
  school = {University of NSW},
  year = {2003},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INCOLLECTION{clarke13survey,
  author = {David Clarke and Johan \"{O}stlund and Ilya Sergey and Tobias Wrigstad},
  title = {{Ownership Types: A Survey}},
  booktitle = {{Aliasing in Object-Oriented Programming: Types, Analysis, and Verification}},
  publisher = {Springer-Verlag},
  year = {2013},
  pages = {15--58},
  owner = {darylseah},
  timestamp = {2015.04.28}
}

@INPROCEEDINGS{clarke02ownership,
  author = {David Clarke and Sophia Drossopoulou},
  title = {{Ownership, Encapsulation and the Disjointness of Type and Effect}},
  booktitle = {Proceedings of OOPSLA},
  year = {2002},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{clarke01ownership,
  author = {David Clarke and James Noble and John Potter},
  title = {{Simple Ownership Types for Object Containment}},
  booktitle = {Proceedings of ECOOP},
  year = {2001},
  owner = {darylseah},
  timestamp = {2015.04.29}
}

@BOOK{clarke13aliasing,
  title = {{Aliasing in Object-Oriented Programming: Types, Analysis, and Verification}},
  publisher = {Springer-Verlag},
  year = {2013},
  author = {David Clarke and James Noble and Tobias Wrigstad},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{clarke98ownership,
  author = {David Clarke and John Potter and James Noble},
  title = {{Ownership Types for Flexible Alias Protection}},
  booktitle = {Proceedings of OOPSLA},
  year = {1998},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INCOLLECTION{cunningham08ut,
  author = {Dave Cunningham and Werner Dietl and Sophia Drossopoulou and Adrian
	Francalanza and Peter M\"{u}ller and Alexander Summers},
  title = {{Universe Types for Topology and Encapsulation}},
  booktitle = {Formal Methods for Components and Objects},
  publisher = {Springer-Verlag},
  year = {2008},
  pages = {72--112},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@MISC{dietl14checker,
  author = {Werner Dietl},
  title = {{Generic Universe Types Checker/Inference}},
  month = {Jan},
  year = {2014},
  note = {\url{https://ece.uwaterloo.ca/~wdietl/inference/}},
  owner = {darylseah},
  timestamp = {2015.05.02}
}

@PHDTHESIS{dietl09gut,
  author = {Werner Dietl},
  title = {{Universe Types: Topology, Encapsulation, Genericity, and Tools}},
  school = {ETH Zurich},
  year = {2009},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@ARTICLE{dietl11gut,
  author = {Werner Dietl and Sophia Drossopoulou and Peter M\"{u}ller},
  title = {{Separating Ownership Topology and Encapsulation with Generic Universe
	Types}},
  journal = {ACM Transactions on Programming Languages and Systems},
  year = {2011},
  volume = {33},
  pages = {20:1--20:62},
  number = {6},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{dietl07gut,
  author = {Werner Dietl and Sophia Drossopoulou and Peter M\"{u}ller},
  title = {{Generic Universe Types}},
  booktitle = {Proceedings of FOOL/WOOD},
  year = {2007},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{dietl11inference,
  author = {Werner Dietl and Michael Ernst and Peter M\"{u}ller},
  title = {{Tunable Static Inference for Generic Universe Types}},
  booktitle = {Proceedings of ECOOP},
  year = {2011},
  owner = {darylseah},
  timestamp = {2015.05.02}
}

@INCOLLECTION{dietl13ownership,
  author = {Werner Dietl and Peter M\"{u}ller},
  title = {{Object Ownership in Program Verification}},
  booktitle = {{Aliasing in Object-Oriented Programming: Types, Analysis, and Verification}},
  publisher = {Springer-Verlag},
  year = {2013},
  pages = {289--318},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{dietl08dependent,
  author = {Werner Dietl and Peter M\"{u}ller},
  title = {{Ownership Type Systems and Dependent Classes}},
  booktitle = {Proceedings of FOOL},
  year = {2008},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@ARTICLE{dietl05jml,
  author = {Werner Dietl and Peter M\"{u}ller},
  title = {{Universes: Lightweight Ownership for JML}},
  journal = {Journal of Object Technology},
  year = {2005},
  volume = {4},
  pages = {5--32},
  number = {8},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{hogg91islands,
  author = {John Hogg},
  title = {{Islands: Aliasing Protection in Object-Oriented Languages}},
  booktitle = {Proceedings of OOPSLA},
  year = {1991},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@BOOK{muller02modular,
  title = {{Modular Specification and Verification of Object-Oriented Programs}},
  publisher = {Springer-Verlag},
  year = {2002},
  author = {Peter M\"{u}ller},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INCOLLECTION{muller99universes,
  author = {Peter M\"{u}ller and Arnd Poetzsch-Heffter},
  title = {{Universes: A Type System for Controlling Representation Exposure}},
  booktitle = {Programming Languages and Fundamentals of Programming},
  publisher = {Fernuniversit\"at Hagen},
  year = {1999},
  pages = {131 -- 140},
  note = {Technical Report 263},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@INPROCEEDINGS{muller07transfer,
  author = {Peter M\"{u}ller and Arsenii Rudich},
  title = {{Ownership Transfer in Universe Types}},
  booktitle = {Proceedings of OOPSLA},
  year = {2007},
  owner = {darylseah},
  timestamp = {2015.05.02}
}

@INPROCEEDINGS{noble98alias,
  author = {James Noble and Jan Vitek and John Potter},
  title = {{Flexible Alias Protection}},
  booktitle = {Proceedings of ECOOP},
  year = {1998},
  owner = {darylseah},
  timestamp = {2015.04.26}
}

@BOOK{silberschatz08os,
  title = {{Operating System Concepts}},
  publisher = {Wiley},
  year = {2008},
  author = {Abraham Silberschatz and Peter Baer Galvin and Greg Gagne},
  edition = {8th},
  date = {2006.11.27},
  owner = {lowjoel},
  timestamp = {2015.04.28}
}

@MISC{java8java_util_iterator,
  title = {{Iterator (Java Platform SE 8)}},
  author = {{Oracle Corporation}},
  month = {April},
  year = {2015},
  date = {2015.04.03},
  note = {\url{https://docs.oracle.com/javase/8/docs/api/java/util/Iterator.html}},
  owner = {lowjoel},
  timestamp = {2015.05.05}
}