Folgen
Andrew T. Walter
Andrew T. Walter
PhD Student, Northeastern University, Khoury College of Computer Sciences
Bestätigte E-Mail-Adresse bei husky.neu.edu
Titel
Zitiert von
Zitiert von
Jahr
Gamification of Loop-Invariant Discovery from Code
AT Walter, B Boskin, S Cooper, P Manolios
Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 7 …, 2019
62019
ACL2s Systems Programming
AT Walter, P Manolios
arXiv preprint arXiv:2205.11704, 2022
42022
Automated grading of automata with ACL2s
A Kumar, A Walter, P Manolios
arXiv preprint arXiv:2303.05867, 2023
22023
Enumerative Data Types with Constraints
AT Walter, D Greve, P Manolios
2022 Formal Methods in Computer-Aided Design (FMCAD), 189-198, 2022
22022
A Robotic Percussive Aerophone
K Sundberg, S Barton, A Walter, T Sane, L Baker, A O'Brien
Proceedings of the 18th International Conference on New Interfaces for …, 2018
22018
A Reasoning Engine for the Gamification of Loop-Invariant Discovery
A Walter, S Cooper, P Manolios
arXiv preprint arXiv:2109.01121, 2021
12021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6