On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk (DLS - Dynamic Languages Symposium) - SPLASH 2014

Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

Who

Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel

Track

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Tue 21 Oct 2014 16:30 - 16:50 at Salon I - Technical paper session 4 Chair(s): Jonathan Edwards

Oscar Callaú

University of Chile

Chile

Romain Robbes

Éric Tanter

University of Chile

Chile

David Röthlisberger

Alexandre Bergel

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Tue 21 Oct
Displayed time zone: Tijuana, Baja California change

	15:30 - 17:00	Technical paper session 4DLS at Salon I Chair(s): Jonathan Edwards MIT, USA

	15:30 20m Talk		Typed Objects in JavaScript DLS Nicholas Matsakis Mozilla Corporation, Dave Herman , Dmitry Lomov
	15:50 20m Talk		Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively DLS Bastian Steinert Hasso Plattner Institute, Lauritz Thamsen , Tim Felgentreff Hasso-Plattner-Institute, Potsdam, Robert Hirschfeld HPI
	16:10 20m Talk		Dynamic Detection of Object Capability Violations Through Model Checking DLS Dustin Rhodes , Tim Disney , Cormac Flanagan UC Santa Cruz
	16:30 20m Talk		On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk DLS Oscar Callaú University of Chile, Romain Robbes , Éric Tanter University of Chile, David Röthlisberger , Alexandre Bergel