• Sign in
  • Sign up
conf.researchr.org / Yishuai Li
  • ECOOP and ISSTA 2021 profile
  • POPL 2019 profile
  • POPL 2024 profile
Yishuai Li

Registered user since Wed 11 Oct 2023

Name:Yishuai Li
Country:China
Affiliation:Alibaba Group
Personal website: https://scholar.google.com/citations?user=-GAtTucAAAAJ
X (Twitter): https://x.com/YishuaiLi
GitHub: https://github.com/liyishuai
Research interests:Programming Languages, Formal Methods, Distributed Storage

Contributions

2024

POPL

  • Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2021

ISSTA

  • Author of Model-Based Testing of Networked Applications within the Artifact Evaluation-track
  • Author of Model-Based Testing of Networked Applications within the Technical Papers-track

ITP - External

  • Author of Verifying an HTTP Key-Value Server with Interaction Trees and VST

2019

CPP

  • Author of From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server within the CPP 2019-track
Share
xMon 19 May 08:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up