[pldi23] Compound Memory Models

This is a placeholder for the web page of the PLDI'23 paper "Compound Memory Models".