| 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 | 76 | 2018 |
| 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 | 43 | 2021 |
| Client-specific equivalence checking F Mora, Y Li, J Rubin, M Chechik Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 39 | 2018 |
| Z3str4: A Multi-armed String Solver F Mora, M Berzish, M Kulczynski, D Nowotka, V Ganesh International Symposium on Formal Methods, 2021 | 28 | 2021 |
| MedleySolver: Online SMT Algorithm Selection N Pimpalkhare, F Mora, E Polgreen, SA Seshia The International Conferences on Theory and Applications of Satisfiability …, 2021 | 25 | 2021 |
| 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 | 22 | 2021 |
| 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 | 21 | 2020 |
| 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 | 19 | 2023 |
| 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 | 17 | 2022 |
| 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 | 14 | 2021 |
| Synthesis in Uclid5 F Mora, K Cheang, E Polgreen, SA Seshia arXiv preprint arXiv:2007.06760, 2020 | 5 | 2020 |
| 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 | 4 | 2023 |
| 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 | 3 | 2024 |
| 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 | 3 | 2020 |
| Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages F Mora, J Wong, H Lepe, S Bhatia, K Elmaaroufi, G Varghese, ... arXiv preprint arXiv:2406.03636, 2024 | 2 | 2024 |
| Genetic algorithms for searching a matrix of metagrammars for synthesis Y Li, F Mora, E Polgreen, SA Seshia arXiv preprint arXiv:2306.00521, 2023 | 2 | 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 | 1 | 2021 |
| Online Prompt and Solver Selection for Program Synthesis Y Li, L Frampton, F Mora, E Polgreen arXiv preprint arXiv:2501.05247, 2025 | | 2025 |
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAПодтвержден адрес электронной почты в домене gatech.edu