Nick Feng

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Boolean Satisfiability

Stochastic Local Search Algorithms

Temporal Epistemic

Top Venues

Publications

Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Normative Requirements Operationalization with Large Language Models. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) (2024)
Alan Wang, Nick Feng, Marsha Chechik
Code-Level Functional Equivalence Checking of Annotative Software Product Lines. SPLC (A) (2023)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Towards a Formal Framework for Normative Requirements Elicitation. ASE (2023)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Early Verification of Legal Compliance via Bounded Satisfiability Checking. CAV (3) (2023)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
Bounded Satisfiability Checking of Metric First-order Temporal Logic. CoRR (2022)
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
Verification by Gambling on Program Slices. ATVA (2021)
Nick Feng, Fahiem Bacchus
Clause Size Reduction with all-UIP Learning. SAT (2020)
Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ASE (2020)