Detail ocenění
A Distinguished Paper Award at OOPSLA'23
Rok: 2023
Úroveň
mezinárodní
Kategorie
výzkum a vývoj
URL
Osoby
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.
Popis
Článek "Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč. Solving String Constraints with Lengths by Stabilization." získal ocenění Distinguished Paper na OOPSLA'23, flagship konferenci v oblasti programovacích jazyků.