/2020/01/20/ethereum-usage-graphs/ 2020-01-20T00:00:00+00:00 /404/ /bio/ /blog/ / /tagged/ /teaching/ /cv.pdf 2025-04-14T07:27:28+00:00 /files/2021-cs3243-tutorial-1.pdf 2025-04-14T07:27:28+00:00 /files/2021-cs3243-tutorial-2.pdf 2025-04-14T07:27:28+00:00 /files/2021-cs3243-tutorial-3.pdf 2025-04-14T07:27:28+00:00 /files/2021-cs3243-tutorial-4.pdf 2025-04-14T07:27:28+00:00 /files/2021-cs3243-tutorial-5.pdf 2025-04-14T07:27:28+00:00 /files/phd-app-rec-summary.pdf 2025-04-14T07:27:28+00:00 /files/phd-app-resume.pdf 2025-04-14T07:27:28+00:00 /files/phd-app-statement.pdf 2025-04-14T07:27:28+00:00 /papers/arboreta-cpp24.pdf 2025-04-14T07:27:28+00:00 /papers/bythos-ccs24.pdf 2025-04-14T07:27:28+00:00 /papers/certisuslik-icfp21.pdf 2025-04-14T07:27:28+00:00 /papers/cosplit-pldi21.pdf 2025-04-14T07:27:28+00:00 /papers/force-iclp25.pdf 2025-12-05T18:18:34+00:00 /papers/leanssr-draft.pdf 2025-04-14T07:27:28+00:00 /papers/loom-popl26.pdf 2025-12-05T18:18:34+00:00 /papers/mallory-ccs23.pdf 2025-04-14T07:27:28+00:00 /papers/nus-qe.pdf 2025-04-14T07:27:28+00:00 /papers/toychain-cpp18.pdf 2025-04-14T07:27:28+00:00 /papers/toychain-thesis.pdf 2025-04-14T07:27:28+00:00 /papers/veil-cav25.pdf 2025-07-11T09:18:08+00:00 /papers/veil-dafny26.pdf 2025-12-02T02:23:14+00:00 /papers/velvet-dafny26.pdf 2025-12-02T02:23:14+00:00 /talks/PSYNC.pdf 2025-04-14T07:27:28+00:00 /talks/mbc.pdf 2025-04-14T07:27:28+00:00 /talks/pinning.pdf 2025-04-14T07:27:28+00:00 /talks/pretend-synchrony.pdf 2025-04-14T07:27:28+00:00 /talks/sc-sharding.pdf 2025-04-14T07:27:28+00:00 /talks/toychain.pdf 2025-04-14T07:27:28+00:00 /talks/veil-cav25.pdf 2025-08-04T04:59:13+00:00 /talks/verifying-coco.pdf 2025-04-14T07:27:28+00:00