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 | 6 | 2019 |
ACL2s Systems Programming AT Walter, P Manolios arXiv preprint arXiv:2205.11704, 2022 | 4 | 2022 |
Automated grading of automata with ACL2s A Kumar, A Walter, P Manolios arXiv preprint arXiv:2303.05867, 2023 | 2 | 2023 |
Enumerative Data Types with Constraints AT Walter, D Greve, P Manolios 2022 Formal Methods in Computer-Aided Design (FMCAD), 189-198, 2022 | 2 | 2022 |
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 | 2 | 2018 |
A Reasoning Engine for the Gamification of Loop-Invariant Discovery A Walter, S Cooper, P Manolios arXiv preprint arXiv:2109.01121, 2021 | 1 | 2021 |