`Travelled to:`

1 × Spain

2 × USA

`Collaborated with:`

S.Bhat A.G.Gray R.W.Vuduc D.Tang D.O'Brien M.Meyer I.E.Grossmann

`Talks about:`

infrastructur (1) experiment (1) transform (1) mathemat (1) function (1) program (1) probabl (1) overlap (1) densiti (1) theori (1)

## Person: Ashish Agarwal

### DBLP: Agarwal:Ashish

### Contributed to:

### Wrote 3 papers:

- POPL-2012-BhatAVG #probability #type system
- A type theory for probability density functions (SB, AA, RWV, AGG), pp. 545–556.
- KDD-2010-TangAOM #empirical #framework #performance
- Overlapping experiment infrastructure: more, better, faster experimentation (DT, AA, DO, MM), pp. 17–26.
- PADL-2010-AgarwalBGG #automation #program transformation
- Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.