Michael J Hind

Research Staff Member and Senior Manager of Programming Technologies Department

Research lab: Watson Research Center (Hawthorne)

hind@watson.ibm.com 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.

You might be interested in

the Future of Virtual Execution Environments workshop that was held on Sept 15-17, 2004. Slides and video are available.

---

Publications, Invited Presentation, Tutorials and Courses, Program Committees, Other Activities

---

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

1. 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)
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)
   • IMP (Eclipse IDE Meta-tooling Platform) (Contact: Robert Fuhrer)
   • Paraglide (Contact: Eran Yahav)
3. Language Implementation for Optimization or Correctness
   • Metronome (Contacts: David Bacon)
   • Liquid Metal (Contacts: Rodric Rabbah, David Bacon)
   • QVM (Contact: Eran Yahav)

Past projects in the department include Jikes RVM, CME, XAOS, Gnosis, PDS, and Mirage. If you are interested in an internship, post-doc, or permanent position in the Programming Technologies department, please submit a resume at Jobs at IBM, and contact Michael Hind or any of the contact names listed above.

---

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
  • 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

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