Federico Mora

According to our database, Federico Mora authored at least 19 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.

Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2024

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.

Amar Shah, Federico Mora, Sanjit A. Seshia

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Message Chains for Distributed System Verification.

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia

Proc. ACM Program. Lang., October, 2023

Towards more efficient methods for solving regular-expression heavy string constraints.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Theor. Comput. Sci., 2023

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis.

Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2023

2022

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

MedleySolver: Online SMT Algorithm Selection.

Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.

Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

Z3str4: A Multi-armed String Solver.

Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Proceedings of the Combinatorics on Words - 13th International Conference, 2021

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Verification by Gambling on Program Slices.

Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

A Length-aware Regular Expression SMT Solver.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

CoRR, 2020

Synthesis in Uclid5.

Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2020

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers.

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the Software Verification - 12th International Conference, 2020

Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Scaling Client-Specific Equivalence Checking via Impact Boundary Search.

Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018

Client-specific equivalence checking.

Federico Mora, Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

StringFuzz: A Fuzzer for String Solvers.

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

Proceedings of the Computer Aided Verification - 30th International Conference, 2018