Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Relational Cost Analysis
Speaker:Ezgi Çiçek
coming from:Max Planck Institute for Software Systems
Speakers Bio:
Event Type:SWS Student Defense Talks - Thesis Defense
Visibility:SWS
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Monday, 22 January 2018
Time:16:00
Duration:60 Minutes
Location:Saarbrücken
Building:E1 5
Room:029
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
Name(s):
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:111
Meeting ID:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):

Created:
Maria-Louise Albrecht/MPI-KLSB, 01/16/2018 10:40 AM
Last modified:
Maria-Louise Albrecht/MPI-KLSB, 01/18/2018 11:11 AM
  • Maria-Louise Albrecht, 01/18/2018 11:11 AM
  • Maria-Louise Albrecht, 01/17/2018 12:23 PM
  • Maria-Louise Albrecht, 01/16/2018 10:44 AM -- Created document.