Anthony Widjaja Lin

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

POPL 2018 What's Decidable About String Constraints with ReplaceAll Function?
String Constraints with Concatenation and Transducers Solved Efficiently
String Constraints with Concatenation and Transducers Solved Efficiently
Show activities from other conferences

POPL 2018-profile
View general profile