Anthony Widjaja Lin

Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal

Registered user since Tue 18 Aug 2015

Name: Anthony Widjaja Lin

Country: United Kingdom

Affiliation: Oxford University

Personal website: https://anthonywlin.github.io/

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

Contributions

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

Using general profile