Award Recipient William Bowman The University of British Columbia Social website 2021 Amazon Research Award “Static reasoning for memory in compilers and intermediate languages”
