In Lurie's "A Survey of Elliptic Cohomology", he writes on page 14 that if $A$ is an ordinary commutative ring considered as an $E\_\infty$-ring, then $A$-module spectra are the same thing as objects of the derived category of $A$-modules. This is mysterious to me. On the one hand, to an $A$-module spectrum $M$ we might associate the $A$-modules $\pi\_n(M)$, but I don't know of any interesting maps between these; perhaps this will just end up being the homology of any representative chain complex of $A$-modules. But then, I certainly don't see a natural way of getting from an object of $\mathcal{D}(\mbox{Mod}\_A)$ to an $A$-module spectrum.


Incidentally, what does this induce on the level of categories? The obvious first guess is that $A$-module spectra actually form a topological category and that passing to $\mathcal{D}(\mbox{Mod}\_A)$ applies $\pi\_0$.



If $A\in \mbox{Rings}\subset E_\infty\mbox{-rings}$, what is the equivalence between objects of $\mathcal{D}(\mbox{Mod}_A)$ and $A$-module spectra?
This question already has been answered in the comments. 


(Tilson) We regard a commutative ring as an $E\_\infty$ spectrum via the EM functor $H$. This is definitely what Jacob is doing. One could also use associative rings and $A\_\infty$ spectra for what follows.


(Wilson) Many of the correspondences between algebra and stable homotopy theory are described in Chapter 7 in Lurie's higher algebra book. 


(Muro) The correspondence between algebras/modules and the associated EM-spectra is laid out in math.uic.edu/~bshipley/zdga17.pdf (Cor 2.15) which depends on her paper with Stefan Schwede "Equivalences of monoidal model categories."


It is a bit technical, but is easier to work out the correspondence if you restrict to non-negatively graded $\mathbb{Z}$-chain complexes and connective $H\mathbb{Z}$-modules. The correspondence can be spread into two stages:
1) Use the Dold-Kan correspondence to move between chain complexes and simplicial abelian groups.
2) Take the geometric realization of your simplicial abelian group which is a topological abelian group and hence an infinite loop space, so we can take its associated connective spectrum (by repeatedly applying the bar construction). The fact that geometric realization preserves products can then be used to see that this spectrum is an $H\mathbb{Z}$-module.


Now given an $H\mathbb{Z}$-module $M$ we can form the associated simplicial abelian group $H\mathbb{Z}-mod(H\mathbb{Z}\wedge\Sigma^\infty\_+ \Delta^i, M)$ to go back. 


This equivalence induces an equivalence their associated stable infinity categories.


