Michael Hind

hind@watson.ibm.com Contact Information Michael Hind is a Research Staff Member and Senior Manager of Programming Technologies Department at the T.J. Watson Research Center in Hawthorne, New York, which is part of IBM's Research Division. Previously he was the manager of the Dynamic Optimization group. 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.

The projects under way in the Programming Technologies Department span three areas:

1. Programming Models and Programming Language Design
   • The X10 Programming Language (Contacts: Vijay Saraswat, Vivek Sarkar)
   • DALI and XJ: XML Enhancements for Java (Contact: Mukund Raghavachari)
   • Collage (Contact: John Field)
   • Jeannie (Contact: Martin Hirzel)
2. 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)
   • Advanced Refactoring (Contact: Frank Tip)
   • SAFARI: Meta-Tooling for Analysis, Refactoring, and IDE Support (Contact: Robert Fuhrer)
3. Deployment, Virtualization, and Optimized Execution
   • Metronome (Contacts: David Bacon)
   • Liquid Metal (Contacts: Rodric Rabbah, David Bacon)
   • Dynamic Optimization (Contacts: Matt Arnold)

You might be interested in

• 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

• Dynamic Compilation and Adaptive Optimization in Virtual Machines
  • ACACES'06 4-day course, July 23-29, 2006, Slides
  • ETAPS 2005, April 3, 2005.
  • NEPLS'04,October 8, 2004, See PLDI'04 Slides
  • PLDI'04, June 8, 2004, Slides
  • CGO'04, March 21, 2004, See PLDI'04 Slides
• The Design and Implementation of the Jikes RVM Optimizing Compiler
  • OOPSLA'02, November 4, 2002, (expanded version of PLDI'02 tutorial), Slides
  • PLDI'02, June 16, 2002, Slides
• The Design and Implementation of the Jalapeño Research VM for Java PACT'01, September 9, 2001, Slides

• 2007: WDDD 2007, June 10, 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

• Tutorial Chair, PLDI'08
• Associate Editor, ACM TACO, Jan 2006 - present
• Steering committee chair, VEE Conference, June 2005 - present
• 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