Charlie Murphy

According to our database, Charlie Murphy authored at least 6 papers between 2017 and 2024.

Collaborative distances:

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

2024

Synthesizing Formal Semantics from Executable Interpreters.

Jiangyi Liu, Charlie Murphy, Anvay Grover, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

Proc. ACM Program. Lang., 2024

Verifying Solutions to Semantics-Guided Synthesis Problems.

Charlie Murphy, Keith J. C. Johnson, Thomas W. Reps, Loris D'Antoni

CoRR, 2024

Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement.

Charlie Murphy, Zachary Kincaid

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Relational Verification of Distributed Systems via Weak Simulations

Charlie Murphy

PhD thesis, 2023

2019

A Practical Algorithm for Structure Embedding.

Charlie Murphy, Zachary Kincaid

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017

Verified perceptron convergence theorem.

Charlie Murphy, Patrick Gray, Gordon Stewart

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017