Room Demens - CPP 2016

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

VenueHilton St. Petersburg Bayfront

Room nameRoom Demens

Floor0

Room number

Capacity0

Additional informationThere is no additional information of this room available.

Program

Mon 18 Jan

08:30 - 10:00: Invited Talks - Invited talks 0 & 1 at Room Demens

08:30 - 09:15
Talk

Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis

Martin VechevETH Zurich

09:15 - 10:00
Talk

Invited Talk: Tracing JITs for Functional Languages

Sam Tobin-HochstadtIndiana University

10:30 - 12:00: Invited Talks - Invited talks 2 & 3 at Room Demens

10:30 - 11:15
Talk

Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs

Kathleen FisherTufts University

11:15 - 12:00
Talk

Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic

Sebastian ErdwegTU Darmstadt, Germany

14:00 - 15:30: Invited Talks - Invited talks 4 & 5 at Room Demens

14:00 - 14:45
Talk

Invited Talk: Program Synthesis: Opportunities for the next Decade

Rastislav BodikUniversity of Washington, USA

14:45 - 15:30
Talk

Invited Talk: LMS: a Perspective on Generative Programming

16:00 - 17:30: Invited Talks - Invited talks 6 & 7 at Room Demens

16:00 - 16:45
Talk

Invited Talk: Fiat: Extensible Code Generation with Proofs

Adam ChlipalaMIT

16:45 - 17:30
Talk

Invited Talk: The Promise of Relational Programming

William E. ByrdUniversity of Utah

Tue 19 Jan

09:00 - 10:00: Invited Talks - Keynote at Room Demens

09:00 - 10:00
Talk

Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation

Matthew FlattUniversity of Utah

Mon 18 Jan 2016


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room Demens							PEPM Invited Talks Invited talks 0 & 1 08:30 - 10:00																								PEPM Invited Talks Invited talks 2 & 3 10:30 - 12:00																																										PEPM Invited Talks Invited talks 4 & 5 14:00 - 15:30																								PEPM Invited Talks Invited talks 6 & 7 16:00 - 17:30

Tue 19 Jan 2016


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room Demens	PEPM Invited Talks Keynote 09:00 - 10:00																		PEPM 10:30 - 12:00																																										PEPM 14:00 - 15:30																								PEPM 16:00 - 17:40

Mon 18 Jan 2016


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room Demens							PEPM Invited Talks Invited Talk: Learning from Big Code: Probabilistic Models, Program Ana ... 08:30 - 09:15									PEPM Invited Talks Invited Talk: Tracing JITs for Functional Languages 09:15 - 10:00															PEPM Invited Talks Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs 10:30 - 11:15									PEPM Invited Talks Invited Talk: Automated Reasoning about Type Systems by Compilation to ... 11:15 - 12:00																																	PEPM Invited Talks Invited Talk: Program Synthesis: Opportunities for the next Decade 14:00 - 14:45									PEPM Invited Talks Invited Talk: LMS: a Perspective on Generative Programming 14:45 - 15:30															PEPM Invited Talks Invited Talk: Fiat: Extensible Code Generation with Proofs 16:00 - 16:45									PEPM Invited Talks Invited Talk: The Promise of Relational Programming 16:45 - 17:30

Tue 19 Jan 2016


Room	9:00			15			30			45			10:00			15			30			45
Room Demens	PEPM Invited Talks Invited Keynote: Building Languages in Racket: Syntax Objects as an Int ... 09:00 - 10:00