The homology of an infinite loop space, which represents a spectrum, is an algebra over the DyerLashof algebra (see for example CohenLadaMay's Springer volume, or for part of the story the more accessible Luminy notes of BissonJoyal). Has anyone used this to construct a spectral sequence converging under some assumptions to $[X,Y]$, the homotopy classes of infiniteloopmaps between $X$ and $Y$, which starts with some kind of derived (Ext/Tor) maps between their homology in the category of algebras over the DyerLashof algebra? Have any calculations been done with such a spectral sequence?

This might not quite be what you're looking for, Dev, but you should check out Paul Goerss and Mike Hopkins' "Multiplicative ring spectra project," on Paul's webpage. They construct such a spectral sequence using AndreQuillen cohomology in "Moduli spaces of commutative ring spectra," and "AndreQuillen (co)homology for simplicial algebras over simplicial operads." A relevant theorem would be 4.3 in the first reference, which gives the spectral sequence. Though this doesn't use DyerLashof operations, they appear in section 6 (especially Prop 6.4) where Goerss and Hopkins give a second spectral sequence which computes the $E_2$ term of the original spectral sequence. The new $E_2$ term is given in terms of an $Ext$ functor in the category of unstable modules over the DyerLashof algebra. They use this machinery to show in section 7 that the space of $E_\infty$ maps between LubinTate spectra is homotopically discrete. If you're looking for computations using these spectral sequences, that's a great place to start. 


I'm not sure if this is what you want, but Haynes Miller constructs a spectral sequence computing the homology of a connective spectrum $E$ from the homology of $E_0$ as a Hopf algebra over the DyerLashof algebra in the 1978 Pacific Journal of Mathematics paper "A spectral sequence for the homology of an infinite delooping." 

