Shiyi Wei -

Registered user since Thu 21 Aug 2014

Name:Shiyi Wei

Country:United States

Affiliation:University of Texas at Dallas

Personal website:http://utdallas.edu/~swei/

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