思想与社会2011 · 分享于 Hacker News
Finding and Understanding Bugs in C Compilers [pdf]
研究 PDF · 待核实探索《Finding and Understanding Bugs in C Compilers [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Yluizfelberti ·
Ask HN: What's the best paper you've read in 2020?
705 赞同192 评论
Ysidcool ·
Writing a C Compiler, Part 1
369 赞同60 评论
Ygus_massa ·
The Little C Function From Hell
273 赞同113 评论
YChrisSD ·
Pointers Are Complicated II, or: We need better language specs
262 赞同133 评论
Yjanvdberg ·
The C standard formalized in Coq
231 赞同109 评论
Ymbrodersen ·
CompCert – Formally-verified C compiler
227 赞同123 评论
Ympweiher ·
Why Programming Is Hard to Fundamentally Improve (2017)
197 赞同172 评论
Ywglb ·
Sel4: We’re going open source
185 赞同62 评论
Yrcorcs ·
Show HN: My own C compiler (just for fun)
175 赞同50 评论
Yhebz0rl ·
Compilers in OpenBSD
171 赞同74 评论
Ysprucely ·
Hacker-Proof Code Confirmed
147 赞同97 评论
Yundecidabot ·
MLton Compiler Overview
114 赞同30 评论
Ymatt_d ·
Who Is Debugging the Debuggers? Exposing Debug Bugs in Optimized Binaries
98 赞同22 评论
Yadamnemecek ·
CompCert: A formally verified optimizing C compiler
96 赞同62 评论
Ynkurz ·
The compiler is always right
88 赞同47 评论
Yevangineer ·
CompCert - Compilers you can formally trust
32 赞同28 评论
Ywglb ·
Certifying Compilers Using Random Testing
12 赞同1 评论
Yjapaget ·
Finding and Understanding Bugs in C Compilers [pdf]
4 赞同0 评论