BEGIN:VCALENDAR
PRODID:-//Microsoft Corporation//Outlook MIMEDIR//EN
VERSION:1.0
BEGIN:VEVENT
DTSTART:20151119T163000Z
DTEND:20151119T170000Z
LOCATION:18AB
DESCRIPTION;ENCODING=QUOTED-PRINTABLE:ABSTRACT: There are numerous ways to express parallel programs: message-passing libraries (MPI) and multithreading and GPU language extensions such as OpenMP, Pthreads, and CUDA, are but a few.  This multitude creates a serious challenge for developers of software verification tools: it takes enormous effort to develop such tools, but each development effort typically targets one small part of the concurrency landscape, with little sharing of techniques and code among efforts.=0A=0ATo address this problem, we have developed CIVL: the Concurrency Intermediate Verification Language.  CIVL provides a general concurrency model which can represent programs in a variety of concurrency dialects, including those listed above. =0A=0AThe CIVL framework includes a tool, based on model checking and symbolic execution, that can verify the absence of deadlocks, race conditions, assertion violations, illegal pointer dereferences and arithmetic, memory leaks, divisions by zero, and out-of-bound array indexing.  It can also check that two programs are functionaly equivalent.
SUMMARY:CIVL: The Concurrency Intermediate Verification Language
PRIORITY:3
END:VEVENT
END:VCALENDAR