Travelled to:1 × USA
2 × France
Collaborated with:J.Baumgartner A.Mishchenko R.K.Brayton V.Paruthi R.Kanzelman N.Eén P.K.Nalla
Talks about:scalabl (2) redund (2) transform (1) properti (1) abstract (1) without (1) suspect (1) revisit (1) preserv (1) identif (1)
Person: Hari Mony
DBLP: Mony:Hari
Contributed to:
20132009
2005Wrote 4 papers:
- DATE-2013-MishchenkoEBBMN #abstraction #named #revisited
- GLA: gate-level abstraction revisited (AM, NE, RKB, JB, HM, PKN), pp. 1399–1404.
- DATE-2009-BaumgartnerM #liveness #scalability
- Scalable liveness checking via property-preserving transformations (JB, HM), pp. 1680–1685.
- DATE-2009-MonyBMB #identification #scalability
- Speculative reduction-based scalable redundancy identification (HM, JB, AM, RKB), pp. 1674–1679.
- DAC-2005-MonyBPK #proving
- Exploiting suspected redundancy without proving it (HM, JB, VP, RK), pp. 463–466.