Best Paper Award LPAR 2015

Prize

Description

Best paper award for the LPAR 2015 paper on "Verification of multi-threaded programs via trace abstraction refinement".
Degree of recognitionInternational
OrganisationsSpringer-Verlag

Prize

event20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015
locationSuva, Fiji
Period24 Nov 2015 → 28 Nov 2015