Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SolType: Refinement Types for Solidity.

B. Tan, B. Mariano, S. Lahiri, I. Dillig, and Y. Feng. CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Agnes Bryan

Corinna Susanne Bryan

Amanda Cordelia Bryant-Friedrich

Doreen Bryant

Bryan Hudson

Other publications of authors with the same name

SolType: refinement types for arithmetic overflow in solidity.B. Tan, B. Mariano, S. Lahiri, I. Dillig, and Y. Feng. Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)A Multitask Framework for Label Refinement and Lesion Segmentation in Clinical Brain Imaging.Y. Yu, J. Wang, A. Kumar, B. Tan, N. Vanjavaka, N. Rahim, A. Koh, S. Low, Y. Sitoh, H. Yu and 2 other author(s). MILLanD@MICCAI, volume 14307 of Lecture Notes in Computer Science, page 60-70. Springer, (2023)SolType: Refinement Types for Solidity.B. Tan, B. Mariano, S. Lahiri, I. Dillig, and Y. Feng. CoRR, (2021)Certifying Zero-Knowledge Circuits with Refinement Types.J. Liu, I. Kretz, H. Liu, B. Tan, J. Wang, Y. Sun, L. Pearson, A. Miltner, I. Dillig, and Y. Feng. IACR Cryptol. ePrint Arch., (2023)Datapath Verification via Word-Level E-Graph Rewriting.S. Coward, E. Morini, B. Tan, T. Drane, and G. Constantinides. FMCAD, page 92-100. IEEE, (2023)Learning Contract Invariants Using Reinforcement Learning.J. Liu, Y. Chen, B. Tan, I. Dillig, and Y. Feng. ASE, page 63:1-63:11. ACM, (2022)Development and implementation of nationwide predictive model for admission prevention: System architecture & machine learning.W. Ta, H. Goh, C. Tan, Y. Sun, K. Aung, Z. Teoh, K. Tan, Z. Lau, J. Abisheganaden, K. Lee and 9 other author(s). BHI, page 303-306. IEEE, (2018)Forecasting upper respiratory tract infection burden using high-dimensional time series data and forecast combinations.J. Lim, K. Tan, J. Abisheganaden, and B. Dickens. PLoS Comput. Biol., (February 2023)Estimating costs and benefits of stroke management: A population-based simulation model.S. Bayer, K. Eom, N. Sivapragasam, D. Silva, G. Koh, H. Koh, K. Tan, J. Ansah, and D. Matchar. J. Oper. Res. Soc., 72 (9): 2122-2134 (2021)Spatially Correlated Patterns in Adversarial Images.N. Chattopadhyay, L. Zhi, B. Xing, and A. Chattopadhyay. CoRR, (2020)

BibSonomy

Disambiguation of "Tan, Bryan"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SolType: Refinement Types for Solidity.

Please choose a person to relate this publication to

Agnes Bryan

Corinna Susanne Bryan

Amanda Cordelia Bryant-Friedrich

Doreen Bryant

Bryan Hudson

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Tan, Bryan"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML SolType: Refinement Types for Solidity.

Please choose a person to relate this publication to

Agnes Bryan

Corinna Susanne Bryan

Amanda Cordelia Bryant-Friedrich

Doreen Bryant

Bryan Hudson

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SolType: Refinement Types for Solidity.