Contact info
Address:
Division of Science and Mathematics
600 E 4th St.
Morris, MN 56267-2134
Office: Sci 2325
Phone: (320)589-6308
Fax: (320) 589-6371 (c/o Elena Machkasova)
E-mail: elenam {at} morris {dot} umn {dot} edu
My weekly schedule is on UMM Google Calendar.
On this page:
My current CV
The most recent copy of my CV is
available here.
I am on sabbatical in academic year 2012/13. The best way to get in
touch with me is by e-mail.
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 and
program optimization. Publications and reports
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 - current. 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), Jeremy Bleichner (UROP 08/09), Nolan
Nordlund (MAP 08/09), Kevin Arhelger (UROP, Spring 09), Fernando
Trinciante (Spring 09, UROP 09/10), Isaac Sjoblom (MAP 2009/10, UROP
2010/11), Brian Valerius (LSAMP Summer 2010), Tim Snyder (MAP
2010/11), Joshua Johnson (LSAMP Summer 2011), Jeff Lindblom (UROP
2011/12), Seth Sorensen (MAP 2011/12).
- Spring 2011. Improving Error Messages in the Clojure Programming
Language. Students: Brian Goslinga (UROP, Spring 2011), Eugene
Butler (LSAMP, Spring 2011).
-
Spring 2012. Exploring the Interoperability between Java and
Clojure programming languages. Stephen Adams (UROP, Spring 2012).
Publications
- Manfred
Schmidt-Schauss, David Sabel, and Elena Machkasova. Counterexamples
to applicative simulation and extensionality in non-deterministic
call-by-need lambda-calculi with letrec
in Information
Processing Letters, 111(14):711-716, July 2011.
- Manfred Schmidt-Schauss, David Sabel, and Elena Machkasova
"Simulation in the call-by-need
lambda-calculus with
letrec." RTA
2010.
- Elena Machkasova, Kevin Arhelger, Fernando Trinciante "The Observer Effect of Profiling on Dynamic Java Optimizations" poster at ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2009) Abstract.
- 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. Slides for my RTA talk: PDF
- 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.
-
Jeffrey D. Lindblom, Seth Sorensen, Elena Machkasova
The Role of Method Call
Optimizations in the Efficiency of Java Generics
MICS 2012, second place Undergraduate Best Paper Award.
Slides
-
Stephen Adams Improving the
Interoperability between Java and Clojure MICS
2012. Slides
-
Brian Goslinga,
Eugene Butler, Elena Machkasova
(adviser)
"Improving
Error Messages in the Clojure
Programming Language" MICS 2011
-
Isaac Sjoblom, Tim S. Snyder, Elena Machkasova
"Can
You Trust Your JVM Diagnostic Tools?" MICS 2011
- Elena
Machkasova "An Insightful
Empirical Comparison of Sorting
Algorithms" MICS 2011, Nifty Assignments category.
-
Fernando Trinciante, Isaac Sjoblom, Elena Machkasova "Choosing Efficient Inheritance Patterns for Java Generics" MICS 2010, Best Undergraduate Student Paper Award. Slides (PDF).
-
Kevin Arhelger, Fernando Trinciante, Elena Machkasova "Use of profilers for studying Java dynamic optimizations", MICS 2009: PDF
-
Jeremy Bleichner, Nolan Nordlund, Elena Machkasova "Effects of generic types specialization on program behavior", MICS 2009:
PDF
- 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
- Technical report Manfred
Schmidt-Schauss, David Sabel, and Elena Machkasova "Simulation in
the call-by-need lambda-calculus with letrec."
- 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-Schauss 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
- 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 and in computational linguistics. Other topics are fine
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).
- Incorporating program performance considerations into a software
development cycle, specifically into agile development.
.
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.
http://www.dangermouse.net/esoteric/
algorithms and programming languages like you have never seen before :-)
Last modified: November 2012.
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.
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.