https://doit-man.github.io/tech/2023/07/13/LLVM-Undef-Poison.html 2023-07-13T00:00:00+09:00 https://doit-man.github.io/tech/2023/08/24/LLVM-Optimization-Passes.html 2023-08-24T00:00:00+09:00 https://doit-man.github.io/life/2024/04/28/ICSE2024-review.html 2024-04-28T00:00:00+09:00 https://doit-man.github.io/tech/2024/04/28/LLVM-Miscompilations.html 2024-04-28T00:00:00+09:00 https://doit-man.github.io/tech/2024/05/08/Mlir.html 2024-05-08T03:00:00+09:00 https://doit-man.github.io/tech/2024/05/13/Egraph.html 2024-05-13T03:00:00+09:00 https://doit-man.github.io/tech/2024/06/04/AEgraph.html 2024-06-04T03:00:00+09:00 https://doit-man.github.io/tech/2024/08/04/HOLLight-opt-verifying.html 2024-08-04T03:00:00+09:00 https://doit-man.github.io/tech/2024/11/16/Ocaml-LLVM-Binding.html 2024-11-16T19:45:13+09:00 https://doit-man.github.io/tech/2024/11/28/Blackswan-Technical-Writeup.html 2024-11-28T19:45:13+09:00 https://doit-man.github.io/about.html https://doit-man.github.io/contact.html https://doit-man.github.io/posts/ https://doit-man.github.io/ https://doit-man.github.io/posts/page2/ https://doit-man.github.io/assets/BugList.html 2024-11-28T13:30:17+09:00