Travelled to:2 × USA
Collaborated with:∅
Talks about:multithread (1) protocol (1) parallel (1) specifi (1) program (1) automat (1) rewrit (1) proof (1) optim (1) class (1)
Person: Clément Hurlin
DBLP: Hurlin:Cl=eacute=ment
Contributed to:
2009
2009Wrote 2 papers:
- SAC-2009-Hurlin #parallel #protocol #specification #thread
- Specifying and checking protocols of multithreaded classes (CH), pp. 587–592.
- SAS-2009-Hurlin #automation #optimisation #parallel #proving #source code
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (CH), pp. 52–68.