Seguir
Mojtaba Valizadeh
Mojtaba Valizadeh
University of Sussex
E-mail confirmado em sussex.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Search-Based Regular Expression Inference on a GPU
M Valizadeh, M Berger
Proceedings of the ACM on Programming Languages 7 (PLDI), 1317-1339, 2023
32023
LTL learning on GPUs
M Valizadeh, N Fijalkow, M Berger
arXiv preprint arXiv:2402.12373, 2024
12024
The Regular Expression Inference Challenge
M Valizadeh, PJ Gorinski, I Iacobacci, M Berger
arXiv preprint arXiv:2308.07899, 2023
12023
Program synthesis on GPUs
M Valizadeh
University of Sussex, 2024
2024
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–4