TPSA
Sun 10 - Sat 16 January 2027 Mexico City, MexicoTPSA 2027 with POPL 2027While 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 program analysis systems. In particular, the rapid adoption of generative AI tools in programming workflows means that software ... |
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 ... |