Nafi Diallo

12 papers A 1C 3Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
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
2025 — conf
A Survey of Human Synergy in Influencer Marketing Through Authenticity-Preserving Content Generation Approaches.
ICCVW
Nafi Diallo, Pegah Ojaghi
2018 J jnl
Convergence: Integrating termination and abort-freedom.
J. Log. Algebraic Methods Program.
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2017 J jnl
Projecting programs on specifications: Definition and implications.
Sci. Comput. Program.
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Ali Mili
2017 J jnl
What is a fault? and why does it matter?
Innov. Syst. Softw. Eng.
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
2016 A conf
Debugging without Testing.
ICST
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
2016 — conf
Program Repair by Stepwise Correctness Enhancement.
PrePost@IFM
Nafi Diallo, Wided Ghardallou, Ali Mili
2016 C conf
Relative Correctness: A Bridge Between Proving and Testing.
VECoS
Wided Ghardallou, Ali Mili, Nafi Diallo
2016 C conf
Software Evolution by Correctness Enhancement.
SEKE
Wided Ghardallou, Nafi Diallo, Ali Mili
2015 — conf
Correctness and Relative Correctness.
ICSE (2)
Nafi Diallo, Wided Ghardallou, Ali Mili
2015 — conf
Program Derivation by Correctness Enhacements.
Refine@FM
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Ali Mili
2015 C conf
Relational Mathematics for Relative Correctness.
RAMiCS
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili