2 papers
cs.CR2026
Where Do Smart Contract Security Analyzers Fall Short?
Tamer Abdelaziz, Salma Alsaghir, Karim Ali
Smart contracts underpin high-value ecosystems such as decentralized finance (DeFi), yet recurring vulnerabilities continue to cause losses worth billions of dollars. Although nume…
cs.PL2025
Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
Felipe Bañados Schwerter, Ronald Garcia, Reid Holmes +1
A gradual type system allows developers to declare certain types to be enforced by the compiler (i.e., statically typed), while leaving other types to be enforced via runtime check…