Taolue Chen -

Registered user since Mon 5 Nov 2018

Name:Taolue Chen

Country:United Kingdom

Affiliation:University of London

Contributions

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
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
ICSE 2019	Author of DRONE: A Tool to Detect and Repair Directive Defects in Java APIs Documentation within the Demonstrations-track
POPL 2018	Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track