Publications

Reflections on Termination of Linear Loops

This paper shows how techniques for linear dynamical systems can be used to reason about the behavior of general loops. We present two …

Shaowei Zhu, Zachary Kincaid

Termination Analysis without the Tears

Determining whether a given program terminates is the quintessential undecidable problem. Algorithms for termination analysis may be …

Shaowei Zhu, Zachary Kincaid

Enlightened Debugging

Numerous automated techniques have been proposed to reduce the cost of software debugging, a notoriously time-consuming and …

Xiangyu Li, Shaowei Zhu, Marcelo d’Amorim, Alessandro Orso