Anthony Widjaja Lin

Registered user since Tue 18 Aug 2015

Name: Anthony Widjaja Lin

Country: Germany

Affiliation: Technische Universit├Ąt Kaiserslautern

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

Research interests: Automated reasoning, program verification, program optimization

Contributions

APLAS 2019Session Chair of Keynote 3 (part of Keynote Talks)
Author of Word Equations with Length Constraints and Presburger Arithmetic with Divisibility within the APLAS NIER-track
PC Chair in Organizing Committee
Chair in Program Committee within the Research Papers-track
PC Chair in Organizing Committee within the Research Papers-track
Session Chair of Keynote 1 (part of Keynote Talks)
Session Chair of Keynote 2 (part of Keynote Talks)
VMCAI 2019Committee Member in Program Committee within the VMCAI 2019-track
POPL 2019Author 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
POPL 2018Author of What's Decidable About String Constraints with ReplaceAll Function? within the Research Papers-track
Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Research Papers-track
Author of String Constraints with Concatenation and Transducers Solved Efficiently within the Artifact Evaluation-track
VMCAIAuthor of Regular Symmetry Patterns within the VMCAI-track
POPL 2016Author of String Solving with Word Equations and Transducers: Decidability and Applications to Detecting Mutation XSS within the Research Papers-track
SPLASH 2015Author of Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach within the OOPSLA Artifacts-track
Author of Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach within the OOPSLA-track