Hacker News new | past | comments | ask | show | jobs | submit login
Model Checking Futexes (ic.ac.uk)
1 point by matt_d on March 14, 2023 | hide | past | favorite | 1 comment



PDF: https://www.doc.ic.ac.uk/~afd/homepages/papers/pdfs/2023/SPI...




Join us for AI Startup School this June 16-17 in San Francisco!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: