Anthony Widjaja Lin

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Tue 18 Aug 2015

Name:Anthony Widjaja Lin

Country:United Kingdom

Affiliation:Oxford University

Research interests:PL, Verification, Constraint Solving, Web Programming

Contributions

VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track
POPL 2019	Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations CSS Minification via Constraint Solving
Show activities from other conferences