An Implementation of Subtyping Among Regular Expression Types. - Kenny Zhuo Ming Lu; Martin Sulzmann (APLAS, 2004)

A Type-Safe Embedding of XDuce into ML. - Martin Sulzmann; Kenny Zhuo Ming Lu (ML, 2005)

XHaskell. - Martin Sulzmann; Kenny Zhuo Ming Lu (PLAN-X, 2006)

XHaskell - Adding Regular Expression Types to Haskell. - Martin Sulzmann; Kenny Zhuo Ming Lu (IFL, 2007)

Regular expression sub-matching using partial derivatives. - Martin Sulzmann; Kenny Zhuo Ming Lu (PPDP, 2012)

POSIX Regular Expression Parsing with Derivatives. - Martin Sulzmann; Kenny Zhuo Ming Lu (FLOPS, 2014)

Implementing Cost-Effective Data Collection and Extraction Processes with CollaMine. - Kenny Zhuo Ming Lu; Belson Heng (ICCCRI, 2016)

Derivative-Based Diagnosis of Regular Expression Ambiguity. - Martin Sulzmann; Kenny Zhuo Ming Lu (Int. J. Found. Comput. Sci., 2017)

Solving of Regular Equations Revisited. - Martin Sulzmann; Kenny Zhuo Ming Lu (ICTAC, 2019)

Control flow obfuscation via CPS transformation. - Kenny Zhuo Ming Lu (PEPM@POPL, 2019)

Solving of Regular Equations Revisited (extended version). - Martin Sulzmann; Kenny Zhuo Ming Lu (CoRR, 2019)

Control Flow Obfuscation for FJ using Continuation Passing. - Kenny Zhuo Ming Lu (CoRR, 2020)

Constructing Structured SSA from FJ. - Kenny Zhuo Ming Lu; Daniel Yu Hian Low (FTfJP@ECOOP, 2023)