Constantine Dymnikov, Master's Student

Please Note

This person can no longer be contacted through the School of Engineering and Computer Science at Victoria University of Wellington

 

Biography

Biography to be added shortly.

Constantine Dymnikov is doing a MSc Thesis with AlexPotanin and DavidPearce working on Ownership Inference. He worked as a research assistant for AlexPotanin and DavidPearce over the 2009/2010 summer on JKit. He worked as a research assistant for DavidPearce over the 2008/2009 summer on JKit. He completed a BSc Honours Thesis in 2008, working on automating non-null checking in Java programs, Co-Supervised by DavidPearce and LindsayGroves.

Publications

• Chris Male, David J. Pearce, Alex Potanin, and Constantine Dymnikov. Formalisation and Implementation of an Algorithm for Bytecode Verification of @NonNull Types. Science of Computer Programming (Accepted for publication in 2010).
• Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov. Java Bytecode Verification for @NonNull Types. CC 2008: 229-244