Nishant Totla

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

Collaborative distances:

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

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

2013

Complete instantiation-based interpolation.

Nishant Totla, Thomas Wies

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

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