Pedro Orvalho
@pmorvalho.bsky.social
👨💻🕵️♂️ MSCA COFUND Postdoctoral Fellow @ IIIA-CSIC, Barcelona 🇪🇸
🕵️♂️ Visiting Researcher @ University of Oxford 🇬🇧
🌐 pmorvalho.github.io 🇵🇹
🕵️♂️ Visiting Researcher @ University of Oxford 🇬🇧
🌐 pmorvalho.github.io 🇵🇹
(2/4) 🔧 Our hybrid approach: MaxSAT-based fault localization + LLM-guided synthesis 🔄
1️⃣ Detect buggy code 🐞
2️⃣ Remove errors, creating a program sketch ✂️
3️⃣ Let the LLM fill in the gaps 🏗️
4️⃣ Validate fixes with a test suite ✅
1️⃣ Detect buggy code 🐞
2️⃣ Remove errors, creating a program sketch ✂️
3️⃣ Let the LLM fill in the gaps 🏗️
4️⃣ Validate fixes with a test suite ✅
February 27, 2025 at 3:04 PM
(2/4) 🔧 Our hybrid approach: MaxSAT-based fault localization + LLM-guided synthesis 🔄
1️⃣ Detect buggy code 🐞
2️⃣ Remove errors, creating a program sketch ✂️
3️⃣ Let the LLM fill in the gaps 🏗️
4️⃣ Validate fixes with a test suite ✅
1️⃣ Detect buggy code 🐞
2️⃣ Remove errors, creating a program sketch ✂️
3️⃣ Let the LLM fill in the gaps 🏗️
4️⃣ Validate fixes with a test suite ✅
🚀 LLMs + Formal Methods = Smarter Program Repair? Our paper was just accepted at AAAI 2025! 🎉
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
February 27, 2025 at 3:04 PM
🚀 LLMs + Formal Methods = Smarter Program Repair? Our paper was just accepted at AAAI 2025! 🎉
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
🔍 Formal Methods find bugs but struggle with fixes. 🤖 LLMs repair code but over-edit. What if we combined their strengths? 🧵👇
(4/5) 👩🎓💬 Results? 91.8% of students say GitSEED boosted comprehension! From submission to feedback to revision, this centralized platform made learning smoother & more engaging. 🔥
December 4, 2024 at 4:41 PM
(4/5) 👩🎓💬 Results? 91.8% of students say GitSEED boosted comprehension! From submission to feedback to revision, this centralized platform made learning smoother & more engaging. 🔥
(2/5) 📊 Dashboards are a game-changer! GitSEED tracks:
✅ Successful/failed tests
✅ Submission counts
✅ Days since start of assignments
CS students see their progress and their peers’, fostering motivation & accountability! 🚀
✅ Successful/failed tests
✅ Submission counts
✅ Days since start of assignments
CS students see their progress and their peers’, fostering motivation & accountability! 🚀
December 4, 2024 at 4:41 PM
(2/5) 📊 Dashboards are a game-changer! GitSEED tracks:
✅ Successful/failed tests
✅ Submission counts
✅ Days since start of assignments
CS students see their progress and their peers’, fostering motivation & accountability! 🚀
✅ Successful/failed tests
✅ Submission counts
✅ Days since start of assignments
CS students see their progress and their peers’, fostering motivation & accountability! 🚀
🎓⚙️ Meet GitSEED, a revolutionary tool for programming education accepted at sigcsevirtual.acm.org! Labs, projects, dashboards & personalized feedback—all on @gitlab.com. Let’s dive into how it transforms learning. 🧵👇
December 4, 2024 at 4:41 PM
🎓⚙️ Meet GitSEED, a revolutionary tool for programming education accepted at sigcsevirtual.acm.org! Labs, projects, dashboards & personalized feedback—all on @gitlab.com. Let’s dive into how it transforms learning. 🧵👇