- A Calculus for Link-time Compilation Elena Machkasova1
- A Finite Simulation Method in a Non-Deterministic Call-by-Need Calculus with
- Can You Trust Your JVM Diagnostic Tools? Isaac Sjoblom, Tim S. Snyder, and Elena Machkasova
- Computational Soundness of a Call by Name Calculus of Recursively-scoped Records.
- Improving Error Messages in the Clojure Programming Language
- Motivation and Overview The non-deterministic call-by-need calculus
- Use of profilers for studying Java dynamic optimizations
- CSci 3501 Assignment 8 Due Friday, November 11th in class
- The Observer Effect of Profiling on Dynamic Java Optimizations Elena Machkasova
- A Call-by-name Calculus of Records and its Basic Elena Machkasova, Emily Christiansen
- Choosing Efficient Inheritance Patterns for Java Fernando Trinciante, Isaac Sjoblom, and Elena Machkasova
- A Finite Simulation Method in a Non-Deterministic Call-by-Need
- On the Algorithm for Specializing Java Programs with Generic Types
- Empirical Studies of Java Optimizations Steve Caudill
- Specialization of Java Generic Types Sam BeVier, Elena Machkasova
- CSci 3501 Assignment 3 Due Friday, September 23rd in class
- Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
- BOSTON UNIVERSITY GRADUATE SCHOOL OF ARTS AND SCIENCES
- An Insightful Empirical Comparison of Sorting Elena Machkasova
- Dr. Elena Machkasova Curriculum Vitae
- Effects of generic types specialization on program Jeremy Bleichner, Nolan Nordlund, Elena Machkasova
- Effects of Static Type Specialization on Java Generic Collections (Technical Report)
- Computational Soundness of Non-Confluent Calculi
- CSci 1302 Assignment 6 Due Friday, March 2nd in class
- CSci 1302 Assignment 1 Due Friday, January 27th in class
- CSci 4651 Spring 2012 Problem Set 3: -calculus
- CSci 4651 Assignment 1 Due Wednesday, February 1 in class
- CSci 1302 Assignment 5 Due Friday, February 24th in class
