I am a 6th year Computer Science PhD stduent in
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 The Hong Kong University of Science and Technology. During my undergraduate, I was also interested in Data Mining.
I was an intern in
Google Research during 2013 Summer and in Microsoft Research during 2014 Summer.
I was an intern in IBM Thomas J. Watson Research Center during 2017 Summer.
Yuliang Li, Alin Deutsch, Victor Vianu, “A Spin-based Verifier for Artifact Systems”, arXiv preprint, 2017 [ArXiv] [Slides]
Yuliang Li, Alin Deutsch, Victor Vianu, “VERIFAS: A Practical Verifier for Artifact Systems”, In VLDB 2018 [Link] [ArXiv] [Slides] [Code]
Yuliang Li, “Practical Verification of Hierarchical Artifact Systems,” In VLDB PhD Workshop 2017 [Link] [Slides]. Alin Deutsch,
Yuliang Li, Victor Vianu, “Verification of Hierarchical Artifact Systems,” In PODS 2016 [Link] [ArXiv] [Slides]
Qiong Fang, Wilfred Ng, Jianlin Feng,
Yuliang Li, “Mining Order-Preserving SubMatrices from
Probabilistic Matrices,” ACM Transactions on Database Systems (TODS), volume 39, issue 1, Jan. 2014 [Link] Qiong Fang, Wilfred Ng, Jianlin Feng,
Yuliang Li, “Mining Bucket Order-Preserving SubMatrices in Gene Expression Data,” IEEE Transactions on Knowledge and Data Engineering (TKDE), vol. 24 no. 12, Dec. 2012 [Link]
UC San Diego ACM-ICPC graduate student coach, 2013 - Now
Teaching Assistant of CSE 205A, Logic in Computer Science, 2017 Spring
Teaching Assistant of CSE 233, Database Theory, 2016 Spring
Teaching Assistant of CSE 132A, Database System Principles, 2014 Spring
Selected Awards from Programming Contests
May 2012, ACM/ICPC World Finals (Warsaw, Poland), The 36th Place
November 2011, ACM/ICPC Asia Regional Contest, Fukuoka Site, The Fourth Place
November 2011, ACM/ICPC Asia Regional Contest, Phuket Site, The Third Place
June 2011, ACM Hong Kong Chapter Local Contest, The First Place
May 2011, ACM/ICPC World Finals (Orlando, US), Honourable Mention
December 2010, ACM/ICPC Asia Regional Contest, Kuala Lumpur Site, The Third Place
November 2010, ACM/ICPC Asia Regional Contest, Hanoi Site, The Third Place
September 2010, HKUST Programming Contest, The First Place
November 2009, ACM/ICPC Asia Regional Contest, Seoul Site, The Third Place
SIGMOD 2016 Travel Award
UCSD Jacobs PhD Fellowship (2012 - 2015)
The HKUST Academic Achievement Medal