Zachary Kincaid

Symbolic optimization with SMT solvers

Yi Li, Aws Albarghouthi, Zachary Kincaid et al. · 2014 · 119 citations

Mathematical Programming, Large-scale Global Optimization, Program Checking +21

Targeting c-FOS and DUSP1 abrogates intrinsic resistance to tyrosine-kinase inhibitor therapy in BCR-ABL-induced leukemia

Meenu Kesarwani, Zachary Kincaid, A. H. Gomaa et al. · Nature Medicine · 2017 · 101 citations · Full text

Intrinsic Resistance, Hematological Malignancy, Bcr-abl-induced Leukemia +10

Non-linear reasoning for invariant synthesis

Zachary Kincaid, John Cyphert, Jason Breck et al. · Proceedings of the ACM on Programming Languages · 2017 · 75 citations · Full text

Engineering, Invariant Synthesis, Recurrence Solvers +19

Targeting substrate-site in Jak2 kinase prevents emergence of genetic resistance

Meenu Kesarwani, Erika Huber, Zachary Kincaid et al. · Scientific Reports · 2015 · 60 citations · Full text

Compositional recurrence analysis

Azadeh Farzan, Zachary Kincaid · 2015 · 55 citations

Program Checking, Engineering, Verification +19