My Publications
Ph.D. Thesis
  1. 1.Kenny Zhuo Ming Lu : XHaskell - Adding Regular Expression Type to Haskell (ps).
 
Conference Papers
  1. 2.Martin Sulzmann and Kenny Zhuo Ming Lu : XHaskell - Adding Regular Expression Type to Haskell. To Appear in Proceedings of IFL 2007, 2007 (ps).
  2. 3.Martin Sulzmann and Kenny Zhuo Ming Lu : A Type-Safe Embedding of Xduce into ML. Electronic Notes in Computer Science, pages 229-253, 2005 (ps)
  3. 4. Kenny Zhuo Ming Lu and Martin Sulzmann : An Implementation of Subtyping among Regular Expression Types. APLAS 2004 (ps)
 
Conference Demos
  1. 5. Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. PLAN-X 2006: 92
 
Technical Reports
  1. 6. Martin Sulzmann and Kenny Zhuo Ming Lu : A Faithful Semantics for Hindley/Milner with Regular Expression Types (Extended Version) 2007 July (ps)
  2. 7. Martin Sulzmann and Kenny Zhuo Ming Lu : Type Inference and Compilation for Parametric Regular Data Types (Extended Version 2006 (ps)
  3. 8. Martin Sulzmann and Kenny Zhuo Ming Lu : A Type and Semantic Preserving Translation from Xduce to ML. 2005 (ps)
  4. 9. Kenny Zhuo Ming Lu, Martin Sulzmann : An Implementation of Subtyping among Regular Expression Types. NUS Technical Report (TRB9/04) (ps)
  5. 10. Kenny Zhuo Ming Lu, Martin Sulzmann  : XHaskell: Regular Expression Types for Haskell. NUS Techinical Report (TRC9/04) (ps). The appendix is deprecated; please refer to TRB9/04 for technical details
Kenny Zhuo Ming Lu
Name: Kenny Zhuo Ming Lu
Job Status: Software Engineer/ Ph.D. Candidate
Affiliation: Circos.com/ National University of Singapore
Research Interest: XML, Programming Languages, Type System.
Email: reverse "gs.ude.sun.pmoc@mzul"
 
 
My Publications
 
My Working Experience
 
My Projects
 
My Photos
 
My Working Experiences
  1. • 2001 - 2003 : Teaching Assistant, National University of Singapore
  2. • 2003 - 02/2008 : Research Assistant, National University of Singapore
  3. • 04/2008 - Present : Software Engineer, Circos.com
My Projects
  1. 1.XHaskell
    XHaskell is a language extension of Haskell with regular expression types, regular expression pattern matching and semantic subtyping in XDuce’s style. The combination of these new features with the existing features in Haskell such as parametric polymorphism, ad-hoc polymorphism and algebraic datatypes makes XHaskell a highly expressive and powerful language.  

    This project is a part of my graduate study.  Please refer to the publications below and     XHaskell’s home page for details.
My Pet Projects
  1. 1.PPChugs
  2. 2.E680 hugs and vim