Registered user since Mon 5 Nov 2018

Name:Taolue Chen
Country:United Kingdom
Affiliation:Birkbeck University of London

Contributions

ICSE 2023 Author of Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective within the Technical Track-track
SAS 2022 Author of CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks within the SAS-track
ESEC/FSE 2022 Author of DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks within the Research Papers-track
ASE 2022 Author of QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks within the Research Papers-track
NLBSE 2022 Committee Member in Program Committee within the NLBSE 2022-track
POPL 2022 Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track
ESEC/FSE 2021 Author of BRAID: An API Recommender Supporting Implicit User Feedback within the Demonstrations-track
APLAS 2019 Author of Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps within the Research Papers-track
ICSE 2019 Author of DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Documentation within the Demonstrations-track
TACAS 2019 Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track
POPL 2019 Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track
POPL 2018 Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track