Joseph J. Hallett

• Born and raised in Boston, Massachusetts. Undergraduate studies at Colgate University. Degree awarded: Bachelor of Arts (B.A. 2002). Graduate studies in computer science at Boston University. Degree awarded: Doctor of Philosophy (Ph.D. 2007). Advisor: Assaf J. Kfoury.

• Implementing Hidden Type Variables in Fortress. With Eric Allen and Sukyoung Ryu. Chapter in book: PLT Redex. MIT Press. In progress.



• Integrating Coercion with Subtyping and Multiple Dispatch. With Victor Luchangco, Sukyoung Ryu and Guy Steele. In 2008 Symposium on Applied Computing. [ ps.gz ] [ pdf ]



• Hidden Type Variables and Conditional Extension for More Expressive Generic Programs. Ph.D. Dissertation, Boston University, 2007. [ pdf ] (a poster describing this work can be found here)



• Modular Multiple Dispatch with Multiple Inheritance. With Eric Allen, Victor Luchangco, Sukyoung Ryu and Guy Steele. In 2007 Symposium on Applied Computing. [ ps.gz ] [ pdf ]



• The Fortress Language Specification, version 1.0 beta. With the Sun Microsystems Programming Language Research Team. Sun Microsystems, Inc., March 6, 2007. [ pdf ]



• Formal Semantics for Weak References. With Kevin Donnelly and Assaf J. Kfoury. In 2006 International Symposium on Memory Management. [ ps.gz ] [ pdf ]



• Programming examples needing polymorphic recursion. With Assaf J. Kfoury. In 2004 Workshop Intersection Types and Related Systems. [ ps.gz ] [ pdf ]



• An Efficient Method For Rule-Based Computation: Development Of An XML Rule Processing Application. Honors Thesis, Colgate University, 2002. [ doc ]
  
  



• Development Of An XBRL Based, Expert System Loan Processing Web Application. In 2006 National Conference On Undergraduate Research. [ doc ]

• Interpreter for a Generic Object-Oriented Programming Language. A parser, type checker, and evaluator for a subset of the Fortress programming language with hidden type variables and conditional extension. A web interface for the interpreter can be found here.



• C++ Prettyprinter. A C++ front end that parses C++ and prettyprints the result. This produces more readable code.



• Implementation of Cyclic Hash-Consing. A SML library that transforms recursive types into a canonical form and maintains a unique representation of each distinct form. This library was developed to alleviate the unmanageable blow-up in space needed to preserve types during compilation. The slides from a talk I gave on this topic can be found here.



• XBRL-based Expert-system Loan Processing Web Application. An efficient and portable method fo