Constantine Dymnikov

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Annotation Tool

Web Image Retrieval

Top Venues

Australian Software Engineering Conference

Publications

Constantine Dymnikov, David J. Pearce, Alex Potanin
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Australian Software Engineering Conference (2013)
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
Formalisation and implementation of an algorithm for bytecode verification of @NonNull types. Sci. Comput. Program. 76 (7) (2011)
Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov
Java Bytecode Verification for @NonNull Types. CC (2008)