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…