Undecidability of Context-Sensitive Data-Dependence Analysis

Abstract Interpretation Based Formal Methods and Future Challenge

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation

A Static Analyzer for Large Safety-Critical Software

Type Systems

Test-Case Reduction for C Compiler Bugs

Syntax-guided Program Synthesis

Accelerating search-based program synthesis using learned probabilistic models

Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting

Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search