Follow
Federico Mora Rocha
Title
Cited by
Cited by
Year
Stringfuzz: A fuzzer for string solvers
D Blotsky, F Mora, M Berzish, Y Zheng, I Kabir, V Ganesh
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
652018
An SMT solver for regular expressions and linear arithmetic over string length
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
International Conference on Computer Aided Verification, 289-312, 2021
342021
Client-specific equivalence checking
F Mora, Y Li, J Rubin, M Chechik
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
312018
Z3str4: A Multi-armed String Solver
F Mora, M Berzish, M Kulczynski, D Nowotka, V Ganesh
International Symposium on Formal Methods, 2021
232021
MedleySolver: Online SMT Algorithm Selection
N Pimpalkhare, F Mora, E Polgreen, SA Seshia
The International Conferences on Theory and Applications of Satisfiability …, 2021
202021
Banditfuzz: A reinforcement-learning based performance fuzzer for smt solvers
J Scott, F Mora, V Ganesh
Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020
182020
BanditFuzz: Fuzzing SMT Solvers with Multi-Agent Reinforcement Learning
J Scott, T Sudula, H Rehman, F Mora, V Ganesh
International Symposium on Formal Methods, 2021
152021
Towards more efficient methods for solving regular-expression heavy string constraints
M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ...
Theoretical Computer Science 943, 50-72, 2023
102023
UCLID5: multi-modal formal modeling, verification, and synthesis
E Polgreen, K Cheang, P Gaddamadugu, A Godbole, K Laeufer, S Lin, ...
International Conference on Computer Aided Verification, 538-551, 2022
102022
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back
M Berzish, JD Day, V Ganesh, M Kulczynski, F Manea, F Mora, ...
LNCS 12847 Combinatorics on Words, 50, 2021
92021
Synthesis in Uclid5
F Mora, K Cheang, E Polgreen, SA Seshia
arXiv preprint arXiv:2007.06760, 2020
52020
Scaling client-specific equivalence checking via impact boundary search
N Feng, F Mora, V Hui, M Chechik
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
42020
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
A Shah, F Mora, SA Seshia
Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8099-8107, 2024
2024
Message Chains for Distributed System Verification
F Mora, A Desai, E Polgreen, SA Seshia
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 2224-2250, 2023
2023
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis
Y Li, F Mora, E Polgreen, SA Seshia
arXiv preprint arXiv:2306.00521, 2023
2023
Verification by Gambling on Program Slices
M Akhundov, F Mora, N Feng, V Hui, M Chechik
Automated Technology for Verification and Analysis: 19th International …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–16