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 (Contacts: Dave Grove, Vijay Saraswat)
   • Liquid Metal (Contacts: Rodric Rabbah, David Bacon)
   • Thorn (Contact: John Field)
   • Renaissance (Contacts: Sam Adams, David Ungar)
   • Spade (Contact: Martin Hirzel)
2. Programming Tools/Program Analysis
   • Continuous Software Quality (CSQ), which includes the following subprojects (Contact: Frank Tip)
     • WALA --- T.J. Watson Libraries for Analysis (Contact: Steve Fink)
     • Language-Based Security (Contact: Marco Pistoia)
     • DALI (Contact: Frank Tip)
     • Analysis of Scripting Languages -- PHP, JavaScript (Contact: Julian Dolby)
   • IMP (Eclipse IDE Meta-tooling Platform) (Contact: Robert Fuhrer)
   • Paraglide (Contact: Eran Yahav, Martin Vechev)
   • Thor (Contact: Peter Sweeney)
3. Language Implementation for Optimization or Correctness
   • Metronome (Contacts: David Bacon)
   • QVM/Chameleon (Contacts: Eran Yahav, Martin Vechev, Greta Yorsh)

Past projects in the department include Jikes RVM, CME, XAOS, Gnosis, XJ, PDS, and Mirage. If you are interested in an internship, post-doc, or regular 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.

---

The Impact of Multicore Architectures on Software: Disaster or Opportunity?, Invited Talk, University of Washington, October 20, 2009 (video)

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

• 2010: ASPLOS'10, IWMSE'10
• 2009: HiPEAC'09, PACT'09, IISWC'09, CASCON'09, SAC'10 - Technical Track on Programming Languages
• 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

Awards and Other Activities

• ACM Distinguished Scientist, 2009
• General Chair, PLDI'09
• Tutorial Chair, PLDI'08
• Associate Editor, ACM TACO, Jan 2006 - present
• Steering committee, PLDI Conference, June 2008 - present
• Steering committee, VEE Conference, June 2005 - April 2009, (chair June 2005 - August 2007)
• General chair, VEE'05
• Steering committee, MASPLAS (Mid-Atlantic Student Workshop on Programming Languages and Systems)
• General chair, MASPLAS'96, MASPLAS'01
• Program chair, MRE'03
• Advisory committee member, Computer Science Department, SUNY at New Paltz

---

Read more


Last updated 6 Nov 2009