`Travelled to:`

1 × Italy

2 × USA

`Collaborated with:`

R.Sharma B.Hariharan A.Aiken A.V.Nori P.Liang D.Tiwari J.H.Rogers D.Maxwell P.Rech S.S.Vazhkudai D.A.G.d.Oliveira D.Londo N.DeBardeleben P.O.A.Navaux L.Carro A.S.Bland

`Talks about:`

system (2) understand (1) approach (1) geometr (1) concept (1) algebra (1) invari (1) implic (1) driven (1) design (1)

## Person: Saurabh Gupta

### DBLP: Gupta:Saurabh

### Contributed to:

### Wrote 3 papers:

- HPCA-2015-TiwariGRMRVOLDN #comprehension #design #fault #gpu #scalability
- Understanding GPU errors on large-scale HPC systems and the implications for system design and operation (DT, SG, JHR, DM, PR, SSV, DAGdO, DL, ND, POAN, LC, ASB), pp. 331–342.
- 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.