Campus Event Calendar: Zilong Wang (10/11/2012 in G26/204)

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

Provenance Verification

Zilong Wang

Max Planck Institute for Software Systems

SWS Student Defense Talks - Qualifying Exam

Public Audience

English

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

Date, Time and Location

Thursday, 11 October 2012

14:00

60 Minutes

G26

204

Kaiserslautern

Abstract

We study the problem of provenance tracking in concurrent programs. The provenance verification problem is to statically decide, given a message passing program and a set of allowed provenances, whether the provenance of all messages in all possible program executions, belongs to the allowed set. We formalize the provenance verification problem and show a general decidability result for it.

Contact

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Carina Schmitt, 02/14/2013 16:44
Maria-Louise Maggio, 02/14/2013 09:55 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis