Publications Federico Mora Rocha

* denotes undergraduate research mentee

Refereed Conference Papers

NeurIPS '24

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, J. E. Gonzalez, E. Polgreen and S. A. Seshia

AAAI '24

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes

A. Shah^*, F. Mora and S. A. Seshia

OOPSLA '23

Message Chains for Distributed System Verification

F. Mora, A. Desai, E. Polgreen and S. A. Seshia

FM '21

Z3str4: A Multi-armed String Solver

F. Mora, M. Berzish, M. Kulczynski, D. Nowotka and V. Ganesh

WORDS '21

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

M. Berzish, J. Day, V. Ganesh, M. Kulczynski, F. Manea, F. Mora and D. Nowotka

ATVA '21

Verification by Gambling on Program Slices

M. Akhundov^*, F. Mora, N. Feng, V. Hui and M. Chechik

SAT '21

MedleySolver: Online SMT Algorithm Selection

N. Pimpalkhare^*, F. Mora, E. Polgreen and S. A. Seshia

CAV '21

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

M. Berzish, M. Kulczynski, F. Mora, F. Manea, J. Day, D. Nowotka and V. Ganesh

ASE '20

Scaling Client-Specific Equivalence Checking via Impact Boundary Search

N. Feng, F. Mora, V. Hui and M. Chechik

VSTTE '20

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

J. Scott, F. Mora and V. Ganesh

ASE '18

Client-Specific Equivalence Checking

F. Mora, Y. Li, J. Rubin and M. Chechik

Refereed Journal Publications

TCS '23

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

M. Berzish, J. Day, V. Ganesh, M. Kulczynski, F. Manea, F. Mora and D. Nowotka

Refereed Short or Tool Papers

CAV '22

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

E. Polgreen, K. Cheang, P. Gaddamadugu, A. Godbole, K. Laeufer,
S. Lin, Y. Manerkar, F. Mora and S. A. Seshia

FM '21

BanditFuzz: Fuzzing SMT Solvers with Multi-Agent Reinforcement Learning

J. Scott, T. Sudula, H. Rehman, F. Mora and V. Ganesh

CAV '18

StringFuzz: A Fuzzer for String Solvers

D. Blotsky, F. Mora, M. Berzish, Y. Zheng, I. Kabir and V. Ganesh

Refereed Workshop Papers or Presentations

SYNT '23

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis

Y. Li, F. Mora, E. Polgreen and S. A. Seshia

SYNT '20

Synthesis in UCLID5

F. Mora, K. Cheang, E. Polgreen and S. A. Seshia