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
POPL 2024 profile
Requirements Engineering 2024 profile
Registered user since Fri 7 Aug 2020
Name:
Nick Feng
Affiliation:
University of Toronto
Contributions
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
Thu 21 Nov 13:11