Nicholas Shoemaker

According to our database, Nicholas Shoemaker authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

2023

Formal XAI via Syntax-Guided Synthesis.

Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2020

Towards checkpoint placement for dynamic memory allocation in intermittent computing.

Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020