`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.