Eddie Jones

Orcid: 0000-0003-1762-5405

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Higher-Order MSL Horn Constraints.
Proc. ACM Program. Lang., January, 2023

2022
CycleQ: an efficient basis for cyclic equational reasoning.
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.
Proc. ACM Program. Lang., 2021

2020
Intensional Datatype Refinement.
CoRR, 2020

2016
Dynamic Probabilistic Network Based Human Action Recognition.
CoRR, 2016

Code Definition Analysis for Call Graph Generation.
CoRR, 2016


  Loading...