My name is Nick Feng. I am a Ph.D. student in computer science at the University of Toronto advised by Marsha Chechik.

I received both M.Sc. and B.Sc. in computer science from the University of Toronto, where I was advised by Marsha Chechik

Here is my CV. You can reach me at fengnick@cs.toronto.edu.

News

08/2020
Our second paper on client-specific equivalence checking was accepted at ASE '20!
07/2020
Our SAT Solvers (joint work with Randy Hickey and Fahiem Bacchus) Cadical-alluip-trail and Cadical-alluip won the planning track of SAT Competition 2020

Conference Research Papers

ICSE '24
Analyzing and Debugging Normative Requirements via Satisfiability Checking (to appear)
N. Feng, L. Marsoo, S. Yaman, B. Townsend, Y. Baatartogtokh, R. Ayad, V. Mello, Y. Kholodetska, I. Standen, I. Stefanakos, C. Imrie, G. Rodrigues, A. Cavalcanti, R. Calinescu, and M. Chechik
TACAS '24
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories (to appear)
N. Feng, A. Hu, S. Bayless, S. Iqbal, P. Trentin, M. Whalen, L. Pike, and J. Backes