TPSA
Sun 11 - Sat 17 January 2026 Rennes, FranceTPSA 2026 with POPL 2026While 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 important pa ... |
Sun 19 - Sat 25 January 2025 Denver, Colorado, United StatesTPSA 2025 with POPL 2025About 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 import ... |
