Nishant Totla
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2012–2014
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | PLDI | Chlorophyll: synthesis-aided compiler for low-power spatial architectures. | Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodk |
| 2013 | POPL | Complete instantiation-based interpolation. | Nishant Totla, Thomas Wies |
| 2012 | EMSOFT | Synthesis from incompatible specifications. | Pavol Cern, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |