17 citations · 35 across the 10 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 11 cited
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…
cs.PL2016★ 2 cited
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…