Looking for recent works on STG

Dear all, Do you know of any recent works on the STG? In particular, I am looking for a result connecting STG's execution and Core’s call-by-need semantics when written in structural operational semantics style. Nonetheless, I’m also interested in possibly more recent formulations of STG (e.g. a mechanized one?) beyond the original paper. Cheers Rodrigo Mesquita