Created on May 08, 2025
2025
I presented our “Pushing the Limit” paper at TACAS 2025, in Hamilton, Canada.