Anthony Widjaja Lin

Registered user since Tue 18 Aug 2015

Name:Anthony Widjaja Lin
Country:Germany
Affiliation:TU Kaiserslautern; MPI-SWS
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