Static analysis of device drivers: we can do better! - Sidney Amani; Leonid Ryzhyk; Alastair F. Donaldson; Gernot Heiser; Alexander Legg; Yanjin Zhu (APSys, 2011)

Automatic Verification of Message-Based Device Drivers - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Leonid Ryzhyk; Yanjin Zhu (SSV, 2012)

Solving Games without Controllable Predecessor. - Nina Narodytska; Alexander Legg; Fahiem Bacchus; Leonid Ryzhyk; Adam Walker (CAV, 2014)

User-Guided Device Driver Synthesis. - Leonid Ryzhyk; Adam Walker; John Keys; Alexander Legg; Arun Raghunath; Michael Stumm; Mona Vij (OSDI, 2014)

Automatic verification of active device drivers. - Sidney Amani; Peter Chubb; Alastair F. Donaldson; Alexander Legg; Keng Chai Ong; Leonid Ryzhyk; Yanjin Zhu (ACM SIGOPS Oper. Syst. Rev., 2014)

SAT-Based Strategy Extraction in Reachability Games. - Niklas Eén; Alexander Legg; Nina Narodytska; Leonid Ryzhyk (AAAI, 2015)

A SAT-Based Counterexample Guided Method for Unbounded Synthesis. - Alexander Legg; Nina Narodytska; Leonid Ryzhyk (CAV (2), 2016)

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Romain Brenguier; Ayrat Khalimov 001; Felix Klein 001; Robert Könighofer; Jens Kreber; Alexander Legg; Nina Narodytska; Guillermo A. Pérez 001; Jean-François Raskin; Leonid Ryzhyk; et al. (SYNT@CAV, 2016)

A Counterexample Guided Method. - Alexander Legg (2016)