MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Relational Cost Analysis

Ezgi Çiçek
MMCI
SWS Student Defense Talks - Thesis Defense
SWS  
Public Audience
English

Date, Time and Location

Monday, 22 January 2018
16:00
60 Minutes
E1 5
029
Saarbrücken

Abstract

Programming languages research has made great progress towards

statically estimating the execution cost of a program. However, when
one is interested in how the execution costs of two programs compare
to each other (i.e., relational cost analysis), the use of unary techniques
does not work well in many cases. In order to support a relational cost
analysis, we must ultimately support reasoning about not only the
executions of a single program, but also the executions of two programs,
taking into account their similarities. This dissertation makes several
contributions to the understanding and development of such a relational
cost analysis. It shows how:
1) Refinement types and effect systems can express functional and
relational quantitative properties of pairs of programs, including the
difference in execution costs; 2) Relational cost analysis can be adapted
to reason about dynamic stability, a measure of the update times of incremental
programs as their inputs change; and 3) A sound and complete bidirectional
type system can be developed (and implemented) for relational cost analysis.

Contact

--email hidden

Video Broadcast

Yes
Kaiserslautern
G26
111
passcode not visible
logged in users only

Maria-Louise Albrecht, 01/18/2018 11:11
Maria-Louise Albrecht, 01/17/2018 12:23
Maria-Louise Albrecht, 01/16/2018 10:44 -- Created document.