Sotabase

Career

· Docker

Publications (11)

Chlorophyll: synthesis-aided compiler for low-power spatial architectures
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2014
155
cited
Complete Instantiation-Based Interpolation
Journal of automated reasoning · 2013
34
cited
Chlorophyll : Synthesis-Aided Compiler for Low-Power Spatial Architectures by Phitchaya Mangpo Phothilimthana
2015
32
cited
Synthesis from incompatible specifications
International Conference on Embedded Software · 2012
13
cited
Massive Parallelization of SAT Solvers [ CS 262 A Project Report ]
2013
1
cited
Automatic Invariant Generation
2012
Comparing Expressive Power of Timed Logics BTP report
2012
Crowdsolving Program Verification
2012
On properties of ω-automata using simulation distances
2011
Probablistic methods as a proof technique
2012
Research.js: Sharing Your Research on the Web
2013
Sotabase
Nishant Totla | Researcher Profile | Sotabase | Sotabase