Elena Machkasova

According to our database, Elena Machkasova authored at least 9 papers between 2000 and 2015.

Collaborative distances:

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

2015

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

2013

Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings.

Manfred Schmidt-Schauß, Elena Machkasova, David Sabel

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2011

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

2010

Simulation in the Call-by-Need Lambda-Calculus with letrec.

Manfred Schmidt-Schauß, David Sabel, Elena Machkasova

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

The observer effect of profiling on dynamic Java optimizations.

Elena Machkasova, Kevin Arhelger, Fernando Trinciante

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case.

Manfred Schmidt-Schauß, Elena Machkasova

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2007

Computational Soundness of a Call by Name Calculus of Recursively-scoped Records.

Elena Machkasova

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Optimizing java programs using generic types.

Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2000

A Calculus for Link-Time Compilation.

Elena Machkasova, Franklyn A. Turbak

Proceedings of the Programming Languages and Systems, 2000