2 papers
cs.SE2025
A Systematic Study of Time Limit Exceeded Errors in Online Programming Assignments
Jialu Zhang, Jialiang Gu, Wangmeiyu Zhang +5
Online programming platforms such as Codeforces and LeetCode attract millions of users seeking to learn to program or refine their skills for industry interviews. A major challenge…
cs.CR2025
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
John Kolesar, Shan Ali, Timos Antonopoulos +1
Zero-knowledge (ZK) protocols enable software developers to provide proofs of their programs' correctness to other parties without revealing the programs themselves. Regular expres…