Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Neng-Fa Zhou
conf.researchr.org general profile
FLOPS 2022 profile
POPL 2016 profile
POPL 2017 profile
POPL 2020 profile
POPL 2021 profile
POPL 2025 profile
Not registered as user
Name:
Neng-Fa Zhou
Affiliation:
CUNY Brooklyn College and Graduate Center
Personal website:
http://www.sci.brooklyn.cuny.edu/~zhou/
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2025-track
2022
FLOPS
Committee Member in Program Committee within the FLOPS 2022-track
2021
Symposium on Practical Aspects of Declarative Languages
Committee Member in Programme Committee within the PADL 2021-track
2020
Symposium on Practical Aspects of Declarative Languages
Session Chair of Answer Set Programming Systems (part of PADL 2020)
Author of Competitive Programming with PiCat within the PADL 2020-track
2017
Symposium on Practical Aspects of Declarative Languages
Author of Canonicalizing High-Level Constructs in Picat within the PADL-track
2016
Symposium on Practical Aspects of Declarative Languages
Author of The Picat-SAT Compiler within the PADL-track
Committee Member in Program Committee within the PADL-track
Share
x
Sat 21 Dec 18:14