Search Results for author:
Found 7 papers, 2 papers with code
The Regular Expression Inference Challenge
We propose \emph{regular expression inference (REI)} as a challenge for code/language modelling, and the wider machine learning community.
Search-Based Regular Expression Inference on a GPU
Our main algorithmic idea is to implement the search space of regular expressions succinctly as a contiguous matrix of bitvectors.
ALARM: Active LeArning of Rowhammer Mitigations
Rowhammer is a serious security problem of contemporary dynamic random-access memory (DRAM) where reads or writes of bits can flip other bits.
Cluster-Based Autoencoders for Volumetric Point Clouds
Autoencoders allow to reconstruct a given input from a small set of parameters.
A program logic for fresh name generation
We present a program logic for Pitts and Stark's {\nu}-calculus, an extension of the call-by-value simply-typed {\lambda}-calculus with a mechanism for the generation of fresh names.
Logic in Computer Science Programming Languages 68N17 (primary), 68Q60 (secondary) F.3; F.4
Deep Neural Networks for ECG-free Cardiac Phase and End-Diastolic Frame Detection on Coronary Angiographies
Detection of the end-diastolic frame (EDF) and, in general, cardiac phase detection on each temporal frame of a coronary angiography acquisition is of significant importance for the anatomical and non-invasive functional assessment of CAD.
