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 2020	Author of Parameterized Synthesis with Safety Properties within the Research Papers-track
APLAS 2019	Session 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 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
POPL 2018	Author 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
VMCAI	Author of Regular Symmetry Patterns within the VMCAI-track
POPL 2016	Author of String Solving with Word Equations and Transducers: Decidability and Applications to Detecting Mutation XSS within the Research Papers-track
SPLASH 2015	Author 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