Publications Federico Mora Rocha

* denotes undergraduate research mentee

Refereed Conference Papers

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