Campus Event Calendar: Daniel Kroening (04/04/2013 in G26/206)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Verifying shared-variable concurrent programs

Daniel Kroening

Oxford

SWS Colloquium

AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Thursday, 4 April 2013

11:00

60 Minutes

G26

206

Kaiserslautern

Abstract

I will first outline a series of research results on verifying shared-variable concurrent programs, including techniques for predicate abstraction for such programs, and how to check the resulting concurrent Boolean programs. I will then elaborate on two recent results on supporting weak memory consistency (ESOP and CAV 2013, respectively).

Contact

Susanne Rock

0631-9303-9600

--email hidden

Video Broadcast

Video Broadcast:

Yes

To Location:

Saarbrücken

To Building:

E1 5

To Room:

029

Cisco Meeting ID:

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Susanne Rock, 04/02/2013 16:49 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis