3 papers
cs.SE2025
SIEVE: Towards Verifiable Certification for Code-datasets
Fatou Ndiaye Mbodji, El-hacen Diallo, Jordan Samhi +3
Code agents and empirical software engineering rely on public code datasets, yet these datasets lack verifiable quality guarantees. Static 'dataset cards' inform, but they are neit…
cs.AI2025
evalSmarT: An LLM-Based Framework for Evaluating Smart Contract Generated Comments
Fatou Ndiaye Mbodji
Smart contract comment generation has gained traction as a means to improve code comprehension and maintainability in blockchain systems. However, evaluating the quality of generat…
cs.SE2024
ContractTrace: Retracing Smart Contract Versions for Security Analyses
Fatou Ndiaye Mbodji, Vinny Adjibi, Moustapha Awwalou Diouf +4
Due to the inherent immutability of blockchain technology, smart contract updates require their deployment at new addresses rather than modifying existing ones, thus fragmenting ve…