Mitra Purandare

According to our database, Mitra Purandare authored at least 16 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Acceleration-as-a-µService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs.

Dionysios Diamantopoulos, Raphael Polig, Burkhard Ringlein, Mitra Purandare, Beat Weiss, Christoph Hagleitner, Mark A. Lantz, François Abel

Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

2020

FPGA Accelerated Analysis of Boolean Gene Regulatory Networks.

Matteo Manica, Raphael Polig, Mitra Purandare, Roland Mathis, Christoph Hagleitner, María Rodríguez Martínez

IEEE ACM Trans. Comput. Biol. Bioinform., 2020

PHRYCTORIA: A Messaging System for Transprecision OpenCAPI-attached FPGA Accelerators.

Dionysios Diamantopoulos, Mitra Purandare, Burkhard Ringlein, Christoph Hagleitner

Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, 2020

Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack.

Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner

Proceedings of the 30th International Conference on Field-Programmable Logic and Applications, 2020

2017

Accelerated analysis of Boolean gene regulatory networks.

Mitra Purandare, Raphael Polig, Christoph Hagleitner

Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

Formal Techniques for Effective Co-verification of Hardware/Software Co-designs.

Rajdeep Mukherjee, Mitra Purandare, Raphael Polig, Daniel Kroening

Proceedings of the 54th Annual Design Automation Conference, 2017

2012

Computing Mutation Coverage in Interpolation-Based Model Checking.

Hana Chockler, Daniel Kroening, Mitra Purandare

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Proving correctness of regular expression accelerators.

Mitra Purandare, Kubilay Atasu, Christoph Hagleitner

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2010

Coverage, Vacuity, and Interpolation in Model Checking.

Mitra Purandare

PhD thesis, 2010

Interpolant Strength.

Vijay Victor D'Silva, Daniel Kroening, Mitra Purandare, Georg Weissenbacher

Proceedings of the Verification, 2010

Coverage in interpolation-based model checking.

Hana Chockler, Daniel Kroening, Mitra Purandare

Proceedings of the 47th Design Automation Conference, 2010

2009

Mutation-Based Test Case Generation for Simulink Models.

Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Strengthening properties using abstraction refinement.

Mitra Purandare, Thomas Wahl, Daniel Kroening

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Approximation Refinement for Interpolation-Based Model Checking.

Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening

Proceedings of the Verification, 2008

2003

Dos and don'ts of CTL state coverage estimation.

Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi

Proceedings of the 40th Design Automation Conference, 2003

2002

Vacuum Cleaning CTL Formulae.

Mitra Purandare, Fabio Somenzi

Proceedings of the Computer Aided Verification, 14th International Conference, 2002