Practical Smart Contract Sharding with Commutativity Analysis
I am a tenured Associate Professor at National University of Singapore and Yale-NUS College. I do research in programming language design and implementation, software verification, distributed systems, program synthesis and repair. I am the recipient of the AITO Dahl-Nygaard Junior Prize 2019. I designed and co-developed Scilla, a programming language for safe smart contracts, used by Zilliqa. I organised the ICFP Programming Contest 2019.
Before moving to Singapore, I was a faculty at University College London in 2015-2018. Prior to that, I was a postdoc at IMDEA Software Institute. I hold a PhD in Computer Science from KU Leuven, and an MSc in mathematics from St Petersburg University. Before joining academia I worked as a software engineer at JetBrains.
Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | |||
10:30 10mTalk | Welcome Remarks Commute Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS, Eric Koskinen Stevens Institute of Technology | ||
10:40 30mTalk | Practical Smart Contract Sharding with Commutativity Analysis Commute Ilya Sergey National University of Singapore | ||
11:10 10mLive Q&A | Discussion Commute | ||
11:20 30mTalk | Commutativity reasoning for automated distributed coordination Commute Mohsen Lesani University of California at Riverside | ||
11:50 10mLive Q&A | Discussion Commute | ||
