Polymorphic Type Inference for the JNI. - Michael Furr; Jeffrey S. Foster (ESOP, 2006)

Checking type safety of foreign function calls. - Michael Furr; Jeffrey S. Foster (ACM Trans. Program. Lang. Syst., 2008)

The ruby intermediate language. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael Hicks 001 (DLS, 2009)

Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael Hicks 001 (STOP@ECOOP, 2009)

Profile-guided static typing for dynamic scripting languages. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster (OOPSLA, 2009)

Static type inference for Ruby. - Michael Furr; Jong-hoon (David) An; Jeffrey S. Foster; Michael W. Hicks (SAC, 2009)

Combining Static and Dynamic Typing in Ruby. - Michael Furr (2009)