I will report on joint work with R. Pollack and S. Sasaki, where we prove a p-adic Gross–Zagier formula for critical slope (but non-\theta-critical) p-adic L-functions. Besides the strategy for our proof, which involves interpolation of Heegner cycles in Coleman families, I will illustrate two applications. The first is the proof of a conjecture of Perrin-Riou, which predicts an explicit (p-adic) construction of a generator of the Mordell–Weil group of an elliptic curve of analytic rank one. The second is a BSD formula for elliptic curves of analytic rank one.