Travelled to:
1 × Israel
1 × Italy
1 × USA
Collaborated with:
R.Sharma S.Gupta A.Aiken A.V.Nori L.Zelnik-Manor S.V.N.Vishwanathan M.Varma Euisun Yoon E.Andersen Ross A. Knepper P.Liang
Talks about:
architectur (1) minecraft (1) approach (1) geometr (1) concept (1) classif (1) algebra (1) margin (1) invari (1) driven (1)
Person: Bharath Hariharan
DBLP: Hariharan:Bharath
Contributed to:
Wrote 4 papers:
- ESOP-2013-SharmaGHALN #algebra #approach #data-driven #invariant
- A Data Driven Approach for Algebraic Loop Invariants (RS, SG, BH, AA, PL, AVN), pp. 574–592.
- SAS-2013-0001GHAN #concept #geometry #learning #verification
- Verification as Learning Geometric Concepts (RS, SG, BH, AA, AVN), pp. 388–411.
- ICML-2010-HariharanZVV #classification #multi #scalability
- Large Scale Max-Margin Multi-Label Classification with Priors (BH, LZM, SVNV, MV), pp. 423–430.
- AIIDE-2018-YoonAHK #architecture #design #mining
- Design Mining for Minecraft Architecture (EY, EA, BH, RAK), pp. 250–256.