17 citations · 35 across the 10 of their papers we have counts for
10 papers
Correct and Optimal: the Regular Expression Inference Challenge
Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci +1
We propose regular expression inference (REI) as a challenge for code/language modelling, and the wider machine learning community. REI is a supervised machine learning (ML) and pr…
Search-Based Regular Expression Inference on a GPU
Mojtaba Valizadeh, Martin Berger
Regular expression inference (REI) is a supervised machine learning and program synthesis problem that takes a cost metric for regular expressions, and positive and negative exampl…
A modest proposal: explicit support for foundational pluralism
Martin Berger, Dominic P. Mulligan
Whilst mathematicians assume classical reasoning principles by default they often context switch when working, restricting themselves to various forms of subclassical reasoning. Th…
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
Amir Naseredini, Stefan Gast, Martin Schwarzl +5
In this paper, we analyze the security of programming languages and their execution environments (compilers and interpreters) with respect to Spectre attacks. The analysis shows th…
Abstract Operator Systems over the Cone of Positive Semidefinite Matrices
Martin Berger, Tim Netzer
There are several important abstract operator systems with the convex cone of positive semidefinite matrices at the first level. Well-known are the operator systems of separable ma…
A program logic for fresh name generation
Harold Pancho Eliott, Martin Berger
We present a program logic for Pitts and Stark's ν-calculus, an extension of the call-by-value simply-typed λ-calculus with a mechanism for the generation of fresh names. Names can…
Modelling homogeneous generative meta-programming
Martin Berger, Laurence Tratt, Christian Urban
Homogeneous generative meta-programming (HGMP) enables the generation of program fragments at compile-time or run-time. We present the first foundational calculus which can model p…
Cathoristic logic: A modal logic of incompatible propositions
Richard Prideaux Evans, Martin Berger
Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of th…
Program Logics for Homogeneous Generative Run-Time Meta-Programming
Martin Berger, Laurence Tratt
This paper provides the first program logic for homogeneous generative run-time meta-programming---using a variant of MiniML by Davies and Pfenning as its underlying meta-programmi…
Logical Reasoning for Higher-Order Functions with Local State
Nobuko Yoshida, Kohei Honda, Martin Berger
We introduce an extension of Hoare logic for call-by-value higher-order functions with ML-like local reference generation. Local references may be generated dynamically and exporte…