Bryan Tan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SP | 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 |
| 2023 | FMCAD | Datapath Verification via Word-Level E-Graph Rewriting. | Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides |
| 2023 | MICCAI | 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 |