1 × Austria
1 × USA
L.Ryzhyk N.Narodytska A.Walker F.Bacchus J.Keys A.Raghunath M.Stumm M.Vij
synthesi (2) guid (2) counterexampl (1) predecessor (1) without (1) unbound (1) control (1) method (1) driver (1) devic (1)
Person: Alexander Legg
Wrote 3 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.
- CAV-2016-LeggNR #bound #satisfiability #synthesis
- A SAT-Based Counterexample Guided Method for Unbounded Synthesis (AL, NN, LR), pp. 364–382.