Post #1750
538
https://dl.acm.org/doi/epdf/10.1145/2544173.2509546 Carbin, Misailovic, Rinard, [2013] "Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware"
- 🔥 3
- Sep 14, 2026Tracking Redexes in the Lambda Calculus Jean-Jacques Lévy Residuals of redexes keep track…
- Sep 10, 2026Reference counting as a computational interpretation of linear logic Jawahar Chirimar, Car…
- Sep 6, 2026После лекции про System T меня расспрашивали про доказательства непротиворечивости и теоре…
- Aug 13, 2026Low-Level Software Security for Compiler Developers https://llsoftsec.github.io/llsoftsecb…
- Aug 1, 2026People in the know say it's a daily-worth material, https://youtu.be/FTmmG3Dx8HA
- Jun 20, 2026Intrinsically Correct Algorithms and Recursive Coalgebras Cass Alexandru, Henning Urbat, T…