Login / Signup
Charlie Murphy
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 2
Top Topics
Perceptron Algorithm
Rapid Convergence
Convergence Theorem
Times Faster
Top Venues
MAPL@PLDI
VMCAI
</>
Publications
</>
Charlie Murphy
,
Zachary Kincaid
A Practical Algorithm for Structure Embedding.
VMCAI
(2019)
Charlie Murphy
,
Patrick Gray
,
Gordon Stewart
Verified perceptron convergence theorem.
MAPL@PLDI
(2017)