Brigitte Pientka: POPLMark reloaded: mechanizing logical relations proofs (invited talk). CPP 2018: 1