Chris Male

Chris Male completed a MSc Thesis in 2009 Type Inference in Java and supervised by David Pearce. Chris was also a Research Assistant over 06/07 summer and worked on the non null checking project. Chris completed a BIT in 2006.

Publications

  • Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov: Java Bytecode Verification for @NonNull Types. CC 2008: 229-244