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
Granting OrganisationsSpringer-Verlag

Awarded at event

Event title20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015
LocationSuva, Fiji
Period24 Nov 2015 → 28 Nov 2015