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
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: Invited talks 0 & 1PEPM Invited Talks at Room Demens
08:30 - 09:15
Talk
Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis
PEPM Invited Talks
I: Martin VechevETH Zurich
09:15 - 10:00
Talk
Invited Talk: Tracing JITs for Functional Languages
PEPM Invited Talks
I: Sam Tobin-HochstadtIndiana University
10:30 - 12:00: Invited talks 2 & 3PEPM Invited Talks at Room Demens
10:30 - 11:15
Talk
Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs
PEPM Invited Talks
I: Kathleen FisherTufts University
11:15 - 12:00
Talk
Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic
PEPM Invited Talks
I: Sebastian ErdwegTU Darmstadt, Germany
14:00 - 15:30: Invited talks 4 & 5PEPM Invited Talks at Room Demens
14:00 - 14:45
Talk
Invited Talk: Program Synthesis: Opportunities for the next Decade
PEPM Invited Talks
I: Rastislav BodikUniversity of Washington, USA
14:45 - 15:30
Talk
Invited Talk: LMS: a Perspective on Generative Programming
PEPM Invited Talks
I: Nada AminEPFL
16:00 - 17:30: Invited talks 6 & 7PEPM Invited Talks at Room Demens
16:00 - 16:45
Talk
Invited Talk: Fiat: Extensible Code Generation with Proofs
PEPM Invited Talks
16:45 - 17:30
Talk
Invited Talk: The Promise of Relational Programming
PEPM Invited Talks
I: William E. ByrdUniversity of Utah

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room Demens