Towards Meta-interpretive Learning of Programming Language Semantics. - Sándor Bartha; James Cheney (ILP, 2019)

One down, 699 to go: or, synthesising compositional desugarings. - Sándor Bartha; James Cheney; Vaishak Belle (Proc. ACM Program. Lang., 2021)

Measuring Cyber Essentials Security Policies. - Sándor Bartha; Russell Ballantine; David Aspinall 001 (CSET @ USENIX Security Symposium, 2024)