Mitra Purandare
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IUI | No Code, No Cloud: On-Device Mockup-to-Code with Lightweight Vision-Language AI. | Abinas Kuganathan, Mitra Purandare, Markus Stolze |
| 2025 | AIED | SMARE - Structure Matching and Recognition Engine for Hand-Drawn Chemical Formulas. | Mitra Purandare, Tobias Rothlin, Frieder Loch, Johannes Huwer, Lars-Jochen Thoms |
| 2020 | FPL | Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack. | Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner |
| 2017 | DAC | Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. | Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening |
| 2017 | FPL | Accelerated analysis of Boolean gene regulatory networks. | Mitra Purandare, Raphael Polig, Christoph Hagleitner |
| 2012 | DAC | Proving correctness of regular expression accelerators. | Mitra Purandare, Kubilay Atasu, Christoph Hagleitner |
| 2010 | DAC | Coverage in interpolation-based model checking. | Hana Chockler, Daniel Kroening, Mitra Purandare |
| 2010 | VMCAI | Interpolant Strength. | Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher |
| 2009 | DATE | Strengthening properties using abstraction refinement. | Mitra Purandare, Thomas Wahl, Daniel Kroening |
| 2008 | VMCAI | Approximation Refinement for Interpolation-Based Model Checking. | Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening |
| 2003 | DAC | Dos and don'ts of CTL state coverage estimation. | Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi |
| 2002 | CAV | Vacuum Cleaning CTL Formulae. | Mitra Purandare, Fabio Somenzi |