Federico Mora - RankMe

26 papers A* 5A 1B 3Journal 11Unranked 6

Year	Rank	Type	Title / 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