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
Displayed time zone: Tijuana, Baja California change

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

	09:00 15m Day opening		Opening and Welcome Research Papers Steve Blackburn Australian National University , David Grove IBM Research
	09:15 25m Talk		Automatically Improving Accuracy for Floating Point Expressions Research Papers Pavel Panchekha University of Washington, Alex Sanchez-Stern University of Washington, James R. Wilcox University of Washington, Zachary Tatlock University of Washington, Seattle Media Attached
	09:40 25m Talk		Diagnosing Type Errors with Class Research Papers Danfeng Zhang Cornell University, Andrew C. Myers , Dimitrios Vytiniotis Microsoft Research, Cambridge, Simon Peyton Jones Microsoft Research, Cambridge Media Attached
	10:05 25m Talk		Provably Correct Peephole Optimizations with Alive Research Papers Nuno P. Lopes Microsoft Research, David Menendez Rutgers University, Santosh Nagarakatte Rutgers University, John Regehr University of Utah Pre-print Media Attached
	10:30 20m Talk		One Minute Madness Research Papers