Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Taolue Chen
conf.researchr.org general profile
APLAS 2019 profile
ASE 2022 profile
ASE 2024 profile
ESEC/FSE 2021 profile
ESEC/FSE 2022 profile
ETAPS 2019 profile
FSE 2024 profile
ICSE 2019 profile
ICSE 2022 profile
ICSE 2023 profile
Internetware 2023 profile
POPL 2018 profile
POPL 2019 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Mon 5 Nov 2018
Name:
Taolue Chen
Country:
United Kingdom
Affiliation:
Birkbeck, University of London
Contributions
2024
ASE
Author of LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference within the Research Papers-track
ESEC/FSE
Author of Towards Efficient Verification of Constant-Time Cryptographic Implementations within the Research Papers-track
POPL
Author of EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis within the POPL-track
2023
SPLASH
Author of Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks within the OOPSLA-track
Internetware
PC Member in Program Committee within the Main Track-track
ICSE
Author of Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective within the Technical Track-track
NLBSE
Committee Member in Program Committee within the NLBSE 2023-track
2022
Static Analysis Symposium
Author of CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks within the SAS-track
ESEC/FSE
Author of DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks within the Research Papers-track
ASE
Author of QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks within the Research Papers-track
NLBSE
Committee Member in Program Committee within the NLBSE 2022-track
POPL
Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track
2021
ESEC/FSE
Author of BRAID: An API Recommender Supporting Implicit User Feedback within the Demonstrations-track
2019
APLAS
Author of Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps within the Research Papers-track
ICSE
Author of DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Documentation within the Demonstrations-track
TACAS
Author of Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks within the TACAS 2019-track
POPL
Author of Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations within the Research Papers-track
2018
POPL
Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track
Share
x
Sat 21 Dec 18:55