Federico Mora

26 papers A* 5A 1B 3Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Learning Affordances at Inference-Time for Vision-Language-Action Models.
CoRR
Ameesh Shah, William Chen, Adwait Godbole, Federico Mora, Sanjit A. Seshia, Sergey Levine
2025 A* conf
Online Prompt Selection for Program Synthesis.
AAAI
Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen
2025 J jnl
Online Prompt Selection for Program Synthesis.
CoRR
Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen
2024 A* conf
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.
AAAI
Amar Shah, Federico Mora, Sanjit A. Seshia
2024 J jnl
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.
CoRR
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
2024 A* conf
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages.
NeurIPS
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
2023 J jnl
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.
CoRR
Amar Shah, Federico Mora, Sanjit A. Seshia
2023 J jnl
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis.
CoRR
Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
2023 J jnl
Message Chains for Distributed System Verification.
Proc. ACM Program. Lang.
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
2023 J jnl
Towards more efficient methods for solving regular-expression heavy string constraints.
Theor. Comput. Sci.
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2022 J jnl
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis.
CoRR
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 — conf
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.
CAV (1)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2021 — conf
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length.
CAV (2)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2021 B conf
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.
FM
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh
2021 A conf
MedleySolver: Online SMT Algorithm Selection.
SAT
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
2021 — conf
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
WORDS
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 J jnl
String Theories involving Regular Membership Predicates: From Practice to Theory and Back.
CoRR
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
2021 B conf
Verification by Gambling on Program Slices.
ATVA
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
2021 B conf
Z3str4: A Multi-armed String Solver.
FM
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2020 J jnl
A Length-aware Regular Expression SMT Solver.
CoRR
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
2020 — conf
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.
SMT
Joseph Scott, Federico Mora, Vijay Ganesh
2020 — conf
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers.
VSTTE
Joseph Scott, Federico Mora, Vijay Ganesh
2020 A* conf
Scaling Client-Specific Equivalence Checking via Impact Boundary Search.
ASE
Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik
2020 J jnl
Synthesis in Uclid5.
CoRR
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia
2018 A* conf
Client-specific equivalence checking.
ASE
Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
2018 — conf
StringFuzz: A Fuzzer for String Solvers.
CAV (2)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh