• Consolidator (2018) — DIAPASoN: Differential Program Semantics