Alexander Legg

According to our database, Alexander Legg authored at least 8 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A SAT-Based Counterexample Guided Method for Unbounded Synthesis.

Alexander Legg, Nina Narodytska, Leonid Ryzhyk

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

SAT-Based Strategy Extraction in Reachability Games.

Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

User-Guided Device Driver Synthesis.

Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Solving Games without Controllable Predecessor.

Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2012

Automatic Verification of Message-Based Device Drivers

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011

Static analysis of device drivers: we can do better!

Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011