Nishant Totla

According to our database, Nishant Totla authored at least 3 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Complete Instantiation-Based Interpolation.

Nishant Totla, Thomas Wies

J. Autom. Reason., 2016

2014

Chlorophyll: synthesis-aided compiler for low-power spatial architectures.

Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodík

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012

Synthesis from incompatible specifications.

Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla

Proceedings of the 12th International Conference on Embedded Software, 2012