Charlie Murphy

According to our database, Charlie Murphy authored at least 2 papers between 2017 and 2019.

Collaborative distances:

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

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