https://ytsao.github.io/blog/ PhD research blog covering topics in program analysis and verification en-us Wed, 12 Feb 2025 00:00:00 GMT https://ytsao.github.io/blog/constraint-solving-smt.html https://ytsao.github.io/blog/constraint-solving-smt.html Wed, 12 Feb 2025 00:00:00 GMT Constraint Solving Discover how SMT solvers extend SAT with reasoning about theories like linear arithmetic. https://ytsao.github.io/blog/constraint-solving-sat.html https://ytsao.github.io/blog/constraint-solving-sat.html Wed, 05 Feb 2025 00:00:00 GMT Constraint Solving Learn about SAT solving algorithms and their applications in software verification. https://ytsao.github.io/blog/neural-network-verification.html https://ytsao.github.io/blog/neural-network-verification.html Sun, 15 Jan 2025 00:00:00 GMT Neural Networks A comprehensive introduction to the fundamentals of neural network verification. https://ytsao.github.io/blog/abstract-interpretation-lattices.html https://ytsao.github.io/blog/abstract-interpretation-lattices.html Fri, 25 Jan 2025 00:00:00 GMT Abstract Interpretation Understanding lattice structures and how they form the mathematical foundation of abstract interpretation. https://ytsao.github.io/blog/abstract-interpretation-intro.html https://ytsao.github.io/blog/abstract-interpretation-intro.html Sun, 20 Jan 2025 00:00:00 GMT Abstract Interpretation Learn the foundational concepts of abstract interpretation and why it's crucial for program analysis.