Eddie Jones

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Action Recognition

Refinement Process

Spatio Temporal Interest Points

Motion History Images

Top Venues

Proc. ACM Program. Lang.

Publications

Jerome Jochems, Eddie Jones, Steven J. Ramsay
Higher-Order MSL Horn Constraints. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jerome Jochems, Eddie Jones, Steven J. Ramsay
Higher-Order MSL Horn Constraints. CoRR (2022)
Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay
CycleQ: an efficient basis for cyclic equational reasoning. PLDI (2022)
Eddie Jones, Steven J. Ramsay
Intensional datatype refinement: with application to scalable verification of pattern-match safety. Proc. ACM Program. Lang. 5 (POPL) (2021)
Eddie Jones, C.-H. Luke Ong, Steven J. Ramsay
CycleQ: An Efficient Basis for Cyclic Equational Reasoning. CoRR (2021)
Eddie Jones, Steven J. Ramsay
Intensional Datatype Refinement. CoRR (2020)
Anne Veenendaal, Elliot Daly, Eddie Jones, Zhao Gang, Sumalini Vartak, Rahul S. Patwardhan
Code Definition Analysis for Call Graph Generation. CoRR (2016)
Anne Veenendaal, Eddie Jones, Zhao Gang, Elliot Daly, Sumalini Vartak, Rahul Patwardhan
Dynamic Probabilistic Network Based Human Action Recognition. CoRR (2016)