Feed
The most up-to-date information will be posted to the research category of my journal.
research feed (RSS)Links
Here are some canned queries to external web sites. These are useful for finding connections to or judging the impact of my work; however, the most updated publication list is maintained by me.
- Google Scholar
- CiteSeer documents
- CiteSeer citations
- DBLP (Germany)
- ACM digital library
- I3P digital library
Trivia
My Erdős number appears to be 4. I am aware of just one path:
- Paul Erdős and Menachem Magidor. A note on regular methods of summability and the Banach-Saks property. Proc. American Mathematical Society 59, 1976.
- Ran Rinat, Menachem Magidor, and Scott F. Smith. Correspondence Polymorphism for Object-Oriented Languages. OOPSLA, 1999.
- Jonathan Eifrig, Scott F. Smith, Valery Trifonov, and Amy E. Zwarico. An Interpretation of Typed OOP in a Language with State. Lisp and Symbolic Computation 8(4), 1995.
- Christopher League, Zhong Shao, and Valery Trifonov. Type-preserving compilation of Featherweight Java. TOPLAS 24(2), 2002.
Research interests
I am interested in programming languages and compilers, in software development, and in computer science education. My long-term goal is to improve the reliability and security of software, and the productivity of those who develop it.
Many of the problems we encounter in traditional software development are social in nature; poor communication is the prime example. Early work showed that the choice of programming language made relatively little difference in productivity.
Nevertheless, my work is motivated by the conviction that languages, tools, and environments can go a long way toward improving the quality of the software we produce.
Current projects
Below are brief descriptions of some of my research projects.