A Calculus for Link-Time Compilation. - Elena Machkasova; Franklyn A. Turbak (ESOP, 2000)

Optimizing java programs using generic types. - Eli Mayfield; John Kyle Roth; Daniel Selifonov; Nathan Dahlberg; Elena Machkasova (OOPSLA Companion, 2007)

Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. - Elena Machkasova (WRS@RDP, 2007)

A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case. - Manfred Schmidt-Schauß; Elena Machkasova (RTA, 2008)

The observer effect of profiling on dynamic Java optimizations. - Elena Machkasova; Kevin Arhelger; Fernando Trinciante (OOPSLA Companion, 2009)

Simulation in the Call-by-Need Lambda-Calculus with letrec. - Manfred Schmidt-Schauß; David Sabel; Elena Machkasova (RTA, 2010)

Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec. - Manfred Schmidt-Schauß; David Sabel; Elena Machkasova (Inf. Process. Lett., 2011)

Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings. - Manfred Schmidt-Schauß; Elena Machkasova; David Sabel (RTA, 2013)

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq. - Manfred Schmidt-Schauß; David Sabel; Elena Machkasova (Log. Methods Comput. Sci., 2015)