Towards Solving String Constriants With Real-world Regular Expressions
Invited talk, 2021 CCF Chinasoft, Xi'an, China
This talk explains our POPL22 work on string constraint solving. You can download the slides here
Invited talk, 2021 CCF Chinasoft, Xi'an, China
This talk explains our POPL22 work on string constraint solving. You can download the slides here