See various things of Toen, Lurie and others.
Etale K-theory of ring spectra
Not sure if this belongs here: Derived de Rham cohomology
I think someone (at IHES?) studied Chow groups and DAG.
nLab page on E60 Cohomology in derived algebraic geometry