Ideas & society2011 · shared on Hacker News
Finding and Understanding Bugs in C Compilers [pdf]
Research PDF · needs verificationExplore Finding and Understanding Bugs in C Compilers [pdf], its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yluizfelberti ·
Ask HN: What's the best paper you've read in 2020?
705 points192 comments
Ysidcool ·
Writing a C Compiler, Part 1
369 points60 comments
Ygus_massa ·
The Little C Function From Hell
273 points113 comments
YChrisSD ·
Pointers Are Complicated II, or: We need better language specs
262 points133 comments
Yjanvdberg ·
The C standard formalized in Coq
231 points109 comments
Ymbrodersen ·
CompCert – Formally-verified C compiler
227 points123 comments
Ympweiher ·
Why Programming Is Hard to Fundamentally Improve (2017)
197 points172 comments
Ywglb ·
Sel4: We’re going open source
185 points62 comments
Yrcorcs ·
Show HN: My own C compiler (just for fun)
175 points50 comments
Yhebz0rl ·
Compilers in OpenBSD
171 points74 comments
Ysprucely ·
Hacker-Proof Code Confirmed
147 points97 comments
Yundecidabot ·
MLton Compiler Overview
114 points30 comments
Ymatt_d ·
Who Is Debugging the Debuggers? Exposing Debug Bugs in Optimized Binaries
98 points22 comments
Yadamnemecek ·
CompCert: A formally verified optimizing C compiler
96 points62 comments
Ynkurz ·
The compiler is always right
88 points47 comments
Yevangineer ·
CompCert - Compilers you can formally trust
32 points28 comments
Ywglb ·
Certifying Compilers Using Random Testing
12 points1 comments
Yjapaget ·
Finding and Understanding Bugs in C Compilers [pdf]
4 points0 comments