1. Ng Zhi An. 2019. Issue 9980 Fix. https://chromium.googlesource.com/v8/v8.git/+/d9feec111268d796d46b3e48511ba11738006dc8%5E%21/#F0 Ng Zhi An. 2019. Issue 9980 Fix. https://chromium.googlesource.com/v8/v8.git/+/d9feec111268d796d46b3e48511ba11738006dc8%5E%21/#F0
2. Aurèle Barrière , Sandrine Blazy , and David Pichardie . 2020 . Towards Formally Verified Just-in-Time Compilation . In Proc. Sixth International Workshop on Coq for Programming Languages (CoqPL’20) . Aurèle Barrière, Sandrine Blazy, and David Pichardie. 2020. Towards Formally Verified Just-in-Time Compilation. In Proc. Sixth International Workshop on Coq for Programming Languages (CoqPL’20).
3. Tim Blazytko , Moritz Schlögel , Cornelius Aschermann , Ali Abbasi , Joel Frank , Simon Wörner , and Thorsten Holz . 2020 . Aurora: Statistical Crash Analysis for Automated Root Cause Explanation . In Proceedings of the 29th USENIX Security Symposium. 235–252 . Tim Blazytko, Moritz Schlögel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon Wörner, and Thorsten Holz. 2020. Aurora: Statistical Crash Analysis for Automated Root Cause Explanation. In Proceedings of the 29th USENIX Security Symposium. 235–252.
4. A new approach to debugging optimized code
5. HOLMES: Effective statistical debugging via efficient path profiling