research
∙
08/15/2023
The Regular Expression Inference Challenge
We propose regular expression inference (REI) as a challenge for code/la...
share
research
∙
05/29/2023
Search-Based Regular Expression Inference on a GPU
Regular expression inference (REI) is a supervised machine learning and ...
research
∙
02/20/2023
A modest proposal: explicit support for foundational pluralism
Whilst mathematicians assume classical reasoning principles by default t...
research
∙
11/30/2022
ALARM: Active LeArning of Rowhammer Mitigations
Rowhammer is a serious security problem of contemporary dynamic random-a...
research
∙
11/02/2022
Cluster-Based Autoencoders for Volumetric Point Clouds
Autoencoders allow to reconstruct a given input from a small set of para...
research
∙
11/24/2021
Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks
In this paper, we analyze the security of programming languages and thei...
research
∙
01/26/2021
A program logic for fresh name generation
We present a program logic for Pitts and Stark's ν-calculus, an extensio...
research
∙
11/07/2018