`Travelled to:`

1 × France

1 × Latvia

1 × USA

`Collaborated with:`

M.Sviridenko G.Kimmell P.Alexander R.d.P.Barbosa A.Ene H.L.Nguyên

`Talks about:`

neighborhood (1) submodular (1) framework (1) distribut (1) construct (1) prufrock (1) theorem (1) problem (1) polytyp (1) maximum (1)

## Person: Justin Ward

### DBLP: Ward:Justin

### Contributed to:

### Wrote 3 papers:

- ICML-2015-BarbosaENW #dataset #distributed #power of
- The Power of Randomization: Distributed Submodular Maximization on Massive Datasets (RdPB, AE, HLN, JW), pp. 1236–1244.
- ICALP-v1-2013-SviridenkoW #problem #scalability #set
- Large Neighborhood Local Search for the Maximum Set Packing Problem (MS, JW), pp. 792–803.
- ASE-2005-WardKA #framework #named #proving #theorem proving
- Prufrock: a framework for constructing polytypic theorem provers (JW, GK, PA), pp. 423–426.