Anthony Widjaja Lin

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

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