| User-guided device driver synthesis L Ryzhyk, A Walker, J Keys, A Legg, A Raghunath, M Stumm, M Vij 11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014 | 40 | 2014 |
| The first reactive synthesis competition (SYNTCOMP 2014) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... International journal on software tools for technology transfer 19 (3), 367-390, 2017 | 26 | 2017 |
| Predicate abstraction for reactive synthesis A Walker, L Ryzhyk 2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014 | 23 | 2014 |
| capDL: A language for describing capability-based systems I Kuz, G Klein, C Lewis, A Walker Proceedings of the first ACM asia-pacific workshop on Workshop on systems, 31-36, 2010 | 23 | 2010 |
| The second reactive synthesis competition (SYNTCOMP 2015) S Jacobs, R Bloem, R Brenguier, R Könighofer, GA Pérez, JF Raskin, ... arXiv preprint arXiv:1602.01171, 2016 | 19 | 2016 |
| The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ... arXiv preprint arXiv:1609.00507, 2016 | 16 | 2016 |
| Solving games without controllable predecessor N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker International Conference on Computer Aided Verification, 533-540, 2014 | 16 | 2014 |
| A customizable multiprocessor for globally asynchronous locally synchronous execution A Malik, Z Salcic, A Girault, A Walker, SC Lee Proceedings of the 7th International Workshop on Java Technologies for Real …, 2009 | 12 | 2009 |
| John Keys, Alexander Legg, Arun Raghunath, Michael Stumm & Mona Vij (2014): User-Guided Device Driver Synthesis L Ryzhyk, A Walker OSDI, USENIX Association, 661-676, 2014 | 9 | 2014 |
| Developing a practical reactive synthesis tool: experience and lessons learned L Ryzhyk, A Walker arXiv preprint arXiv:1611.07624, 2016 | 8 | 2016 |
| The first reactive synthesis competition (SYNTCOMP 2014). STTT 19 (3), 367–390 (2017) S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ... | 5 | |
| DeVIce DrIVer SynTheSIS M Vij, J Keys, A Raghunath, S Hahn, V Zimmer, L Ryzhyk Intel® Technology Journal 17 (2), 2013 | 2 | 2013 |
| Automatic Device Driver Synthesis. A Walker University of New South Wales, Sydney, Australia, 2016 | | 2016 |
