Home
Schedule
Featured
Papers
PLDI Tracks
PLDI A
PLDI B
Colocated
Community
Sponsors
Help
#Slack
Gather
Dynamic abstract interpretation
Patrick Cousot
Appearing at SOAP: State of the Art in Program Analysis