Adam Walker
Adam Walker
Verified email at
Cited by
Cited by
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
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
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 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
Solving games without controllable predecessor
N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker
International Conference on Computer Aided Verification, 533-540, 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
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
Developing a practical reactive synthesis tool: experience and lessons learned
L Ryzhyk, A Walker
arXiv preprint arXiv:1611.07624, 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, ...
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
University of New South Wales, Sydney, Australia, 2016
The system can't perform the operation now. Try again later.
Articles 1–13