Andrew T. Walter

According to our database, Andrew T. Walter authored at least 7 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Proving Calculational Proofs Correct.

Andrew T. Walter, Ankit Kumar, Panagiotis Manolios

Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, 2023

Calculational Proofs in ACL2s.

Andrew T. Walter, Ankit Kumar, Panagiotis Manolios

CoRR, 2023

2022

Automated Grading of Automata with ACL2s.

Ankit Kumar, Andrew T. Walter, Panagiotis Manolios

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

ACL2s Systems Programming.

Andrew T. Walter, Panagiotis Manolios

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

Enumerative Data Types with Constraints.

Andrew T. Walter, David A. Greve, Panagiotis Manolios

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2021

A Reasoning Engine for the Gamification of Loop-Invariant Discovery.

Andrew T. Walter, Seth Cooper, Panagiotis Manolios

CoRR, 2021

2019

Gamification of Loop-Invariant Discovery from Code.

Andrew T. Walter, Benjamin Boskin, Seth Cooper, Panagiotis Manolios

Proceedings of the Seventh AAAI Conference on Human Computation and Crowdsourcing, 2019