Nafi Diallo

According to our database, Nafi Diallo authored at least 13 papers between 2015 and 2026.

Collaborative distances:

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

2026

FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction.

Adewale Akinfaderin, Nafi Diallo

CoRR, April, 2026

2025

A Neurosymbolic Approach to Natural Language Formalization and Verification.

Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao

CoRR, November, 2025

A Survey of Human Synergy in Influencer Marketing Through Authenticity-Preserving Content Generation Approaches.

Nafi Diallo, Pegah Ojaghi

Proceedings of the IEEE/CVF International Conference on Computer Vision, ICCV 2025, 2025

2018

Convergence: Integrating termination and abort-freedom.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

J. Log. Algebraic Methods Program., 2018

2017

Projecting programs on specifications: Definition and implications.

Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili

Sci. Comput. Program., 2017

What is a fault? and why does it matter?

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili

Innov. Syst. Softw. Eng., 2017

2016

Program Repair by Stepwise Correctness Enhancement.

Nafi Diallo, Wided Ghardallou, Ali Mili

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Relative Correctness: A Bridge Between Proving and Testing.

Wided Ghardallou, Ali Mili, Nafi Diallo

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

Software Evolution by Correctness Enhancement.

Wided Ghardallou, Nafi Diallo, Ali Mili

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Debugging without Testing.

Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Program Derivation by Correctness Enhacements.

Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili

Proceedings of the Proceedings 17th International Workshop on Refinement, 2015

Correctness and Relative Correctness.

Nafi Diallo, Wided Ghardallou, Ali Mili

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Relational Mathematics for Relative Correctness.

Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015