Alexander Legg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CAV | A SAT-Based Counterexample Guided Method for Unbounded Synthesis. | Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2015 | AAAI | SAT-Based Strategy Extraction in Reachability Games. | Niklas En, Alexander Legg, Nina Narodytska, Leonid Ryzhyk |
| 2014 | CAV | Solving Games without Controllable Predecessor. | Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker |
| 2014 | OSDI | User-Guided Device Driver Synthesis. | Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij |