Federico Mora

According to our database, Federico Mora authored at least 24 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.

Amar Shah, Federico Mora, Sanjit A. Seshia

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Message Chains for Distributed System Verification.

Federico Mora, Ankush Desai, Elizabeth Polgreen, Sanjit A. Seshia

Proc. ACM Program. Lang., October, 2023

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

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Theor. Comput. Sci., 2023

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis.

Yixuan Li, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2023

2022

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

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

MedleySolver: Online SMT Algorithm Selection.

Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning.

Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

Z3str4: A Multi-armed String Solver.

Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh

Proceedings of the Formal Methods - 24th International Symposium, 2021

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

Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Proceedings of the Combinatorics on Words - 13th International Conference, 2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Verification by Gambling on Program Slices.

Murad Akhundov, Federico Mora, Nick Feng, Vincent Hui, Marsha Chechik

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

A Length-aware Regular Expression SMT Solver.

Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh

CoRR, 2020

Synthesis in Uclid5.

Federico Mora, Kevin Cheang, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2020

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

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the Software Verification - 12th International Conference, 2020

Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.

Joseph Scott, Federico Mora, Vijay Ganesh

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Scaling Client-Specific Equivalence Checking via Impact Boundary Search.

Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2018

Client-specific equivalence checking.

Federico Mora, Yi Li, Julia Rubin, Marsha Chechik

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

StringFuzz: A Fuzzer for String Solvers.

Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2007

CSAIL at TREC 2007 Question Answering.

Boris Katz, Sue Felshin, Gregory Marton, Federico Mora, Yuan Kui Shen, Gabriel Zaccak, Ammar Ammar, Eric Eisner, Asli Turgut, Linda Brown Westrick

Proceedings of The Sixteenth Text REtrieval Conference, 2007

Harnessing Language in Mobile Environments.

Boris Katz, Gary C. Borchardt, Sue Felshin, Federico Mora

Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007

2006

Question Answering Experiments and Resources.

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

Proceedings of the Fifteenth Text REtrieval Conference, 2006

2005

External Knowledge Sources for Question Answering.

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

Proceedings of the Fourteenth Text REtrieval Conference, 2005

2004

Answering Multiple Questions on a Topic From Heterogeneous Resources.

Boris Katz, Matthew W. Bilotti, Sue Felshin, Aaron Fernandes, Wesley Hildebrandt, Roni Katzir, Jimmy Lin, Daniel Loreto, Gregory Marton, Federico Mora, Özlem Uzuner

Proceedings of the Thirteenth Text REtrieval Conference, 2004

2003

Integrating Web-based and Corpus-based Techniques for Question Answering.

Boris Katz, Jimmy Lin, Daniel Loreto, Wesley Hildebrandt, Matthew W. Bilotti, Sue Felshin, Aaron Fernandes, Gregory Marton, Federico Mora

Proceedings of The Twelfth Text REtrieval Conference, 2003