This question is almost a duplicate of a question of Christian Stump, except that Christian seems to ask about an isomorphism to irreducible representations rather than the regular representation: What does the regular representation of the coinvariant ring of a unitary reflection group look like?

If $W\subseteq GL(V)$ is a finite reflection group, then the Chevalley-Shephard-Todd theorem says that the invariant algebra $\mathbb{C}[V]^W$ is isomorphic to a polynomial algebra $\mathbb{C}[V]^W\simeq \mathbb{C}[e_1,e_2,\ldots,e_n]$ and that the coinvariant algebra $\mathbb{C}[V]^{\mathrm{co}W} := \mathbb{C}[V]/\mathbb{C}[V]^W_+$ (where $\mathbb{C}[V]^W_+$ is the set of invariant polynomials of positive degree) is isomorphic as a $W$-module to the left regular representation.

Question: can we write down some explicit basis of $\mathbb{C}[V]^{\mathrm{co}W}$ on which $W$ acts as the regular representation?

The only proofs I know of the fact that $\mathbb{C}[V]^{\mathrm{co}W}$ carries the regular representation use character computations which have a "non-constructive" flavor.

Really I am most interested just in the case of the symmetric group $W=S_n$.

Let me give a quick example of what this looks like for $W=S_2$. Then $\mathbb{C}[V] = \mathbb{C}[x_1,x_2]$ and we get $\mathbb{C}[V]^W = \mathbb{C}[x_1+x_2,x_1x_2]$ (these are the ``elementary symmetric polynomials''). (Maybe strictly speaking because $S_2$ acts on $\mathbb{R}^2/(1,1)$ I should write $\mathbb{C}[V] = \mathbb{C}[x_1,x_2]/\langle x_1+x_2 \rangle$ and $\mathbb{C}[V]^W =\mathbb{C}[x_1x_2]$ but I don't think this technicality matters.) At any rate we have that the coinvariant ring is $\mathbb{C}[V]^{\mathrm{co}W}=\mathbb{C}[x_1,x_2]/\langle x_1+x_2,x_1x_2 \rangle$. There are standard bases of the coinvariant ring for the symmetric, like the staircase monomials or the Schubert polynomials. In this case they would be $\{x_1,1\}$ (note that those bases are homogeneous). But $S_2$ does not act on that basis as in the regular representation. Instead I would want a basis like $\{x_1+1,-x_1+1\}$.