VenueThe Fess Parker, Santa Barbara, CA
Room nameGrand Ballroom Santa Ynez
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Tue 14 Jun

PLMW-PLDI-2016
08:30 - 10:00: PLMW@PLDI 2016 - Welcome and Keynote at Grand Ballroom Santa Ynez
PLMW-PLDI-201608:30 - 08:45
Day opening
PLMW-PLDI-201608:45 - 09:15
Talk
Kathryn S McKinleyMicrosoft Research
Media Attached
PLMW-PLDI-201609:15 - 10:00
Talk
Matthias FelleisenNortheastern University
Media Attached
PLMW-PLDI-2016
12:45 - 13:30: PLMW@PLDI 2016 - Mentoring at Grand Ballroom Santa Ynez
PLMW-PLDI-201612:45 - 13:30
Social Event
PLMW-PLDI-2016
13:30 - 15:00: PLMW@PLDI 2016 - Professional Development at Grand Ballroom Santa Ynez
PLMW-PLDI-201613:30 - 13:45
Talk
Matthew MightUniversity of Utah, USA
Media Attached
PLMW-PLDI-201613:45 - 14:00
Talk
Jason MarsUniversity of Michigan
Media Attached
PLMW-PLDI-201614:00 - 14:15
Talk
Mary HallUniversity of Utah
Media Attached
PLMW-PLDI-201614:15 - 15:00
Other
Mary HallUniversity of Utah, John DavisPure Storage Inc, Shan Shan HuangLogicblox, Milind KulkarniPurdue University
Media Attached
PLMW-PLDI-2016
15:30 - 17:00: PLMW@PLDI 2016 - Technical Talks at Grand Ballroom Santa Ynez
PLMW-PLDI-201615:30 - 15:55
Talk
Media Attached
PLMW-PLDI-201615:55 - 16:20
Talk
Lingjia TangUniversity of Michigan
Media Attached
PLMW-PLDI-201616:20 - 16:45
Talk
James BornholtUniversity of Washington
Media Attached
PLMW-PLDI-2016
17:00 - 17:45: PLMW@PLDI 2016 - Panel at Grand Ballroom Santa Ynez
PLMW-PLDI-201617:00 - 17:45
Other
Ben WiedermannHarvey Mudd College, Sam BlackshearFacebook, Alvin CheungUniversity of Washington, Ravi ChughUniversity of Chicago, Cindy Rubio-GonzalezUniversity of California, Davis, Jean YangCarnegie Mellon University
Media Attached

Wed 15 Jun

pldi-2016-papers
10:30 - 12:00: Research Papers - Down to the Metal I at Grand Ballroom Santa Ynez
Chair(s): Stephen McCamantUniversity of Minnesota
pldi-2016-papers10:30 - 11:00
Talk
Kayvan MemarianUniversity of Cambridge, Justus MatthiesenUniversity of Cambridge, James LingardUniversity of Cambridge (when this work was done), Kyndylan NienhuisUniversity of Cambridge, David ChisnallUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
Link to publication Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Buddhika Chamith, Bo Joel SvenssonIndiana University, Luke DalessandroIndiana University, Ryan R. NewtonIndiana University
Pre-print Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Matt NoonanGrammaTech, Inc, Alexey LoginovGrammaTech, Inc, David CokGrammaTech, Inc
Pre-print Media Attached
pldi-2016-papers
13:30 - 15:00: Research Papers - Testing & Debugging at Grand Ballroom Santa Ynez
Chair(s): Benjamin ZornMicrosoft Research
pldi-2016-papers13:30 - 14:00
Talk
Yuting ChenShanghai Jiao Tong University, Ting SuEast China Normal University, Chengnian SunUniversity of California at Davis, USA, Zhendong SuUniversity of California, Davis, Jianjun ZhaoShanghai Jiao Tong University
Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Tyler SorensenUniversity College London, Alastair DonaldsonImperial College London
Pre-print Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Maarten FaddegonUniversity of Kent, UK, Olaf ChitilUniversity of Kent, UK
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - New Languages at Grand Ballroom Santa Ynez
Chair(s): Michael CarbinMIT
pldi-2016-papers15:30 - 16:00
Talk
Sara AchourMassachusetts Institute of Technology, USA, Rahul SarpeshkarMIT, Martin RinardMassachusetts Institute of Technology, USA
Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Magnus MadsenUniversity of Waterloo, Ming-Ho YeeUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Media Attached
pldi-2016-papers16:30 - 17:00
Talk
Leonard TruongUC Berkeley / Intel Labs, Rajkishore BarikIntel Labs, Ehsan TotoniIntel Labs, Hai LiuIntel Labs, Chick MarkleyUC Berkeley, Armando FoxUC Berkeley, Tatiana ShpeismanIntel Labs
Media Attached
pldi-2016-invitedspeakers
17:00 - 18:00: Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom Santa Ynez
pldi-2016-invitedspeakers17:00 - 18:00
Meeting

Thu 16 Jun

pldi-2016-papers
10:30 - 12:00: Research Papers - Down to the Metal II at Grand Ballroom Santa Ynez
Chair(s): Hans-J. BoehmGoogle
pldi-2016-papers10:30 - 11:00
Talk
Stefan HeuleStanford University, Eric SchkufzaVMware Research Group, Rahul SharmaStanford University, Alex AikenStanford University
DOI Pre-print Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Ariel EizenbergUniversity of Pennsylvania, Shiliang HuIntel Corporation, Gilles PokamIntel Corporation, Joseph DeviettiUniversity of Pennsylvania
Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Yaniv DavidTechnion, Nimrod PartushTechnion, Eran YahavTechnion
Media Attached
pldi-2016-papers
13:30 - 15:00: Research Papers - Synthesis I at Grand Ballroom Santa Ynez
Chair(s): Eran YahavTechnion
pldi-2016-papers13:30 - 14:00
Talk
Calvin SmithUniversity of Wisconsin - Madison, Aws AlbarghouthiUniversity of Wisconsin–Madison
Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Ravi ChughUniversity of Chicago, Brian HempelUniversity of Chicago, Mitchell SpradlinUniversity of Chicago, Jacob AlbersUniversity of Chicago
Pre-print Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Calvin LoncaricUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - Verifying Systems at Grand Ballroom Santa Ynez
Chair(s): Santosh NagarakatteRutgers University
pldi-2016-papers15:30 - 16:00
Talk
Rian ShambaughUniversity of Massachusetts Amherst, Aaron WeissUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst
Pre-print Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Hao ChenYale University, Xiongnan (Newman) WuYale University, Zhong ShaoYale University, Joshua LockermanYale University, Ronghui GuYale University
Pre-print Media Attached
pldi-2016-papers16:30 - 17:00
Talk
Eric MullenUniversity of Washington, Daryl ZunigaUniversity of Washington, Zachary TatlockUniversity of Washington, Dan GrossmanUniversity of Washington, USA
Pre-print Media Attached
pldi-2016-papers
17:00 - 18:00: Research Papers - Synthesis II at Grand Ballroom Santa Ynez
Chair(s): Martin VechevETH Zurich
pldi-2016-papers17:00 - 17:30
Talk
Navid YaghmazadehUniversity of Texas, Austin, Christian KlingerUniversity of Texas, Austin, Isil DilligUniversity of Texas, Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2016-papers17:30 - 18:00
Talk
Nadia PolikarpovaMIT CSAIL, USA, Ivan KurajMIT CSAIL, USA, Armando Solar-LezamaMIT
Media Attached

Fri 17 Jun

pldi-2016-invitedspeakers
08:45 - 09:00: Invited Speakers - SRC Awards, PLDI’17 Introduction at Grand Ballroom Santa Ynez
Chair(s): Ben HardekopfUC Santa Barbara, Albert CohenINRIA
pldi-2016-papers
09:00 - 10:00: Research Papers - Memory Management at Grand Ballroom Santa Ynez
Chair(s): Sam GuyerTufts University
pldi-2016-papers09:00 - 09:30
Talk
Media Attached
pldi-2016-papers09:30 - 10:00
Talk
Nicholas JacekUMass Amherst, Meng-Chieh ChiuUMass Amherst, Benjamin MarlinUMass Amherst, Eliot MossUniversity of Massachusetts Amherst
Media Attached
pldi-2016-papers
10:30 - 12:00: Research Papers - Security at Grand Ballroom Santa Ynez
Chair(s): Andrew MyersCornell University
pldi-2016-papers10:30 - 11:00
Talk
Jean YangCarnegie Mellon University, Travis HanceDropbox, Thomas H. Austin, Armando Solar-LezamaMIT, Cormac FlanaganUC Santa Cruz, Stephen ChongHarvard University
Link to publication Media Attached
pldi-2016-papers11:00 - 11:30
Talk
David CostanzoYale University, Zhong ShaoYale University, Ronghui GuYale University
Pre-print Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Rohit SinhaUniversity of California, Berkeley, Manuel CostaMicrosoft Research, Akash LalMicrosoft Research India, Nuno P. LopesMicrosoft Research, Sriram RajamaniMicrosoft Research, Sanjit SeshiaUC Berkeley, Kapil VaswaniMicrosoft Research
Media Attached

Tue 14 Jun 2016

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom Santa Ynez
12:45 - 13:30
17:00 - 17:45

Thu 16 Jun 2016

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Grand Ballroom Santa Ynez