Home
Schedule
Featured
Papers
PLDI Tracks
PLDI A
PLDI B
Colocated
Community
Sponsors
Help
#Slack
Gather
Compositional checking of safety temporal properties
Radu Grigore
Appearing at Infer Practitioners