Opening and Welcome (PLDI 2015 - Research Papers) - PLDI 2015

Sat 13 - Wed 17 June 2015 Portland, Oregon, United States

Who

Steve Blackburn, David Grove

Track

PLDI 2015 Research Papers

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

Mon 15 Jun 2015 09:00 - 09:15 at PLDI Main BLUE (Portland 254-255) - Distinguished Papers Chair(s): Steve Blackburn

Steve Blackburn

Australian National University

Australia

David Grove

IBM Research

United States

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

Mon 15 Jun
Times are displayed in time zone: Tijuana, Baja California change

	09:00 - 11:00: Distinguished PapersResearch Papers at PLDI Main BLUE (Portland 254-255) Chair(s): Steve BlackburnAustralian National University

	09:00 - 09:15 Day opening		Opening and Welcome Research Papers Steve BlackburnAustralian National University , David GroveIBM Research
	09:15 - 09:40 Talk		Automatically Improving Accuracy for Floating Point Expressions Research Papers Pavel PanchekhaUniversity of Washington, Alex Sanchez-SternUniversity of Washington, James R. WilcoxUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle Media Attached
	09:40 - 10:05 Talk		Diagnosing Type Errors with Class Research Papers Danfeng ZhangCornell University, Andrew C. Myers, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research, Cambridge Media Attached
	10:05 - 10:30 Talk		Provably Correct Peephole Optimizations with Alive Research Papers Nuno P. LopesMicrosoft Research, David MenendezRutgers University, Santosh NagarakatteRutgers University, John RegehrUniversity of Utah Media Attached
	10:30 - 10:50 Talk		One Minute Madness Research Papers