Lei Bu

Registered user since Mon 17 May 2021

Name:Lei Bu
Affiliation:Nanjing University
Research interests:Software Verification, Testing, Analysis

Contributions

Internetware 2023 Steering Committee Member in Steering Committee
ISSTA 2023 Author of Security Checking of Trigger-Action-Programming Smart Home Integrations within the Technical Papers-track
Author of GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing within the Technical Papers-track
ICSE 2023 Author of DStream: A Streaming-Based Highly Parallel IFDS Framework within the Technical Track-track
APSEC 2022 Committee Member in Program Committee within the Technical Track-track
ASE 2022 Author of Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps within the Artifact Evaluation-track
Author of Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps within the Research Papers-track
Author of VITAS : Guided Model-based VUI Testing of VPA Apps within the Research Papers-track
VMCAI 2022 Author of Mixed Semantics Guided Layered Bounded Reachability Analysis of Compositional Linear Hybrid Automata within the VMCAI 2022-track
ISSTA 2021 Author of Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms within the Technical Papers-track
ISSTA 2020 Committee Member in Program Committee within the TAV-CPS/IoT-track
ISSTA 2019 Author of Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking within the Workshop – TAV-CPS/IoT-track