Publications

This guy hasn’t managed to get anything with his name published yet.

Projects

Edelweiss

A lightweight consensus protocol simulator that enables easy building and testing of consensus protocols. Joint work with Chujun Song. Advised by Robbert van Renesse.

Lotusroot

A fast and flexible virtual machine for smart contracts based on JVM. Joint work with Siqiu Yao.

Ironwood

A correct-by-construction blockchain protocol implementation. Advised by Greg Morrisett and Robbert van Renesse.

Wyvern

A smart contract language based on Vyper with information flow for Ethereum. Joint work with Siqiu Yao, Ethan Cecchetti. Advised by Andrew C. Myers

Talks

Consensus: Paxos
Oct 24, 2018 10:00 AM
VyperFlow: A Smart Contract Language with Information Flow
Jul 18, 2018 3:30 PM
System Lunch Paper Representation
Mar 30, 2018 12:00 PM