Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nick Feng
conf.researchr.org general profile
ASE 2020 profile
ASE 2023 profile
ASE 2024 profile
ICSE 2024 profile
ICSE 2025 profile
POPL 2024 profile
Requirements Engineering 2024 profile
Registered user since Fri 7 Aug 2020
Name:
Nick Feng
Affiliation:
University of Toronto
Contributions
2025
ICSE
Author of LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements within the Demonstrations-track
2024
ASE
Author of Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects within the Research Papers-track
Requirements Engineering
Author of Normative Requirements Operationalization with Large Language Models within the Research Papers-track
ICSE
Author of Analyzing and Debugging Normative Requirements via Satisfiability Checking within the Research Track-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2023
ASE
Author of Towards a Formal Framework for Normative Requirements Elicitation within the NIER Track-track
2020
ASE
Author of Scaling Client-Specific Equivalence Checking via Impact Boundary Search within the Research Papers-track
Share
x
Fri 16 May 07:18
