Shiyi Wei

Registered user since Thu 21 Aug 2014

Name:Shiyi Wei
Country:United States
Affiliation:University of Texas at Dallas
Research interests:Program analysis, software security

Contributions

ESEC/FSE 2023 Committee Member in Program Committee within the Research Papers-track
ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
Author of DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization within the Technical Papers-track
ICSE 2023 Author of An Empirical Study of Data Constraint Implementations in Java within the Journal-First Papers-track
Author of ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis within the Technical Track-track
Program Committee Member in Technical Track within the Technical Track-track
Author of [Artifact] ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis within the Artifact Evaluation-track
ASE 2022 Committee Member in Program Committee within the Artifact Evaluation-track
Author of Static Data-Flow Analysis for Software Product Lines in C within the Journal-first Papers-track
ICSE 2022 Committee Member in Program Committee within the DEMO - Demonstrations-track
Author of SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C within the Technical Track-track
Session Chair of Dynamic Analysis (part of DEMO - Demonstrations)
Author of Retrieving Data Constraint Implementations Using Fine-Grained Code Patterns within the Technical Track-track
ICST 2022 Committee Member in Program Committee within the Research Papers-track
ASE 2021 Author of SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools within the Research Papers-track
Author of SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools within the Artifact Evaluation-track
ISSTA 2021 Author of The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android within the Artifact Evaluation-track
Author of The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android within the Technical Papers-track
Session Chair of Session 20 (time band 1) Analysis (part of Technical Papers)
ESEC/FSE 2020 Committee Member in Program Committee within the Research Papers-track
ISSTA 2020 Committee Member in Program Committee within the Tool Demonstration-track
ICSE 2019 Author of Conditional Compilation is Dead, Long Live Conditional Compilation! within the New Ideas and Emerging Results-track
ESEC/FSE 2018 Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee within the Demonstrations-track
SPLASH 2018 Panelist in Speakers within the PLMW-track
Panelist of Panel of Recent Ph.Ds within the PLMW-track
PLDI 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track
PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee
SPLASH 2015 Committee Member in Program Committee within the OOPSLA Artifacts-track
ECOOP 2015 Author of Adaptive Context-sensitive Analysis for JavaScript within the Research Track-track
Committee Member in Program Committee within the Doctoral Symposium-track
SPLASH 2014 Presenter of Taming the Dynamic Behavior of JavaScript within the Posters-track
SPLASH 2012 Author of Blended analysis for JavaScript: a practical framework to analyze dynamic features within the ACM Student Research Competition-track