Sotabase

Career

· AWS

Publications (32)

Integrating Web-based and Corpus-based Techniques for Question Answering
Text Retrieval Conference · 2003
73
cited
StringFuzz: A Fuzzer for String Solvers
International Conference on Computer Aided Verification · 2018
57
cited
Client-Specific Equivalence Checking
International Conference on Automated Software Engineering · 2018
36
cited
An SMT Solver for Regular Expressions and Linear Arithmetic over String Length
International Conference on Computer Aided Verification · 2020
32
cited
Answering Multiple Questions on a Topic From Heterogeneous Resources
Text Retrieval Conference · 2004
29
cited
Z3str4: A Multi-armed String Solver
World Congress on Formal Methods · 2021
27
cited
MedleySolver: Online SMT Algorithm Selection
International Conference on Theory and Applications of Satisfiability Testing · 2021
24
cited
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
World Congress on Formal Methods · 2021
21
cited
BanditFuzz: A Reinforcement-Learning Based Performance Fuzzer for SMT Solvers
Verified Software: Theories, Tools, Experiments · 2020
15
cited
Towards more efficient methods for solving regular-expression heavy string constraints
Theoretical Computer Science · 2022
14
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
Neural Information Processing Systems · 2024
11
cited
Message Chains for Distributed System Verification
Proc. ACM Program. Lang. · 2023
10
cited
String Theories involving Regular Membership Predicates: From Practice to Theory and Back
Words · 2021
8
cited
CSAIL at TREC 2007 Question Answering
Text Retrieval Conference · 2007
6
cited
A Natural Language Interface for Mobile Devices
2018
5
cited
A Length-aware Regular Expression SMT Solver
arXiv.org · 2020
3
cited
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
2020
3
cited
Scaling Client-Specific Equivalence Checking via Impact Boundary Search
International Conference on Automated Software Engineering · 2020
3
cited
Synthesis in Uclid5
arXiv.org · 2020
3
cited
Sotabase
Federico Mora | Researcher Profile | Sotabase | Sotabase