Practical Smart Contract Sharding with Ownership and Commutativity Analysis[C] PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) 2021 Pirlea, George Kumar, Amrit Sergey, Ilya