Research Profile

Biography

I’m Bryan Tan, a compiler engineer currently working in the industry. I graduated from UC Santa Barbara in 2021 with a Master’s degree in Computer Science. While I was at UCSB, I worked with Prof. Yu Feng on several research projects related to program verification for domain-specific languages. I currently do not have any plans to rejoin academia, although I am still open to collaborating on research projects (subject to corporate legal approval).

My research interests include type systems, program analysis, and program verification, especially in applications to domain-specific problems. I also have side interests in compiler construction techniques, program synthesis, and functional programming.

If you have any questions, feel free to email me at bryantan (AT) technius (DOT) net.

Publications

• Bryan Tan, Benjamin Mariano, Shuvendu K. Lahiri, Isil Dillig, and Yu Feng. 2022. SolType: Refinement Types for Arithmetic Overflow in Solidity. Proc. ACM Program. Lang. 6, POPL, Article 4 (January 2022), 29 pages.
  • DOI: https://doi.org/10.1145/3498665
  • Extended version on arxiv: https://arxiv.org/abs/2110.00677
  • Evaluation artifact: https://github.com/Technius/soltype-artifact-public