Travelled to:1 × Canada
1 × Cyprus
Collaborated with:G.Winskel X.Leroy
Talks about:strategi (1) concurr (1) regist (1) valid (1) spill (1) alloc (1)
Person: Silvain Rideau
DBLP: Rideau:Silvain
Contributed to:
2011
2010Wrote 2 papers:
- LICS-2011-RideauW #concurrent
- Concurrent Strategies (SR, GW), pp. 409–418.
- CC-2010-RideauL #validation
- Validating Register Allocation and Spilling (SR, XL), pp. 224–243.