Francesco Ranzato's Avatar

Francesco Ranzato

@ranzato.bsky.social

Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.

168 Followers  |  93 Following  |  1 Posts  |  Joined: 14.11.2024
Posts Following

Posts by Francesco Ranzato (@ranzato.bsky.social)

Preview
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...

popl25.sigplan.org/details/POPL...

02.01.2025 19:12 — 👍 0    🔁 0    💬 0    📌 0