Synthesis from incompatible specifications. - Pavol Cerný; Sivakanth Gopi; Thomas A. Henzinger; Arjun Radhakrishna; Nishant Totla (EMSOFT, 2012)

Chlorophyll: synthesis-aided compiler for low-power spatial architectures. - Phitchaya Mangpo Phothilimthana; Tikhon Jelvis; Rohin Shah; Nishant Totla; Sarah E. Chasins; Rastislav Bodík (PLDI, 2014)

Complete Instantiation-Based Interpolation. - Nishant Totla; Thomas Wies (J. Autom. Reason., 2016)