SolType: Refinement Types for Solidity. - Bryan Tan; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig; Yu Feng 001 (CoRR, 2021)

Learning Contract Invariants Using Reinforcement Learning. - Junrui Liu; Yanju Chen; Bryan Tan; Isil Dillig; Yu Feng 001 (ASE, 2022)

SolType: refinement types for arithmetic overflow in solidity. - Bryan Tan; Benjamin Mariano; Shuvendu K. Lahiri; Isil Dillig; Yu Feng 001 (Proc. ACM Program. Lang., 2022)

Datapath Verification via Word-Level E-Graph Rewriting. - Samuel Coward; Emiliano Morini; Bryan Tan; Theo Drane; George A. Constantinides (FMCAD, 2023)

A Multitask Framework for Label Refinement and Lesion Segmentation in Clinical Brain Imaging. - Yang Yu 079; Jiahao Wang; Ashish Jith Sreejith Kumar; Bryan Tan; Navya Vanjavaka; Nurul Hafidzah Rahim; Alistair Koh; Shaheen Low; Yih Yian Sitoh; Hanry Yu; Pavitra Krishnaswamy; Ivan Ho Mien (MILLanD@MICCAI, 2023)

Certifying Zero-Knowledge Circuits with Refinement Types. - Junrui Liu; Ian Kretz; Hanzhi Liu; Bryan Tan; Jonathan Wang; Yi Sun; Luke Pearson; Anders Miltner; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)