https://haoxintu.github.io/portfolio/chinese-website/ 2020-05-20T00:00:00-07:00 https://haoxintu.github.io/portfolio/compiler-testing-journey/ 2020-05-21T00:00:00-07:00 https://haoxintu.github.io/posts/2021/06/qe-reading-list-notes/ 2021-06-09T00:00:00-07:00 https://haoxintu.github.io/posts/2024/08/thoughts-after-internship/ 2024-08-30T00:00:00-07:00 https://haoxintu.github.io/talks/QE-topic 2021-11-18T00:00:00-08:00 https://haoxintu.github.io/teaching/2014-spring-teaching-1 2014-01-01T00:00:00-08:00 https://haoxintu.github.io/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://haoxintu.github.io/ https://haoxintu.github.io/archive-layout-with-content/ https://haoxintu.github.io/categories/ https://haoxintu.github.io/collection-archive/ https://haoxintu.github.io/cv/ https://haoxintu.github.io/links/ https://haoxintu.github.io/markdown/ https://haoxintu.github.io/non-menu-page/ https://haoxintu.github.io/page-archive/ https://haoxintu.github.io/portfolio/ https://haoxintu.github.io/publications/ https://haoxintu.github.io/sitemap/ https://haoxintu.github.io/tags/ https://haoxintu.github.io/talkmap.html https://haoxintu.github.io/talks/ https://haoxintu.github.io/teaching/ https://haoxintu.github.io/terms/ https://haoxintu.github.io/year-archive/ https://haoxintu.github.io/markdown_generator/ https://haoxintu.github.io/files/1-A%20Unified%20Approach%20to%20Global%20Program%20Optimization.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/10-Mining%20specifications.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/2-The%20Program%20Dependence%20Graph%20and%20Its%20Use%20in%20Optimization.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/3-Yesterday,%20my%20program%20worked.%20Today,%20it%20does%20not.%20Why?%20.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/4-Dynamically%20Discovering%20Likely%20Program%20Invariants%20to%20Support%20Program%20Evolution.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/5-Bandera-%20extracting%20finite-state%20models%20from%20Java%20source%20code.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/6-CUTE-%20a%20concolic%20unit%20testing%20engine%20for%20C.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/7-code2vec%20Learning%20Distributed%20Representations%20of%20Code.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/8-Empirical%20evaluation%20of%20the%20tarantula%20automatic%20fault-localization%20technique.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/9-Bugs%20as%20Inconsistent%20Behavior-%20A%20General%20Approach%20to%20Inferring%20Errors%20in%20Systems%20Code.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/FastKLEE-KLEE-workshop-poster.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/FastKLEE-slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/ICSE2023DS_camera_ready.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/RemGen-slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/SymLoc-KLEE-workshop-slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/SymLoc_TSE2024_Just_Accepted.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/Xdead-ICSE-NIER-slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/ccs2023_krover.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/cv.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/dut_phd_thesis_defense_slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/dut_thesis.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/fastKLEE-KLEE-workshop-slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/fse2022-FastKLEE.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/fse2022-demo-camera-ready.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/icse2024-nier-camera-ready.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/icse23-ds-paper.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/icse23-ds-poster.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/impact_se_Andreas_Zeller.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/issre2022-camera-ready.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/jpdc-2023-pri-final.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/llm4cbi-2023-arxiv.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/paper1.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/paper2.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/paper3.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/qe-slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/smu_phd_thesis_defense_slides.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/smu_thesis.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/sp2026-cottontail.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/files/tr-2022-draft.pdf 2026-03-27T19:58:18-07:00 https://haoxintu.github.io/talkmap/map.html 2026-03-27T19:58:18-07:00