Kenny Zhuo Ming Lu

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 9

Top Topics

Query Evaluation

Pattern Matching

Deterministic Finite Automata

Top Venues

Int. J. Found. Comput. Sci.

Publications

Kenny Zhuo Ming Lu, Daniel Yu Hian Low
Constructing Structured SSA from FJ. FTfJP@ECOOP (2023)
Kenny Zhuo Ming Lu
Control Flow Obfuscation for FJ using Continuation Passing. CoRR (2020)
Martin Sulzmann, Kenny Zhuo Ming Lu
Solving of Regular Equations Revisited (extended version). CoRR (2019)
Kenny Zhuo Ming Lu
Control flow obfuscation via CPS transformation. PEPM@POPL (2019)
Martin Sulzmann, Kenny Zhuo Ming Lu
Solving of Regular Equations Revisited. ICTAC (2019)
Martin Sulzmann, Kenny Zhuo Ming Lu
Derivative-Based Diagnosis of Regular Expression Ambiguity. Int. J. Found. Comput. Sci. 28 (5) (2017)
Martin Sulzmann, Kenny Zhuo Ming Lu
Derivative-Based Diagnosis of Regular Expression Ambiguity. CIAA (2016)
Kenny Zhuo Ming Lu, Belson Heng
Implementing Cost-Effective Data Collection and Extraction Processes with CollaMine. ICCCRI (2016)
Martin Sulzmann, Kenny Zhuo Ming Lu
Derivative-Based Diagnosis of Regular Expression Ambiguity. CoRR (2016)
Martin Sulzmann, Kenny Zhuo Ming Lu
POSIX Regular Expression Parsing with Derivatives. FLOPS (2014)
Martin Sulzmann, Kenny Zhuo Ming Lu
Regular expression sub-matching using partial derivatives. PPDP (2012)
Martin Sulzmann, Kenny Zhuo Ming Lu
XHaskell - Adding Regular Expression Types to Haskell. IFL (2007)
Martin Sulzmann, Kenny Zhuo Ming Lu
XHaskell. PLAN-X (2006)
Martin Sulzmann, Kenny Zhuo Ming Lu
A Type-Safe Embedding of XDuce into ML. Electron. Notes Theor. Comput. Sci. 148 (2) (2006)
Kenny Zhuo Ming Lu, Martin Sulzmann
An Implementation of Subtyping Among Regular Expression Types. APLAS (2004)