Constantine Dymnikov

According to our database, Constantine Dymnikov authored at least 3 papers between 2008 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java.

Constantine Dymnikov, David J. Pearce, Alex Potanin

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2011

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.

Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov

Sci. Comput. Program., 2011

2008

Java Bytecode Verification for @NonNull Types.

Chris Male, David J. Pearce, Alex Potanin, Constantine Dymnikov

Proceedings of the Compiler Construction, 17th International Conference, 2008