2 papers
cs.PL2026
VeGo: Direct Deductive Formal Verification of Go Programs for Computer Science Education
Tina Massoudi, Chris Dutchyn
As formal methods are rapidly becoming accessible and practical due to AI coding agents, priority passes to assisting developers and students in generating specifications. Leveragi…
cs.SE2020
Profiling Developers Through the Lens of Technical Debt
Zadia Codabux, Christopher Dutchyn
Context: Technical Debt needs to be managed to avoid disastrous consequences, and investigating developers' habits concerning technical debt management is invaluable information in…