I am currently a Ph.D. Candidate in the Computer Science Department at the University of Massachusetts Amherst. I am interested in compilers, programming languages, virtual machines, and functional simulators. My current research focuses on techniques for automatically generating correct code generators from the CISL machine description language.
Edward K. Walters II, J. Eliot B. Moss, Trek Palmer, Timothy Richards, Charles C. Weems, ``CASL: A Rapid-prototyping Language for Modern Micro-architectures'', Computer Languages, Systems, and Structures, 2007, Volume 34/4, pp. 195-211.
J. Eliot B. Moss, Trek Palmer, Timothy Richards, Edward K. Walters II, Charles C. Weems, ``CISL: A Class-based Machine Description Language for Co-generation of Compilers and Simulators'', Int'l Journal of Parallel Programming, (Springer-Verlag). Volume 33, Numbers 2-3, pages 231-246, June 2005.
Timothy Richards, Edward K. Walters II, J. Eliot B. Moss, Trek Palmer, and Charles C. Weems, ``Towards Universal Code Generator Generation,'' Proceedings of the 2008 International Parallel and Distributed Processing Symposium Workshop on Next Generation Software, Miami, FL, April 2008.
J. Eliot B. Moss, Trek Palmer, Timothy Richards, Edward K. Walters II, Charles Weems, ``CMDL: A Class-based Machine Description Language for Co-Generation of Compilers and Simulators'', Proceedings of NSF Next Generation Systems Workshop, held in conjunction with IEEE International Parallel and Distributed Processing Symposium, April 26, 2004, Santa Fe, NM, 8 pp.
J. Eliot B. Moss, Charles C. Weems, Timothy Richards, ``The CoGenT Project: Co-Generating Compilers and Simulators For Dynamically Compiled Languages'', in IPDPS Workshop on Parallel and Distributed Computing Issues in Next Generation Software, April, 2003.
Timothy Richards, Edward K. Walters II, Trek Palmer, J. Eliot B. Moss, and Charles C. Weems, ``A Unified Framework for the Automatic Generation of System Tools and Components'', Technical Report #56, University of Massachusetts Amherst, 2007.
Timothy Richards, Verfication of Code Generators Using Term Rewriting Systems, Master's Thesis, February, 2005.
Trek Palmer, Timothy Richards, Edward K. Walters II, CoGenT Language Manual, 2004
Spring 2008, Instructor, CSCI 230 Compiler Design, Clark University, Worcester, MA
Fall 2007, Instructor, CISC 105 Introduction to Computers, Springfield College, Springfield, MA
Fall 2003/2004/2007, Teaching Assistant, CMPSCI 410/610 Compiler Techniques University of Massachusetts, Amherst, MA
EMail
'(richards (at) cs (dot) umass (dot) edu)
Phone
(413) 545-0256
Address
Department of Computer Science
140 Governor's Drive
University of Massachusetts
Amherst, MA 01003-9264
Room 354, Cube 4
Curriculum Vitae
04.16.2008
Just got back from IPDPS 2008 in Miami
where I gave a talk on the prospects of Universal Code Generator
Generation.
04.04.2008
Still in the process of converting to my new website. I should have
everything back up soon.