In this note/sketch, I derive among others a closed-form formula for an up and in put (UIP) in stochastic volatility models of the form $$ dS(t) = \sigma(t) S(t) \left[ \rho dW(t) + \sqrt{1-\rho^2} dZ \right],\\ d\sigma(t) = a(\sigma(t)) dt + b(\sigma(t)) dW(t) $$ where $dW(t)dZ(t) = 0$.
I argue that the price of an UIP with barrier $B \geq S(t), K$ is $$ UIP(t) = E_t \left[ \frac{K}{BM_{t,T}} C^{BS} \left(S(t)M_{t,T}, \frac{B^2M^2_{t,T}}{K},\sqrt{1-\rho^2} \, \sigma_{t,T} \right) \right] $$ with $C^{BS}(\cdots)$ denoting the Black-Scholes price, and $$ \sigma_{t,T} = \left( \frac{1}{T-t} \int_t^T \sigma^2(u) \, du \right)^{\frac12}, \\ M_{t,T} = \exp\left\{ -\frac{\rho^2}{2} \int_t^T \sigma^2(u) \, du + \rho \int_t^T \sigma(u) dW(u)\right\}. $$
The advantage of such a Hull and White type closed-form formula is that the dimensionality of the pricing problem is reduced by one.
I've been going through various papers on barrier options pricing and have not come across the above closed-form expression yet for SV models with nonzero correlation. Have I missed a paper where this (or something similar) has been discussed?