Janina Voigt

Education

  • PhD Candidate at the Computer Laboratory, University of Cambridge, UK. October 2011 - present. Expected completion date: September 2014.
  • Master's and Bachelor in Computer Science, University of Canterbury, Christchurch, New Zealand, July 2007 - May 2011
  • Diploma in Broadcast Journalism, New Zealand Broadcasting School, Christchurch, New Zealand, February 2006 - June 2007

Publications

Dynamic alias protection with aliasing contracts by Janina Voigt and Alan Mycroft, APLAS 2013, December 2013

Aliasing contracts: a dynamic approach to alias protection by Janina Voigt and Alan Mycroft, Technical Report, University of Cambridge, June 2013

Notions of Aliasing and Ownership by Alan Mycroft and Janina Voigt, book chapter in "Aliasing in Object-Oriented Programming: Types, Analysis and Verification", 2013

How to modify javac by Raoul-Gabriel Urma, Janina Voigt and Martijn Verburg, Java Magazine, July/August 2012

Using the OpenJDK to investigate covariance in Java by Raoul-Gabriel Urma and Janina Voigt, Java Magazine, May/June 2012

A Critical Comparison of Existing Software Contract Tools by Janina Voigt, Warwick Irwin and Neville Churcher, ENASE 2011, June 2011

Improving object oriented software contracts by Janina Voigt, Master's thesis, University of Canterbury, Christchurch, New Zealand, May 2011

Class Encapsulation and Object Encapsulation by Janina Voigt, Warwick Irwin and Neville Churcher, ENASE 2010, July 2010

Competition-style Programming Problems for Computer Science Unplugged Activities by Janina Voigt, Tim Bell and Bengt Aspvall, book chapter in "A New Learning Paradigm: Competition Supported by Technology", April 2010

Intuitiveness of Class and Object Encapsulation by Janina Voigt, Warwick Irwin and Neville Churcher, ICITA 2009, November 2009

Misc