• Sign in
  • Sign up
conf.researchr.org / Taolue Chen
  • APLAS 2019 profile
  • ETAPS 2019 profile
  • ICSE 2019 profile
  • POPL 2018 profile
  • POPL 2019 profile

Registered user since Mon 5 Nov 2018

Name: Taolue Chen

Affiliation: Birkbeck, University of London

Contributions

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

Share
xThu 25 Feb 11:55
using conf.researchr.org (v1.42.1)
Support page
Sign Up