The Best of Abstract Interpretations (POPL 2025 - POPL Research Papers) - POPL 2025
Welcome to the website of the 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025). POPL 2025 will take place in Denver, Colorado.
See the Call For Paper for detailed informa...