30 citations · 97 across the 29 of their papers we have counts for
4 papers · 1 filter
Repairing Bugs in Python Assignments Using Large Language Models
Jialu Zhang, José Cambronero, Sumit Gulwani +4
Students often make mistakes on their introductory programming assignments as part of their learning process. Unfortunately, providing custom repairs for these mistakes can require…
Automated Feedback Generation for Competition-Level Code
Jialu Zhang, De Li, John C. Kolesar +2
Competitive programming has become a popular way for programmers to test their skills. Large-scale online programming contests attract millions of experienced programmers to compet…
IVeri: Privacy-Preserving Interdomain Verification
Ning Luo, Qiao Xiang, Timos Antonopoulos +3
In an interdomain network, autonomous systems (ASes) often establish peering agreements, so that one AS (agreement consumer) can influence the routing policies of the other AS (agr…
ETAP: Energy-aware Timing Analysis of Intermittent Programs
Ferhat Erata, Arda Goknil, Eren Yıldız +4
Energy harvesting battery-free embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable IoT applications. These devices execute programs whe…