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