Contact info
Address:
Division of Science and Mathematics
600 E 4th St.
Morris, MN 56267-2134
Office: Sci 2325
Phone: (320)589-6308
E-mail: elenam@morris.umn.edu
Office hours (Spring 2008): M,F 1-2:30pm, W 2:30-3:30pm, Tu,Th 2-3pm, or arrange
by e-mail. My weekly schedule is on UMCal.
On this page:
Spring 2008:
Previous semesters (with links to
the course pages).
If you have any
questions about any of these courses, please don't hesitate to send me
an e-mail or stop by.
My research is in the area of semantics of programming languages. My
Research
Wiki Web has links to specific projects (Wiki reflects work in
progress, proceed at your own risk). Publications and reports
resulting from projects are posted here (see below) as they become
available. Questions, comments, and suggestions are welcome!
Projects:
- Fall 2004 - Spring 2005 (MAP), continues in Fall 2005 as a directed
studies class. A project with Emily Christiansen "Meaning
preservation of program transformations"
- Spring 2005. UROP with Steve Caudill "Java optimizations".
- Fall 2005 - Spring 2008. Compiler
Optimization of Java Generic Types. Students:
Scott Lembcke (MAP 05/06), Sam BeVier (UROP 05/06), Daniel Selifonov (MAP 06/07),
Nathan Dahlberg (GIA Spring 07, MAP Spring 08), Kyle Roth (GIA Summer 07), Eli Mayfield
(GIA Summer 07, UROP Spring 08).
Publications
Refereed publications:
- Manfred Schmidt-Schauss and Elena Machkasova "A Finite Simulation Method
in a Non-Deterministic Call-by-Need Lambda-Calculus with letrec, constructors,
and case", International Conference on Rewriting Techniques and Applications (RTA) 2008.
- Eli Mayfield, J. Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova (Advisor) "Optimizing Java Programs using Generic Types" poster at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2007). Abstract
- Elena Machkasova "Computational
Soundness of a Call by Name Calculus of Recursively-scoped Records",
Workshop on Reduction
Strategies in Rewriting and Programming (WRS) 2007 (also available in ENTCS, Volume 204),
slides for my talk at WRS.
Technical reports (UMM working papers series and other):
- Elena Machkasova, Elijah Mayfield, Nathan Dahlberg, J. Kyle Roth
"Effects of Static Type Specialization on Java Generic
Collections (Technical Report)". Working Papers Series,
University of Minnesota, Morris, 2008 Volume to be assigned:
PDF
- Manfred Schmidt-Schauß and Elena Machkasova.
"A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case."
Frank report (Technical report) 32, Institut fur Informatik. Fachbereich Informatik und Mathematik. J. W. Goethe-Universitat Frankfurt am Main, February 2008.
-
Elena Machkasova "Computational Soundness of a Call by Name
Calculus of Recursively-scoped Records". Working Papers Series,
University of Minnesota, Morris, Volume 2 Number 3, 2007:
PDF
- Sam BeVier, Elena Machkasova "Specialization of Java
Generic Types": PDF
-
Elena Machkasova, Emily Christiansen "A Call-by-name Calculus of
Records and its Basic Properties": PDF
Papers with students:
- Daniel Selifonov, Nathan Dahlberg, Elena Machkasova "On the Algorithm for Specializing Java Programs with Generic
Types", MICS 2007: PDF
- Emily Christiansen, Elena Machkasova "On Meaning Preservation of a
Calculus of Records", MICS 2006
- Sam BeVier, Scott Lembcke, Elena Machkasova
(Advisor). "Specialization of Java Generic Types", MICS 2006
- Steve Caudill, Elena Machkasova (Advisor) "Empirical Studies of
Java Optimizations" in proceedings of MICS 2005. View as PDF, DOC
Earlier publications and talks
- PDF slides from my talk
"Computational Soundness of Non-Confluent Calculi"
at NEPLS (New England
Programming Languages and Systems Symposium Series) in October 2002.
- My Ph.D dissertation "Computational Soundness of Non-Confluent
Calculi with Applications to Modules and Linking",
April 2002, Boston University: PDF.
- Elena Machkasova and Franklyn A. Turbak "A calculus for link-time
compilation". In Programming Languages & Systems,
9th European Symp. Programming, volume 1782 of LNCS, pages 260-274
Springer-Verlag, 2000:
PDF.
I am interested in any topic related to programming languages,
software design,
and compilers research, as well as topics in cryptography and its
applications. Please feel free to
suggest any topic related to these areas. Other topics may be
considered as well. Below are some random ideas:
- Java decompilation: restoring Java source code from byte
code. This topic is a nice combination of technical research
and discussion of ethical issues (protection of intellectual
property).
I am originally from Moscow, Russia.
I spent many years in Boston. I received my Ph.D. at Boston University in Spring 2002. From
Fall 2001 till Spring 2003 I taught at Computer Science Department at
Wellesley College. Click here to see my web page
at Wellesley.
Some computer related
and, of course, programming languages
related quotes that I recently stumbled across. As usual, all
responsibility for the contents of these pages lies on their authors :-)
Last modified: August 2006.
The views and opinions expressed in this page are strictly those of
the page author. The contents of this page have not been reviewed or
approved by the University of Minnesota.
