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
Office hours (Fall 2020): TBA
My weekly schedule is on UMM Google Calendar.
On this page:
Fall 2020 (course pages are in the Canvas course management system)
- CSci 1301: Problem Solving and Algorithm Development
- CSci 4554: Cryptography
- CSci 4901: Senior seminar
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!
This is a project on incorporating Clojure into undergraduate curriculum. I will add more information about it shortly. Here are some relevant talk slides and papers.
- Not All Programming Languages are
Created Equal:
Using Functional Languages in Introductory
Computer Science Classes. at Thursday Afternoon Faculty Symposium
(TAFS), October 3 2013, UMM.
- Elena Machkasova, Stephen J. Adams, Joe Einertson. "Steps towards teaching the Clojure programming language in an introductory CS class" at TFPIE 2013: extended abstract, slides
- Use of Clojure in Undergraduate CS Curriculum at Boston Clojure Meetup Nov. 8 2012.
- Paul Schliep, Max Magnuson, Elena Machkasova Developing a Graphical Library for a Clojure-based
Introductory CS Course MICS (Midwest Instruction and Computing Symposium)
2014. Slides
- Henry Fellows, Aaron Lemmon, Max Magnuson,
Emma Sax, Paul Schliep, and Elena
Machkasova Developing
Beginner-Friendly User Interactions for
the Clojure Programming Language at MICS (Midwest Instruction and Computing Symposium)
2015, awarded 3rd place in the Best Undergraduate Paper
category. Slides
Our code is
on https://github.com/Clojure-Intro-Course/clojure-intro-class
And on a totally different Clojure-related note, my poem
written in Clojure
was accepted and published in the code{poems} project.
- 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".
- 2005 - 2012. 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).
- Developing tools for novice programmers for the Clojure
programming language: Joe Einertson (UROP Fall 2013), Max Magnuson
(directed study 2013/14, UROP
2014/15), Paul Schliep (directed study 2013/14, UROP
2014/15), Emma Sax (HHMI Summer 2014), Henry Fellows
(HHMI Summers 2014 and 2015, directed study Fall 2014, UROP 2015/16), Aaron Lemmon (MAP
summer 2014, acad. year 2014/15), Thomas Hagen (HHMI Summer 2015, MAP 2015/16),
Ryan McArthur (LSAMP Summer 2015), Sean Stockholm (LSAMP Summer 2015), Tony Song (HHMI
Summer 2016), Shamund Gordon (LSAMP Summer 2016), Richard Stangl
(HHMI Summer 2016).
Publications
- Manfred Schmidt-Schauss, Elena Machkasova, and David
Sabel. Extending Abramsky's
Lazy Lambda Calculus: (Non)-Conservativity of
Embeddings RTA
2013
- 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.
- Henry Fellows, Joe Einertson, Elena
Machkasova Exploration
of parallelization efficiency in the
Clojure programming language MICS (Midwest Instruction and Computing Symposium)
2014. Slides
- Maxwell Marti Adopting
Node.js and CoffeeScript in a Software
Design Course MICS (Midwest Instruction and Computing Symposium)
2014. Slides
-
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: April 2015.
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.