`Travelled to:`

1 × South Korea

`Collaborated with:`

J.C.Blanchette N.Peltier L.Kovács A.Voronkov F.Loulergue J.Tesson J.Legaux Z.Hu

`Talks about:`

superposit (1) codatatyp (1) quantifi (1) parallel (1) smaller (1) program (1) problem (1) nearest (1) extract (1) datatyp (1)

## Person: Simon Robillard

### DBLP: Robillard:Simon

### Contributed to:

### Wrote 3 papers:

- SAC-2014-LoulergueRTLH #parallel #problem
- Formal derivation and extraction of a parallel program for the all nearest smaller values problem (FL, SR, JT, JL, ZH), pp. 1577–1584.
- IJCAR-2018-BlanchettePR #data type
- Superposition with Datatypes and Codatatypes (JCB, NP, SR), pp. 370–387.
- POPL-2017-KovacsRV #quantifier #reasoning
- Coming to terms with quantified reasoning (LK, SR, AV), pp. 260–270.