Kenny Zhuo Ming Lu

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