Lei Bu -

Registered user since Mon 17 May 2021

Name:Lei Bu

Affiliation:Nanjing University

Personal website:https://cs.nju.edu.cn/bulei/

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