Object analysis of program. - Vladimir I. Shelekhov; Sergey V. Kuksenko (ACM SIGPLAN Notices, 1994)

On the Practical Static Checker of Semantic Run-Time Errors. - Vladimir I. Shelekhov; Sergey V. Kuksenko (APSEC, 1999)

Data Flow Analysis of Java Programs in the Presence of Exceptions. - Vladimir I. Shelekhov; Sergey V. Kuksenko (Ershov Memorial Conference, 1999)

Overview of excelsior JET, a high performance alternative to java virtual machines. - Vitaly V. Mikheev; Nikita V. Lipsky; D. Gurchenkov; P. Pavlov; Vladimir V. Sukharev; A. Markov; Sergey V. Kuksenko; Stanislav A. Fedoseev; D. Leskov; A. Yeryomin (Workshop on Software and Performance, 2002)