Mitra Purandare

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 8

Top Topics

Asynchronous Backtracking

Tensor Decomposition

Gene Regulatory Networks

Monte Carlo Tree Search

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Dionysios Diamantopoulos, Raphael Polig, Burkhard Ringlein, Mitra Purandare, Beat Weiss, Christoph Hagleitner, Mark A. Lantz, François Abel
Acceleration-as-a-µService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs. CLOUD (2021)
Dionysios Diamantopoulos, Raphael Polig, Burkhard Ringlein, Mitra Purandare, Beat Weiss, Christoph Hagleitner, Mark A. Lantz, François Abel
Acceleration-as-a-μService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs. CoRR (2021)
Matteo Manica, Raphael Polig, Mitra Purandare, Roland Mathis, Christoph Hagleitner, María Rodríguez Martínez
FPGA Accelerated Analysis of Boolean Gene Regulatory Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (6) (2020)
Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner
Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack. CoRR (2020)
Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner
Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack. FPL (2020)
Dionysios Diamantopoulos, Mitra Purandare, Burkhard Ringlein, Christoph Hagleitner
PHRYCTORIA: A Messaging System for Transprecision OpenCAPI-attached FPGA Accelerators. IPDPS Workshops (2020)
Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs. DAC (2017)
Mitra Purandare, Raphael Polig, Christoph Hagleitner
Accelerated analysis of Boolean gene regulatory networks. FPL (2017)
Hana Chockler, Daniel Kroening, Mitra Purandare
Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31 (5) (2012)
Mitra Purandare, Kubilay Atasu, Christoph Hagleitner
Proving correctness of regular expression accelerators. DAC (2012)
Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher
Interpolant Strength. VMCAI (2010)
Hana Chockler, Daniel Kroening, Mitra Purandare
Coverage in interpolation-based model checking. DAC (2010)
Mitra Purandare, Thomas Wahl, Daniel Kroening
Strengthening properties using abstraction refinement. DATE (2009)
Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher
Mutation-Based Test Case Generation for Simulink Models. FMCO (2009)
Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening
Approximation Refinement for Interpolation-Based Model Checking. VMCAI (2008)
Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
Dos and don'ts of CTL state coverage estimation. DAC (2003)
Mitra Purandare, Fabio Somenzi
Vacuum Cleaning CTL Formulae. CAV (2002)