  Let $\Omega \subset \mathbb{R}^{n+1}$, $n\geq 1$, be an open set with
$s$-Ahlfors regular boundary $\partial \Omega$, for some $s \in(0,n]$, such
that either $s=n$ and $\Omega$ is a corkscrew domain with the pointwise John
condition, or $s<n$ and $\Omega= \mathbb{R}^{n+1} \setminus E$, for some
$s$-Ahlfors regular set $E \subset \mathbb{R}^{n+1}$. In this paper we provide
a unifying method to construct Varopoulos' type extensions of $BMO$ and $L^p$
boundary functions. In particular, we show that a) if $ f \in BMO(\partial
\Omega)$, there exists $ F\in C^\infty(\Omega)$ such that $dist(x,
\Omega^c)|\nabla F(x)|$ is uniformly bounded in $\Omega$ and the Carleson
functional of $dist(x,\Omega^c)^{s-n}|\nabla F(x)|$ as well the sharp
non-tangential maximal function of $ F$ are uniformly bounded on $\partial
\Omega$ with norms controlled by the $BMO$-norm of $ f$, and $ F \to f$ in a
certain non-tangential sense $\mathcal H^s|_{\partial \Omega}$-almost
everywhere; b) if $\bar f \in L^p(\partial \Omega)$, $1 <p \leq \infty$, there
exists $\bar F \in C^\infty(\Omega)$ such that the non-tangential maximal
functions of $\bar F$ and $dist(\cdot, \Omega^c)|\nabla \bar F|$ as well as the
Carleson functional of $dist(\cdot,\Omega^c)^{s-n}|\nabla \bar F|$ are in
$L^p(\partial \Omega)$ with norms controlled by the $L^p$-norm of $\bar f$, and
$\bar F \to \bar f$ in some non-tangential sense $\mathcal H^s|_{\partial
\Omega}$-almost everywhere. If, in addition, the boundary function is Lipschitz
with compact support, then both $F$ and $\bar F$ can be constructed so that
they are also Lipschitz on $\bar\Omega$ and converge to the boundary data
continuously. The latter results hold without the additional assumption of the
pointwise John condition. Finally, we give some applications of the constructed
extensions in the connection between Poisson problems and BVPs.
