Yang Hu -

Registered user since Fri 26 Feb 2021

Name:Yang Hu

Country:United States

Affiliation:University of Texas at Austin

Personal website:https://huyang-utspark.github.io/

Research interests:Software Security, Automated Reasoning, Machine Learning

Contributions

PLDI 2023	Author in Artifact Evaluation Committee within the Research Artifacts-track
ESEC/FSE 2022	Author of SymMC: Approximate Model Enumeration and Counting using Symmetry Information for Alloy Specifications within the Research Papers-track
ISSTA 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2022	Author of SapientML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions within the Technical Track-track
ESEC/FSE 2021	Author of ACHyb: A Hybrid Analysis Approach to Detect Kernel Access Control Vulnerabilities within the Research Papers-track