Campus Event Calendar: Georg Neis (06/07/2018 in E1 5/029)

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

Compositional Compiler Correctness Via Parametric Simulations

Georg Neis

MMCI

SWS Student Defense Talks - Thesis Defense

SWS

Public Audience

English

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

Date, Time and Location

Thursday, 7 June 2018

14:00

60 Minutes

E1 5

029

Saarbrücken

Abstract

Compiler verification is essential for the construction of fully verified software, but most prior work (such as CompCert) has focused on verifying whole-program compilers. To support separate compilation and to enable linking of results from different verified compilers, it is important to develop a compositional notion of compiler correctness that is modular (preserved under linking), transitive (supports multi-pass compilation), and flexible (applicable to compilers that use different intermediate languages or employ non-standard program transformations). In this thesis, we formalize such a notion of correctness based on parametric simulations, thus developing a novel approach to compositional compiler verification.

Contact

--email hidden

Video Broadcast

Video Broadcast:

Yes

To Location:

Kaiserslautern

To Building:

G26

To Room:

111

Cisco Meeting ID:

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Maria-Louise Albrecht, 05/28/2018 14:09 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis