Bryan Tan

According to our database, Bryan Tan authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

IACR Cryptol. ePrint Arch., 2023

A Multitask Framework for Label Refinement and Lesion Segmentation in Clinical Brain Imaging.

Yang Yu, 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

Proceedings of the Medical Image Learning with Limited and Noisy Data, 2023

Datapath Verification via Word-Level E-Graph Rewriting.

Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

SolType: refinement types for arithmetic overflow in solidity.

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

Proc. ACM Program. Lang., 2022

Learning Contract Invariants Using Reinforcement Learning.

Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

SolType: Refinement Types for Solidity.

Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, Yu Feng

CoRR, 2021