Comparative Analysis of Loop-Free Function Evaluation Using ChatGPT and Copilot with C Bounded Model Checking. - Faten Slama; Daniel Lemire (FLLM, 2024)

Enhancing Developer Productivity: Benchmarking LLM-Powered Tools like GitHub Copilot and TabNine in Real-Time Coding Environments. - Faten Slama; Daniel Lemire (IDS, 2025)