Last week Pedro Orvalho presented our work on Fault Localization in C-Programs using MaxSAT at FM2024 in Milan. arxiv.org/abs/2407.09337

Do you work with Ansible? We want to hear from you! 🎯 This study is led by a joint team from Carnegie Mellon University and Instituto Superior Técnico Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸 Click here to participate: cmu.ca1.qualtrics.com/jfe/form/SV_5a…

🚀 Curious about GitSEED accepted SIGCSE Virtual and how it’s transforming programming education? Check out my full thread on Bluesky for all the details! 🌟 #SIGCSE #CSforALL #GitLab 🔗bsky.app/profile/pmorva…

🚀 Our #AAAI2025 paper on LLMs + Formal Methods for Program Repair is out! 🔥 Check out the full breakdown on Bluesky: 🔗 shorturl.at/f7tFL