Pedro Orvalho

[Pedro Orvalho @pmorvalho]

@A_d_d_a_Lemos @OutSystems That’s sounds great, I’d be happy to present it!

[Pedro Orvalho @pmorvalho]

🚀 Our #AAAI2025 paper on LLMs + Formal Methods for Program Repair is out!

🔥 Check out the full breakdown on Bluesky:

🔗 https://t.co/YW20dxXYne

[Pedro Orvalho @pmorvalho]

🚀 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

🔗https://t.co/3xA69VnTYG

[Carolina Carreira @ccarolcarreira]

Do you work with Ansible? We want to hear from you! 🎯 This study is led by a joint team from @CarnegieMellon and @istecnico
Plus, if you agree to an interview, you'll be entered into a $100 raffle! 💸
Click here to participate: https://t.co/hT0ztiAAeI

[Mikolas Janota 🇵🇹🇨🇿 @JanotaMikolas]

Last week Pedro Orvalho presented our work on Fault Localization in C-Programs using MaxSAT at FM2024 in Milan. https://t.co/h17RFRsW8B