Smarter Contract Upgrades with Orthogonal Persistence. - Luc Bläser; Claudio Russo; Gabor Greif; Ryan Vandersmith; Jason Ibrahim (VMIL@SPLASH, 2024)