Adam Walker
Adam Walker
Verified email at
Cited by
Cited by
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
{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
Predicate abstraction for reactive synthesis
A Walker, L Ryzhyk
2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 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
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
The reactive synthesis competition (syntcomp): 2018–2021
S Jacobs, GA Perez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
International Journal on Software Tools for Technology Transfer, 1-17, 2024
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
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
Developing a practical reactive synthesis tool: Experience and lessons learned
L Ryzhyk, A Walker
arXiv preprint arXiv:1611.07624, 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
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
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, ...
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, ...
DeVIce DrIVer SynTheSIS
M Vij, J Keys, A Raghunath, S Hahn, V Zimmer, L Ryzhyk
Intel® Technology Journal 17 (2), 2013
Automatic Device Driver Synthesis
A Walker
UNSW Sydney, 2016
The system can't perform the operation now. Try again later.
Articles 1–15