Mitra Purandare

22 papers A* 5A 2B 5Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A conf
No Code, No Cloud: On-Device Mockup-to-Code with Lightweight Vision-Language AI.
IUI
Abinas Kuganathan, Mitra Purandare, Markus Stolze
2025 — conf
Citation Recognition in Large-Scale Legal Platforms Using Transformer Models.
SDS
Mirio Eggmann, Jasmin Fitz, Dario Glasl, Mitra Purandare
2025 — conf
ReGeo: A Direct Regression Approach for Global Image Geo-Localization.
SDS
Tobias Rothlin, Mitra Purandare
2025 — conf
SMARE - Structure Matching and Recognition Engine for Hand-Drawn Chemical Formulas.
AIED (5)
Mitra Purandare, Tobias Rothlin, Frieder Loch, Johannes Huwer, Lars-Jochen Thoms
2021 B conf
Acceleration-as-a-µService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs.
CLOUD
Dionysios Diamantopoulos, Raphael Polig, Burkhard Ringlein, Mitra Purandare, Beat Weiss, Christoph Hagleitner, Mark A. Lantz, François Abel
2021 J jnl
Acceleration-as-a-μService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs.
CoRR
Dionysios Diamantopoulos, Raphael Polig, Burkhard Ringlein, Mitra Purandare, Beat Weiss, Christoph Hagleitner, Mark A. Lantz, François Abel
2020 B conf
Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack.
FPL
Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner
2020 J jnl
Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack.
CoRR
Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner
2020 J jnl
FPGA Accelerated Analysis of Boolean Gene Regulatory Networks.
IEEE ACM Trans. Comput. Biol. Bioinform.
Matteo Manica, Raphael Polig, Mitra Purandare, Roland Mathis, Christoph Hagleitner, María Rodríguez Martínez
2020 — conf
PHRYCTORIA: A Messaging System for Transprecision OpenCAPI-attached FPGA Accelerators.
IPDPS Workshops
Dionysios Diamantopoulos, Mitra Purandare, Burkhard Ringlein, Christoph Hagleitner
2017 B conf
Accelerated analysis of Boolean gene regulatory networks.
FPL
Mitra Purandare, Raphael Polig, Christoph Hagleitner
2017 A* conf
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.
DAC
Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening
2012 J jnl
Computing Mutation Coverage in Interpolation-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hana Chockler, Daniel Kroening, Mitra Purandare
2012 A* conf
Proving correctness of regular expression accelerators.
DAC
Mitra Purandare, Kubilay Atasu, Christoph Hagleitner
2010 A* conf
Coverage in interpolation-based model checking.
DAC
Hana Chockler, Daniel Kroening, Mitra Purandare
2010 — —
Coverage, Vacuity, and Interpolation in Model Checking.
Mitra Purandare
2010 B conf
Interpolant Strength.
VMCAI
Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
2009 — conf
Mutation-Based Test Case Generation for Simulink Models.
FMCO
Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher
2009 A conf
Strengthening properties using abstraction refinement.
DATE
Mitra Purandare, Thomas Wahl, Daniel Kroening
2008 B conf
Approximation Refinement for Interpolation-Based Model Checking.
VMCAI
Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening
2003 A* conf
Dos and don'ts of CTL state coverage estimation.
DAC
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
2002 A* conf
Vacuum Cleaning CTL Formulae.
CAV
Mitra Purandare, Fabio Somenzi