• Sign in
  • Sign up
conf.researchr.org / Kaiyuan Wang
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ESEC/FSE 2018 profile
  • ETAPS 2019 profile
  • ICSE 2019 profile
  • ISSTA 2017 profile
  • SPLASH 2021 profile
Kaiyuan Wang

Registered user since Sun 18 Dec 2016

Name:Kaiyuan Wang
Country:United States
Affiliation:Google, Inc.
Personal website: https://kaiyuanw.github.io/
Research interests:Software Engineering, Machine Learning

Contributions

2021

SPLASH

  • Author of A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) within the SIGPLAN Papers-track

2019

ASE

  • Session Chair of AI and SE (part of Papers)
  • Committee Member in Program Committee within the Research Papers-track

ICSE

  • Author of Symbolic Execution for Attribution and Attack Synthesis in Neural Networks within the Posters-track
  • Author of ARepair: A Repair Framework for Alloy within the Demonstrations-track

TACAS

  • Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track

2018

ESEC/FSE

  • Author of ASketch: A Sketching Framework for Alloy within the Demonstrations-track
  • Author of SketchFix: A Tool for Automated Program Repair Approach Using Lazy Candidate Generation within the Demonstrations-track

JPF

  • Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track

ICSE

  • Author of MuAlloy: A Mutation Testing Framework for Alloy within the DEMO - Demonstrations -track
  • Author of Towards Refactoring-Aware Regression Test Selection within the Technical Papers -track
  • Author of Towards Practical Program Repair with On-Demand Candidate Generation within the Technical Papers -track

2017

ISSTA

  • Committee Member in Artifact Evaluation Committee within the Artifacts-track
Share
xTue 3 Oct 02:15
using conf.researchr.org (v1.61.3)
Support page
Sign Up