Adam Walker
Adam Walker
NICTA/UNSW
Verified email at nicta.com.au
Title
Cited by
Cited by
Year
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
372014
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
252017
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
202010
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
192016
Predicate abstraction for reactive synthesis
A Walker, L Ryzhyk
2014 Formal Methods in Computer-Aided Design (FMCAD), 219-226, 2014
192014
Solving games without controllable predecessor
N Narodytska, A Legg, F Bacchus, L Ryzhyk, A Walker
International Conference on Computer Aided Verification, 533-540, 2014
162014
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
152016
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
112009
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
92014
Developing a practical reactive synthesis tool: experience and lessons learned
L Ryzhyk, A Walker
arXiv preprint arXiv:1611.07624, 2016
52016
DeVIce DrIVer SynTheSIS
M Vij, J Keys, A Raghunath, S Hahn, V Zimmer, L Ryzhyk
Intel® Technology Journal 17 (2), 2013
22013
Automatic Device Driver Synthesis.
A Walker
University of New South Wales, Sydney, Australia, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–12