About me

Research Staff Member and Senior Manager of Programming Technologies Department
Research lab: Watson Research Center (Hawthorne)
|
Michael received his Ph.D. in Computer Science in 1991 from New York University's Department of Computer Science. From 1991 to 1993 he was a postdoc at IBM Research, working on PTRAN and other projects. From 1993 to 1998 he was a professor (assistant, associate) of computer science at SUNY at New Paltz in the Department of Mathematics and Computer Science, as well as holding various positions at IBM Research. |
You might be interested in
Publications, Invited Presentation, Tutorials and Courses, Program Committees, Other Activities
The projects under way in the Programming Technologies Department span three areas:
- Programming Models and Programming Language Design
- The X10 Programming Language (Contact: Vijay Saraswat)
- DALI
- Thorn (Contact: John Field)
- Jeannie (Contact: Martin Hirzel)
- Atomic Sets (Contact: Mandana Vaziri)
- Programming Tools
- Continuous Software Quality (CSQ), which includes the following subprojects (Contact:
Frank Tip)
- SAFE --- Scalable And Flexible Error detection for Java programs (Contact: Eran Yahav)
- WALA --- T.J. Watson Libraries for Analysis (Contact: Steve Fink)
- Security Analysis (Contact: Marco Pistoia)
- Analysis of Scripting Languages -- PHP, JavaScript (Contact: Julian Dolby)
- Parallel Tools, in collaboration with the Eclipse Parallel Tools Platform project (Contact: Evelyn Duesterwald)
- IMP (Eclipse IDE Meta-tooling Platform) (Contact: Robert Fuhrer)
- Paraglide (Contact: Eran Yahav)
- Continuous Software Quality (CSQ), which includes the following subprojects (Contact:
Frank Tip)
- Language Implementation for Optimization or Correctness
- Metronome (Contacts: David Bacon)
- Liquid Metal (Contacts: Rodric Rabbah, David Bacon)
- QVM (Contact: Eran Yahav)
Invited Presentations
- CGO'08 Panel
- Dynamic Compilation and Adaptive Optimization in Virtual Machines, Invited Course, ACACES'06 summer school, July 23-29, 2006
- Why Software Optimization Matters and Some Thoughts on How to Improve It, Invited Talk, University of Illinois at Urbana-Champaign, April 27, 2005, (Also presented at University of Colorado and Seoul National University)
- Virtual Machine Learning: Thinking like a Computer Architect, Keynote, CGO'05, March 21, 2005
- The Jikes RVM Story, Invited Talk, Red Hat Free Java Summit, MIT, November 18-19, 2004
- Using Jikes RVM to Understand the Hardware Performance of Java Applications, Keynote, MRE'03, March 23, 2003
- Pointer Analysis: Haven't We Solved This Problem Yet? Invited Talk, PASTE'01, June 18-19, 2001
Tutorials and Courses
- Dynamic Compilation and Adaptive Optimization in Virtual Machines
- The Design and Implementation of the Jikes RVM Optimizing Compiler
- The Design and Implementation of the Jalapeņo Research VM for Java PACT'01, September 9, 2001, Slides
Program Committees
- 2009: HiPEAC'09, PACT'09
- 2008: IISWC''08, CASCON'08, First Workshop on Programming Language Curricula
- 2007: WDDD 2007
- 2006: ASPLOS'06, PACT'06, CGO 2006, STMCS
- 2005: VEE'05, PLDI 2005, CGO 2005, MRE 2005
- 2004: ISSTA 2004, CC 2004, MRE 2004,
- 2003: OOPSLA'03, Workshop on Exploring the Trace Space for Dynamic Optimization Techniques
- 2002: 4th Workshop on Binary Translation, JVM'02, ISSTA 2002, ECOOP'02 Workshop on Resource Management for Safe Languages.
- 2001: FDDO'01
Other Activities
- General Chair, PLDI'09
- Tutorial Chair, PLDI'08
- Associate Editor, ACM TACO, Jan 2006 - present
- Steering committee, VEE Conference, June 2005 - present, (chair June 2005 - August 2007)
- General chair, VEE'05
- Steering committee, MASPLAS (Mid-Atlantic Student Workshop on Programming Languages and Systems)
- Advisory committee member, Computer Science Department, SUNY at New Paltz
Read more
Last updated 13 Jun 2008
