Kenny Zhuo Ming Lu

Bio

    Kenny is a senior lecturer in ISTD Singapore University of Technology and Design since Oct 2020, Prior SUTD, Kenny work in Nanyang Polytechnic as a senior lecturer and back in 2012, Kenny was working with Circos Brand Karma as the director of engineering. During which he was leading the development team in Singapore and overseeing the development of the flagship social media analytic product for the hospitality industry. Before that Kenny graduated from National University of Singapore (NUS) with a PhD, under the supervision of Prof Martin Sulzmann.

    Kenny’s current research and project interests include (but not limit to) data extraction using regular expression pattern and context free grammar, high performance domain specific language design and analysis, collaborative cloud based resource management and type system theory.

    Kenny is the co-founder of the Singapore Functional Programmer special interest group.

Publications

1. Ph.D. Thesis

   1. Kenny Zhuo Ming Lu : XHaskell - Adding Regular Expression Type to Haskell (pdf). National University of Singapore 2008.

2. Journal Paper

   1. Martin Sulzmann and Kenny Zhuo Ming Lu: Derivative-Based Diagnosis of Regular Expression Ambiguity. IJFCS-CIAA 2016

3. Book Chapter

   1. Lean Launch Data Engineering Projects With Super Type Power. Kenny Zhuo Ming Lu, Pg 119 – 132. Innovative Technologies for Market Leadership: Investing in the Future. Editors, Glauner and Plugmann, 2020, Springer, ISBN 978-3-030-41308-8.

4. Conference Papers

   1. Kenny Zhuo Ming Lu and Daniel Yu Hian Low: Constructing Structured SSA from FJ. In proceeding of FTfJP 2023. Seattle Washington 2023 https://doi.org/10.1145/3605156.3606457

   2. Kenny Zhuo Ming Lu:  Control Flow Obfuscation for FJ using Continuation Passing. In proceeding of PEPM 2021. Online 2020

   3. Martin Sulzmann and Kenny Zhuo Ming Lu:  Solving of Regular Equations Revisited. In proceeding of ICTAC 2019. Hammamet, Tunisia 2019

   4. Kenny Zhuo Ming Lu: Control Flow Obfuscation via CPS Transformation. In Proceedings of PEPM 2019.

   5. Martin Sulzmann and Kenny Zhuo Ming Lu: Derivative-Based Diagnosis of Regular Expression Ambiguity. In Proceedings of CIAA 2016.

   6. Kenny Zhuo Ming Lu and Belson Heng: Implementing Cost-effective Data Collection and Extraction Processes with CollaMine. In Proceedings of ICCCRI 2016.

   7. Jophia Yi Wen Soh and Kenny Zhuo Ming Lu: Finding Near Duplicates in Short Text Messages in Singlish  Using MapReduce and Phonetic Matching. In Proceedings of ICCCRI 2014

   8. Martin Sulzmann and Kenny Zhuo Ming Lu : POSIX Regular Expression Parsing with Derivatives. To Appear in Proceedings of FLOPS 2014

   9. Martin Sulzmann and Kenny Zhuo Ming Lu : Regular Expression Sub-Matching using Partial Derivatives. In Proceedings of PPDP 2012, 2012 (pdf)

   10. Martin Sulzmann and Kenny Zhuo Ming Lu : XHaskell - Adding Regular Expression Type to Haskell. In Proceedings of  IFL 2007, 2007 (pdf).

   11. Martin Sulzmann and Kenny Zhuo Ming Lu : A Type-Safe Embedding of Xduce into ML. Electronic Notes in Computer Science, pages 229-253, 2005 (pdf)

   12. Kenny Zhuo Ming Lu and Martin Sulzmann : An Implementation of Subtyping among Regular Expression Types. APLAS 2004 (ps)

5. Conference Demos

   1. Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. PLAN-X 2006: 92

6. Technical Reports

   1. Jophia Yi Wen Soh and Kenny Zhuo Ming Lu : Finding Near Duplicates in Short Text Messages in Singlish Using MapReduce and Phonetic Matching (full appendix) 2014 (pdf)

   2. Martin Sulzmann and Kenny Zhuo Ming Lu : POSIX Regular Expression Parsing with Derivatives 2013 (pdf)

   3. Martin Sulzmann and Kenny Zhuo Ming Lu : Correct and Efficient POSIX  Submatch Extraction with Regular Expression Derivatives 2013 (pdf)

   4. Martin Sulzmann and Kenny Zhuo Ming Lu : Regular Expression Matching using Partial Derivatives. 2010 (pdf)

   5. Martin Sulzmann and Kenny Zhuo Ming Lu : A Faithful Semantics for Hindley/Milner with Regular Expression Types (Extended Version) 2007 July (ps)

   6. Martin Sulzmann and Kenny Zhuo Ming Lu : Type Inference and Compilation for Parametric Regular Data Types (Extended Version 2006 (ps)

   7. Martin Sulzmann and Kenny Zhuo Ming Lu : A Type and Semantic Preserving Translation from Xduce to ML. 2005 (ps)

   8. Kenny Zhuo Ming Lu, Martin Sulzmann : An Implementation of Subtyping among Regular Expression Types. NUS Technical Report (TRB9/04) (ps)

   9. 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

Working Experiences

1. Refer to my Linkedin 

Teaching

1. 2020 Fall

   1. 50.001 Introduction to Information System and Programming

   2. 50.043 Database systems and Big data

2. 2021 Spring / Summer

   1. Capstone

3. 2021 Fall

   1. 50..043 Database systems and Big data

   2. 10.020 Data Driver World

4. 2022 Spring

   1. 50.001 Introduction to Information System and Programming

   2. Capstone

5. 2022 Summer

   1. Capstone

6. 2022 Fall

   1. 10.014 Computational Thinking and Design

   2. 10.020 Data Driver World

7. 2023 Spring

   1. 50.043 Database systems and Big data