Sándor Bartha

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Object Oriented

Programming Language

Security Policies

Denotational Semantics

Top Venues

Proc. ACM Program. Lang.

CSET @ USENIX Security Symposium

Publications

Sándor Bartha, Russell Ballantine, David Aspinall
Measuring Cyber Essentials Security Policies. CSET @ USENIX Security Symposium (2024)
Sándor Bartha, James Cheney, Vaishak Belle
One Down, 699 to Go: or, synthesising compositional desugarings. CoRR (2021)
Sándor Bartha, James Cheney, Vaishak Belle
One down, 699 to go: or, synthesising compositional desugarings. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Sándor Bartha, James Cheney
Towards Meta-interpretive Learning of Programming Language Semantics. ILP (2019)
Sándor Bartha, James Cheney
Towards meta-interpretive learning of programming language semantics. CoRR (2019)