Travelled to:1 × India
1 × Italy
1 × Japan
1 × Russia
1 × United Kingdom
2 × France
2 × USA
Collaborated with:A.Farzan A.Podelski J.Breck T.W.Reps A.Albarghouthi J.Cyphert J.Silverman S.Chaudhuri S.Gulwani J.Berdine B.Cook M.Ito L.Kari S.Seki Ashkan Forouhi Boroujeni M.Heizmann J.Hoenicke Y.Li A.Gurfinkel M.Chechik
Talks about:program (5) analysi (5) synthesi (3) parallel (2) composit (2) unbound (2) concurr (2) static (2) reason (2) linear (2)
Person: Zachary Kincaid
DBLP: Kincaid:Zachary
Contributed to:
2015
2015
20152014
201320132012
2010
20082019
201720182019Wrote 18 papers:
- ESOP-2015-AlbarghouthiBCK
- Spatial Interpolants (AA, JB, BC, ZK), pp. 634–660.
- LATA-2015-FarzanHHKP #automation #verification
- Automated Program Verification (AF, MH, JH, ZK, AP), pp. 25–46.
- POPL-2015-FarzanKP #bound #parallel #proving
- Proof Spaces for Unbounded Parallelism (AF, ZK, AP), pp. 407–420.
- POPL-2014-ChaudhuriFK #analysis #consistency #source code
- Consistency analysis of decision-making programs (SC, AF, ZK), pp. 555–568.
- POPL-2014-FarzanKP #proving
- Proofs that count (AF, ZK, AP), pp. 151–164.
- POPL-2014-LiAKGC #optimisation #smt
- Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
- CAV-2013-AlbarghouthiGK #recursion #synthesis
- Recursive Program Synthesis (AA, SG, ZK), pp. 934–950.
- CAV-2013-FarzanK #bound #named #parallel #static analysis
- Duet: Static Analysis for Unbounded Parallelism (AF, ZK), pp. 191–196.
- POPL-2013-FarzanKP #data flow #graph #induction
- Inductive data flow graphs (AF, ZK, AP), pp. 129–142.
- POPL-2012-FarzanK #composition #concurrent #reasoning #source code #verification
- Verification of parameterized concurrent programs by modular reasoning about data and control (AF, ZK), pp. 297–308.
- SAS-2010-FarzanK #analysis #composition #concurrent #source code
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.
- DLT-2008-ItoKKS #sequence
- Duplication in DNA Sequences (MI, LK, ZK, SS), pp. 419–430.
- CAV-2019-SilvermanK #summary
- Loop Summarization with Rational Vector Addition Systems (JS, ZK), pp. 97–115.
- PLDI-2017-KincaidBBR #analysis #composition #revisited
- Compositional recurrence analysis revisited (ZK, JB, AFB, TWR), pp. 248–262.
- POPL-2018-FarzanK #game studies #linear #synthesis
- Strategy synthesis for linear arithmetic games (AF, ZK), p. 30.
- POPL-2018-KincaidCBR #invariant #reasoning #synthesis
- Non-linear reasoning for invariant synthesis (ZK, JC, JB, TWR), p. 33.
- POPL-2019-CyphertBKR #refinement #static analysis
- Refinement of path expressions for static analysis (JC, JB, ZK, TWR), p. 29.
- POPL-2019-KincaidBCR
- Closed forms for numerical loops (ZK, JB, JC, TWR), p. 29.