Kenny Zhuo Ming Lu

According to our database, Kenny Zhuo Ming Lu authored at least 13 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Constructing Structured SSA from FJ.

Kenny Zhuo Ming Lu, Daniel Yu Hian Low

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2020

Control Flow Obfuscation for FJ using Continuation Passing.

Kenny Zhuo Ming Lu

CoRR, 2020

2019

Solving of Regular Equations Revisited (extended version).

Martin Sulzmann, Kenny Zhuo Ming Lu

CoRR, 2019

Control flow obfuscation via CPS transformation.

Kenny Zhuo Ming Lu

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

Solving of Regular Equations Revisited.

Martin Sulzmann, Kenny Zhuo Ming Lu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

2017

Derivative-Based Diagnosis of Regular Expression Ambiguity.

Martin Sulzmann, Kenny Zhuo Ming Lu

Int. J. Found. Comput. Sci., 2017

2016

Implementing Cost-Effective Data Collection and Extraction Processes with CollaMine.

Kenny Zhuo Ming Lu, Belson Heng

Proceedings of the International Conference on Cloud Computing Research and Innovations, 2016

2014

POSIX Regular Expression Parsing with Derivatives.

Martin Sulzmann, Kenny Zhuo Ming Lu

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2012

Regular expression sub-matching using partial derivatives.

Martin Sulzmann, Kenny Zhuo Ming Lu

Proceedings of the Principles and Practice of Declarative Programming, 2012

2007

XHaskell - Adding Regular Expression Types to Haskell.

Martin Sulzmann, Kenny Zhuo Ming Lu

Proceedings of the Implementation and Application of Functional Languages, 2007

2006

XHaskell.

Martin Sulzmann, Kenny Zhuo Ming Lu

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

2005

A Type-Safe Embedding of XDuce into ML.

Martin Sulzmann, Kenny Zhuo Ming Lu

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

2004

An Implementation of Subtyping Among Regular Expression Types.

Kenny Zhuo Ming Lu, Martin Sulzmann

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004