In this talk, we will show how six functors formalisms (which are central to algebraic geometry) may be used to define derived motivic measures (maps from the K-theory of varieties to other spectra).  In particular, we will use this to construct a derived motivic measurement which lifts the Gillet-Soulé motivic measure.  This addresses a conjecture of Campbell-Wolfson-Zakharevich (in fact, there are potentially several derived lifts).