Federico Mora
Orcid: 0000-0002-0725-9213
According to our database1,
Federico Mora
authored at least 25 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.
CoRR, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proc. ACM Program. Lang., October, 2023
Towards more efficient methods for solving regular-expression heavy string constraints.
Theor. Comput. Sci., 2023
2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
String Theories Involving Regular Membership Predicates: From Practice to Theory and Back.
Proceedings of the Combinatorics on Words - 13th International Conference, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Automated Technology for Verification and Analysis, 2021
2020
Proceedings of the Software Verification - 12th International Conference, 2020
Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT Solvers.
Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2007
Proceedings of The Sixteenth Text REtrieval Conference, 2007
Proceedings of the First IEEE International Conference on Semantic Computing (ICSC 2007), 2007
2006
Proceedings of the Fifteenth Text REtrieval Conference, 2006
2005
Proceedings of the Fourteenth Text REtrieval Conference, 2005
2004
Proceedings of the Thirteenth Text REtrieval Conference, 2004
2003
Proceedings of The Twelfth Text REtrieval Conference, 2003