Charlie Murphy

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Synthesizing Formal Semantics from Executable Interpreters.
Proc. ACM Program. Lang., 2024

Verifying Solutions to Semantics-Guided Synthesis Problems.
CoRR, 2024

Quantified Linear Arithmetic Satisfiability via Fine-Grained Strategy Improvement.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
Relational Verification of Distributed Systems via Weak Simulations
PhD thesis, 2023

2019
A Practical Algorithm for Structure Embedding.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017
Verified perceptron convergence theorem.
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017


  Loading...