Looking for recent works on STG

[Rodrigo Mesquita]

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