Zheng Han Lee -

Registered user since Tue 18 Jun 2024

Name:Zheng Han Lee

Affiliation:National University of Singapore, Singapore

Contributions

2026

PLDI

Author of Fixed Parameter Tractable Linearizability Monitoring within the PLDI Research Papers-track

2025

SPLASH

Author of Efficient Decrease-And-Conquer Linearizability Monitoring within the OOPSLA-track

2024

PLDI

Author of Monitoring Linearizability in Polynomial Time within the SRC-track