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