Publications

Publications

Selected work.

2025
Verifying Solutions to Semantics-Guided Synthesis Problems
Charlie Murphy, Keith Johnson, Tom Reps, Loris D'Antoni.
Proceedings of the ACM on Programming Languages: PLDI. June 2025.
2024
Synthesizing Formal Semantics from Executable Interpreters
Jiangyi Liu, Keith Johnson, Charlie Murphy, Tom Reps, Loris D'Antoni.
Proceedings of the ACM on Programming Languages: OOPSLA. October 2024.
2024
QLA Satisfaction via Fine-Grained Strategy Improvement
Charlie Murphy, Zak Kincaid.
CAV'24: 36th International Conference on Computer Aided Verification. July 2024.
slides · .pptx
2019
A Practical Algorithm for the Structure Embedding Problem
Charlie Murphy, Zachary Kincaid.
VMCAI'19: 20th International Conference on Verification, Model Checking, and Abstract Interpretation. January 2019.
slides
2017
Verified Perceptron Convergence Theorem
Charlie Murphy, Patrick Gray, Gordon Stewart.
MAPL'17: 1st ACM SIGPLAN Workshop on Machine Learning and Programming Languages. June 2017.