Static Latency Tracking with Placement Types (FTfJP 2018) - ECOOP and ISSTA 2018

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

Who

Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi

Track

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 16 Jul 2018 16:50 - 17:15 at Hanoi - Session 3

Abstract

Large-scale distributed applications, e.g., in geodistributed data centers, pose a performance challenge to developers which need to take high cross-data-center latency communication cost into account. We present a preliminary investigation of a type system that tracks latency and makes the cost of remote calls explicit, raising developers’ awareness of communication overhead.

Link to Preprint

https://polybox.ethz.ch/index.php/s/WS2azdQmxkea3nc/download

Pascal Weisenburger

Technische Universität Darmstadt

Germany

Tobias Reinhard

Technische Universität Darmstadt

Guido Salvaneschi

TU Darmstadt

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 16 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	16:00 - 18:15	Session 3FTfJP at Hanoi

	16:00 25m Short-paper		Reasoning about Functional Programming in Java and C++ FTfJP David Cok CEA, LIST, Software Safety and Security Laboratory Pre-print
	16:25 25m Short-paper		A Formalism for Specification of Java API Interfaces FTfJP Davide Ancona University of Genova, Francesco Dagnino DIBRIS, University of Genova, Italy, Luca Franceschini DIBRIS, University of Genova Pre-print
	16:50 25m Short-paper		Static Latency Tracking with Placement Types FTfJP Pascal Weisenburger Technische Universität Darmstadt, Tobias Reinhard Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt Pre-print
	17:15 30m Demonstration		Tool demonstration: The VerCors Verification Toolset FTfJP Wytse Oortwijn University of Twente, The Netherlands Pre-print
	17:45 30m Full-paper		An Exercise in Verifying Sequential Programs with VerCors FTfJP Sebastiaan Joosten , Wytse Oortwijn University of Twente, The Netherlands, Mohsen Safari University of Twente, The Netherlands, Marieke Huisman University of Twente Pre-print