16 citations · 49 across the 16 of their papers we have counts for
9 papers · 1 filter
Flexible graph matching and graph edit distance using answer set programming
Sheung Chi Chan, James Cheney
The graph isomorphism, subgraph isomorphism, and graph edit distance problems are combinatorial problems with many applications. Heuristic exact and approximate algorithms for each…
A Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Simon Fowler +1
The RPC calculus is a simple semantic foundation for multi-tier programming languages such as Links in which located functions can be written for the client-server model. Subsequen…
ProvMark: A Provenance Expressiveness Benchmarking System
Sheung Chi Chan, James Cheney, Pramod Bhatotia +5
System level provenance is of widespread interest for applications such as security enforcement and information protection. However, testing the correctness or completeness of prov…
Towards meta-interpretive learning of programming language semantics
Sándor Bartha, James Cheney
We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplif…
Verified Self-Explaining Computation
Jan Stolarek, James Cheney
Common programming tools, like compilers, debuggers, and IDEs, crucially rely on the ability to analyse program code to reason about its behaviour and properties. There has been a…
A baseline for unsupervised advanced persistent threat detection in system-level provenance
Ghita Berrada, Sidahmed Benabderrahmane, James Cheney +4
Advanced persistent threats (APT) are stealthy, sophisticated, and unpredictable cyberattacks that can steal intellectual property, damage critical infrastructure, or cause million…