Federico Mora
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Online Prompt Selection for Program Synthesis. | Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen |
| 2024 | AAAI | An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. | Amar Shah, Federico Mora, Sanjit A. Seshia |
| 2022 | CAV | 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 |
| 2021 | ATVA | Verification by Gambling on Program Slices. | Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik |
| 2021 | CAV | 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 |
| 2021 | FM | Z3str4: A Multi-armed String Solver. | Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh |
| 2021 | FM | BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. | Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh |
| 2021 | SAT | MedleySolver: Online SMT Algorithm Selection. | Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia |
| 2018 | CAV | StringFuzz: A Fuzzer for String Solvers. | Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh |