StringFuzz: A Fuzzer for String Solvers. - Dmitry Blotsky; Federico Mora 002; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh 001 (CAV (2), 2018)

Client-specific equivalence checking. - Federico Mora 002; Yi Li 008; Julia Rubin; Marsha Chechik (ASE, 2018)

Scaling Client-Specific Equivalence Checking via Impact Boundary Search. - Nick Feng; Federico Mora 002; Vincent Hui; Marsha Chechik (ASE, 2020)

Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. - Joseph Scott; Federico Mora 002; Vijay Ganesh 001 (SMT, 2020)

BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. - Joseph Scott; Federico Mora 002; Vijay Ganesh 001 (VSTTE, 2020)

Synthesis in Uclid5. - Federico Mora 002; Kevin Cheang; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2020)

A Length-aware Regular Expression SMT Solver. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CoRR, 2020)

Verification by Gambling on Program Slices. - Murad Akhundov; Federico Mora 002; Nick Feng; Vincent Hui; Marsha Chechik (ATVA, 2021)

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. - Murphy Berzish; Mitja Kulczynski; Federico Mora 002; Florin Manea; Joel D. Day; Dirk Nowotka; Vijay Ganesh 001 (CAV (2), 2021)

String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (WORDS, 2021)

Z3str4: A Multi-armed String Solver. - Federico Mora 002; Murphy Berzish; Mitja Kulczynski; Dirk Nowotka; Vijay Ganesh 001 (FM, 2021)

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. - Joseph Scott; Trishal Sudula; Hammad Rehman; Federico Mora 002; Vijay Ganesh 001 (FM, 2021)

MedleySolver: Online SMT Algorithm Selection. - Nikhil Pimpalkhare; Federico Mora 002; Elizabeth Polgreen; Sanjit A. Seshia (SAT, 2021)

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 002; Sanjit A. Seshia (CAV (1), 2022)

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. - Yixuan Li 003; Federico Mora 002; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2023)

Towards more efficient methods for solving regular-expression heavy string constraints. - Murphy Berzish; Joel D. Day; Vijay Ganesh 001; Mitja Kulczynski; Florin Manea; Federico Mora 002; Dirk Nowotka (Theor. Comput. Sci., 2023)

Message Chains for Distributed System Verification. - Federico Mora 002; Ankush Desai; Elizabeth Polgreen; Sanjit A. Seshia (Proc. ACM Program. Lang., 2023)

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. - Amar Shah 002; Federico Mora 002; Sanjit A. Seshia (AAAI, 2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit Seshia (NeurIPS, 2024)

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2024)

Online Prompt Selection for Program Synthesis. - Yixuan Li 003; Lewis Frampton; Federico Mora 002; Elizabeth Polgreen (AAAI, 2025)