Travelled to:
1 × Austria
1 × USA
Collaborated with:
A.Legg L.Ryzhyk N.Narodytska F.Bacchus J.Keys A.Raghunath M.Stumm M.Vij
Talks about:
predecessor (1) synthesi (1) without (1) control (1) driver (1) devic (1) user (1) solv (1) guid (1) game (1)
Person: Adam Walker
DBLP: Walker:Adam
Contributed to:
Wrote 2 papers:
- CAV-2014-NarodytskaLBRW #game studies
- Solving Games without Controllable Predecessor (NN, AL, FB, LR, AW), pp. 533–540.
- OSDI-2014-RyzhykWKLRSV #synthesis
- User-Guided Device Driver Synthesis (LR, AW, JK, AL, AR, MS, MV), pp. 661–676.