TPSA

TPSA 2025 with POPL 2025

About While decades of research in program logics, abstract interpretation, and separation logic provide a strong foundation for automated static analysis, new challenges have arisen in recent years, spurring accelerated innovation in both the underlying theory and practical implementation of static analysis systems. One such example is the challenge of incorrectness reasoning. Bug-finding has long been an impo ...