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

POPL 2022	Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables Committee Member in Program Committee within the POPL-track
CPP 2022	CertiStr: A Certified String Solver
Show activities from other conferences