bit late but here is the slide for a talk about MEV presented at CCS DeFi: https://tinyurl.com/mevccsdefi
tldr: what would a VCG (incentive compatible) mechanism in PBS look like, correspondence with abstract interpretation and program synthesis, preferences are types and aggregation is type inference