Nick Feng

22 papers A* 4A 2B 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning.
CoRR
Vikash Singh, Darion Cassel, Nathaniel Weir, Nick Feng, Sam Bayless
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2025 J jnl
Bounded satisfiability checking of $\hbox {FOL}^*$ formulas with aggregations.
Formal Methods Syst. Des.
Nick Feng, Lina Marsso, Yuliia Kholodetska, Marsha Chechik
2025 — conf
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements.
ICSE Companion
Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik
2025 J jnl
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements.
CoRR
Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik
2025 B conf
Solving Set Constraints with Comprehensions and Bounded Quantifiers.
FMCAD
Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik
2025 J jnl
Solving Set Constraints with Comprehensions and Bounded Quantifiers.
CoRR
Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik
2024 A* conf
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
ICSE
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
2024 J jnl
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR
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
2024 — conf
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
TACAS (1)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024 J jnl
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.
CoRR
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024 A* conf
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
ASE
Nick Feng, Lina Marsso, Marsha Chechik
2024 J jnl
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects.
CoRR
Nick Feng, Lina Marsso, Marsha Chechik
2024 A conf
Normative Requirements Operationalization with Large Language Models.
RE
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
2024 J jnl
Normative Requirements Operationalization with Large Language Models.
CoRR
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
2023 — conf
Code-Level Functional Equivalence Checking of Annotative Software Product Lines.
SPLC (A)
Alan Wang, Nick Feng, Marsha Chechik
2023 — conf
Early Verification of Legal Compliance via Bounded Satisfiability Checking.
CAV (3)
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2023 A* conf
Towards a Formal Framework for Normative Requirements Elicitation.
ASE
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2022 J jnl
Bounded Satisfiability Checking of Metric First-order Temporal Logic.
CoRR
Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik
2021 B conf
Verification by Gambling on Program Slices.
ATVA
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
2020 A conf
Clause Size Reduction with all-UIP Learning.
SAT
Nick Feng, Fahiem Bacchus
2020 A* conf
Scaling Client-Specific Equivalence Checking via Impact Boundary Search.
ASE
Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik