Federico Mora

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 22

Top Topics

Pattern Matching

Theoretical Perspectives

Regular Expressions

Top Venues

Publications

Amar Shah, Federico Mora, Sanjit A. Seshia
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. AAAI (2024)
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. CoRR (2024)
Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia
Message Chains for Distributed System Verification. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis. CoRR (2023)
Amar Shah, Federico Mora, Sanjit A. Seshia
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes. CoRR (2023)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
Towards more efficient methods for solving regular-expression heavy string constraints. Theor. Comput. Sci. 943 (2023)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR (2022)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) (2022)
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
Z3str4: A Multi-armed String Solver. FM (2021)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back. WORDS (2021)
Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik
Verification by Gambling on Program Slices. ATVA (2021)
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia
MedleySolver: Online SMT Algorithm Selection. SAT (2021)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length. CAV (2) (2021)
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning. FM (2021)
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
String Theories involving Regular Membership Predicates: From Practice to Theory and Back. CoRR (2021)
Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia
Synthesis in Uclid5. CoRR (2020)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
A Length-aware Regular Expression SMT Solver. CoRR (2020)
Joseph Scott, Federico Mora, Vijay Ganesh
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers. VSTTE (2020)
Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. ASE (2020)
Joseph Scott, Federico Mora, Vijay Ganesh
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers. SMT (2020)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
StringFuzz: A Fuzzer for String Solvers. CAV (2) (2018)
Federico Mora, Yi Li, Julia Rubin, Marsha Chechik
Client-specific equivalence checking. ASE (2018)
Boris Katz, Gary C. Borchardt, Sue Felshin, Federico Mora
Harnessing Language in Mobile Environments. ICSC (2007)
Boris Katz, Sue Felshin, Gregory Marton, Federico Mora, Yuan Kui Shen, Gabriel Zaccak, Ammar Ammar, Eric Eisner, Asli Turgut, Linda Brown Westrick
CSAIL at TREC 2007 Question Answering. TREC (2007)
Boris Katz, Gregory Marton, Sue Felshin, Daniel Loreto, Ben Lu, Federico Mora, Özlem Uzuner, Michael McGraw-Herdeg, Natalie Cheung, Alexey Radul, Yuan Kui Shen, Yuan Luo, Gabriel Zaccak
Question Answering Experiments and Resources. TREC (2006)
Boris Katz, Gregory Marton, Gary C. Borchardt, Alexis Brownell, Sue Felshin, Daniel Loreto, Jesse Louis-Rosenberg, Ben Lu, Federico Mora, Stephan Stiller, Özlem Uzuner, Angela Wilcox
External Knowledge Sources for Question Answering. TREC (2005)
Boris Katz, Matthew W. Bilotti, Sue Felshin, Aaron Fernandes, Wesley Hildebrandt, Roni Katzir, Jimmy Lin, Daniel Loreto, Gregory Marton, Federico Mora, Özlem Uzuner
Answering Multiple Questions on a Topic From Heterogeneous Resources. TREC (2004)
Boris Katz, Jimmy Lin, Daniel Loreto, Wesley Hildebrandt, Matthew W. Bilotti, Sue Felshin, Aaron Fernandes, Gregory Marton, Federico Mora
Integrating Web-based and Corpus-based Techniques for Question Answering. TREC (2003)