conf.researchr.org / 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
2023
2022
POPL
2019
APLAS
- 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)
POPL
2018
POPL
- 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