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:
2014
2018
2017Wrote 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.