Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language (PMLDC 2016 - Programming Models and Languages for Distributed Computing) - ECOOP 2016

Sun 17 - Fri 22 July 2016 Rome, Italy

Who

Matteo Cimini, Jeremy G. Siek

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

Sun 17 Jul 2016 12:00 - 12:30 at Montale - Session 1: Programming Languages

Matteo Cimini

Indiana University

Jeremy G. Siek

Indiana University

United States

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

Sun 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:00 - 12:30	Session 1: Programming LanguagesPMLDC at Montale

	10:00 30m		Implicitly Distributing Pervasively Concurrent Programs PMLDC John A. Thywissen The University of Texas at Austin, Arthur Michener Peters The University of Texas at Austin, Texas, USA, William Cook UT Austin Link to publication DOI
	10:30 30m		Static Type Checking for the Kompics Component Model -- Kola - The Kompics Language PMLDC Lars Kroll KTH Royal Institute of Technology, Sweden, Jim Dowling , Seif Haridi Link to publication DOI File Attached
	11:00 30m		Towards Aggregate Programming in Scala PMLDC Roberto Casadei , Mirko Viroli , Roberto Casadei , Roberto Casadei Link to publication DOI
	11:30 30m		Building Distributed Applications with Data and Time Frames PMLDC Crista Lopes University of California, Irvine, Rohan Achar , Arthur Valadares
	12:00 30m		Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language PMLDC Matteo Cimini Indiana University, Jeremy G. Siek Indiana University