Award Details
A Distinguished Paper Award at OOPSLA'23
Year: 2023
Level
international
Category
research and development
URL
Persons
Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Chocholatý David, Bc.
Lengál Ondřej, Ing., Ph.D.
Síč Juraj, Mgr.
Description
The paper "Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč. Solving String Constraints with Lengths by Stabilization." received a Distinguished Paper Award at OOPSLA'23, a flagship conference in the area of programming languages.