John Regehr personal blog
The Future of Compiler Optimization
Hello, My name is Nadav and I am a PhD candidate, researching compilers for embedded systems and high-level synthesis. This is an excellent post and I enjoyed reading it. I have a few comments. 1. I agree about verification and optimization joining forces. We already see it to some extent with compiler warnings. 2…
- Points
- 80
- HN comments
- 35
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringProgramming Languages2010
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 19, 2010 | The Future of Compiler Optimization by dochtman | 80 | 35 |
