Eddie Jones

According to our database, Eddie Jones authored at least 6 papers between 2016 and 2023.

Collaborative distances:

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

2023

Higher-Order MSL Horn Constraints.

Jerome Jochems, Eddie Jones, Steven J. Ramsay

Proc. ACM Program. Lang., January, 2023

2022

CycleQ: an efficient basis for cyclic equational reasoning.

Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Intensional datatype refinement: with application to scalable verification of pattern-match safety.

Eddie Jones, Steven J. Ramsay

Proc. ACM Program. Lang., 2021

2020

Intensional Datatype Refinement.

Eddie Jones, Steven J. Ramsay

CoRR, 2020

2016

Dynamic Probabilistic Network Based Human Action Recognition.

Anne Veenendaal, Eddie Jones, Zhao Gang, Elliot Daly, Sumalini Vartak, Rahul Patwardhan

CoRR, 2016

Code Definition Analysis for Call Graph Generation.

Anne Veenendaal, Elliot Daly, Eddie Jones, Zhao Gang, Sumalini Vartak, Rahul S. Patwardhan

CoRR, 2016