Publications

8 results for Mitra Purandare

Acceleration-As-A-μService: A Cloud-native Monte-Carlo Option Pricing Engine on CPUs, GPUs and Disaggregated FPGAs
- - Dionysios Diamantopoulos
  - Raphael Polig
  - et al.
- 2021
- CLOUD 2021
Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack
- - Dionysios Diamantopoulos
  - Burkhard Ringlein
  - et al.
- 2020
- FPL 2020
PHRYCTORIA: A messaging system for transprecision OpenCAPI-attached FPGA accelerators
- - Dionysios Diamantopoulos
  - Mitra Purandare
  - et al.
- 2020
- IPDPSW 2020
Accelerated analysis of Boolean gene regulatory networks
- - Mitra Purandare
  - Raphael Polig
  - et al.
- 2017
- FPL 2017
Formal Techniques for Effective Co-verification of Hardware/Software Co-designs
- - Rajdeep Mukherjee
  - Mitra Purandare
  - et al.
- 2017
- DAC 2017
Proving correctness of regular expression accelerators
- - Mitra Purandare
  - Kubilay Atasu
  - et al.
- 2012
- DAC 2012
Computing mutation coverage in interpolation-based model checking
- - Hana Chockler
  - Daniel Kroening
  - et al.
- 2012
- IEEE TCADIS
Coverage in interpolation-based model checking
- - Hana Chockler
  - Daniel Kroening
  - et al.
- 2010
- DAC 2010