Anthony Widjaja Lin -

Registered user since Tue 18 Aug 2015

Name:Anthony Widjaja Lin

Country:Germany

Affiliation:TU Kaiserslautern; MPI-SWS

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

Research interests:Automated reasoning, program verification, program optimization

Contributions

CPP 2022	Author of CertiStr: A Certified String Solver within the CPP 2022-track
POPL 2022	Author of Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables within the POPL-track Committee Member in Program Committee within the POPL-track
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