I am a PhD graduate from UC San Diego (UCSD). My advisors are Alin Deutsch and Victor Vianu.
I am currently working on Verification of Data-driven workflows, a research direction that lies in the intersection of Database Theory, Software Model Checking and Business Process Management. Recently, I am also interested in high-level specification languages and automatic verification for smart contracts and Blockchain.
Before joining UCSD, I obtained my undergradate degree in Computer Science from Hong Kong University of Science and Technology. During my undergraduate, I was also interested in Data Mining.
Yuliang Li, “Verification of Hierarchical Data-Driven Workflows”, 2018 [link][slides]
Yuliang Li, Alin Deutsch, Victor Vianu, “SpinArt: A Spin-based Verifier for Artifact Systems”, arXiv preprint, 2017 [ArXiv][Slides]
Yuliang Li, Jianguo Wang, Benjamin Pullman, Nuno Bandeira, Yannis Papakonstantinou, “Index-based High-dimensional Cosine Threshold Querying with Optimality Guarantees”, To Appear in ICDT 2019 [Link]
Tara Astigarraga, Xiaoyan Chen, Yaoliang Chen, Jingxiao Gu, Richard Hull, Limei Jiao, Yuliang Li, and Petr Novotny, “Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts”, In ICSOC 2018 [Link]