| 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, 367-390, 2017 | 47 | 2017 |
| 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 | 47 | 2014 |
| Predicate abstraction for reactive synthesis A Walker, L Ryzhyk 2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014 | 29 | 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 | 29 | 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 | 22 | 2016 |
| Solving games without controllable predecessor N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 19 | 2014 |
| 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 | 18 | 2016 |
| Developing a practical reactive synthesis tool: experience and lessons learned L Ryzhyk, A Walker arXiv preprint arXiv:1611.07624, 2016 | 16 | 2016 |
| John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, and Mona Vij. 2014. User-Guided Device Driver Synthesis L Ryzhyk, A Walker OSDI, USENIX Association, 661-676, 2014 | 12 | 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 |
| The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ... arXiv preprint arXiv:2206.00251, 2022 | 7 | 2022 |
| 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 | |
| The 5th reactive synthesis competition (SYNTCOMP 2018): Benchmarks, participants & results. CoRR abs/1904.07736 (2019) S Jacobs, R Bloem, M Colange, P Faymonville, B Finkbeiner, A Khalimov, ... | 4 | 1904 |
| 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 UNSW Sydney, 2016 | | 2016 |
| {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 (OSDI …, 2014 | | 2014 |
