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

Wed 15 Jun

pldi-2016-papers
10:30 - 12:00: Research Papers - Verification I at Grand Ballroom San Rafael
Chair(s): Isil DilligUniversity of Texas, Austin
pldi-2016-papers10:30 - 11:00
Talk
Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles
Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Marcelo SousaUniversity of Oxford, Isil DilligUniversity of Texas, Austin
Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Wonyeol Lee, Rahul SharmaStanford University, Alex AikenStanford University
Media Attached
pldi-2016-papers
13:30 - 15:00: Research Papers - Energy & Performance at Grand Ballroom San Rafael
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
pldi-2016-papers13:30 - 14:00
Talk
Changwan Hong, Wenlei Bao, Albert CohenINRIA, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetOhio State University, J. RamanujamLouisiana State University, Fabrice RastelloINRIA, France, P. SadayappanOhio State University
Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Link to publication Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Michael A. LaurenzanoUniversity of Michigan, Parker Hill, Mehrzad SamadiUniversity of Michigan, Scott MahlkeUniversity of Michigan, Jason MarsUniversity of Michigan, Lingjia TangUniversity of Michigan
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - Parsing & Compilation at Grand Ballroom San Rafael
Chair(s): Michelle StroutThe University of Arizona
pldi-2016-papers15:30 - 16:00
Talk
Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA
Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Tobias GrosserETH Zurich, Switzerland, Sven Verdoolaege, Albert CohenINRIA
Media Attached
pldi-2016-papers16:30 - 17:00
Talk
Michael D. AdamsUniversity of Utah, Celeste HollenbeckUniversity of Utah, Matthew MightUniversity of Utah, USA
Pre-print Media Attached

Thu 16 Jun

pldi-2016-papers
10:30 - 12:00: Research Papers - Types I at Grand Ballroom San Rafael
Chair(s): David WalkerPrinceton University
pldi-2016-papers10:30 - 11:00
Talk
Yizhou ZhangCornell University, Guido SalvaneschiTU Darmstadt, Quinn BeightolCornell, Barbara LiskovMIT, Andrew MyersCornell University
Link to publication DOI Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Andrew KentIndiana University, David Kempe II, Sam Tobin-HochstadtIndiana University
Pre-print Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Panagiotis VekrisUniversity of California, San Diego, Benjamin CosmanUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego
Media Attached
pldi-2016-papers
13:30 - 15:00: Research Papers - Software-Defined Networking at Grand Ballroom San Rafael
Chair(s): Todd MillsteinUniversity of California, Los Angeles
pldi-2016-papers13:30 - 14:00
Talk
Jedidiah McClurgUniversity of Colorado Boulder, Hossein HojjatCornell University, Nate FosterCornell University, Pavol CernyUniversity of Colorado Boulder
Pre-print Media Attached
pldi-2016-papers14:00 - 14:30
Talk
Ryan BeckettPrinceton University, Michael GreenbergPomona College, David WalkerPrinceton University
Media Attached
pldi-2016-papers14:30 - 15:00
Talk
Ahmed El-HassanyETH Zürich, Jeremie MiserezETH Zürich, Pavol BielikETH Zurich, Switzerland, Laurent VanbeverETH Zürich, Martin VechevETH Zurich
Media Attached
pldi-2016-papers
15:30 - 17:00: Research Papers - Types II at Grand Ballroom San Rafael
Chair(s): Jean YangCarnegie Mellon University
pldi-2016-papers15:30 - 16:00
Talk
Brianna M. RenUniversity of Maryland, College Park, Jeffrey S. FosterUniversity of Maryland, College Park
Media Attached
pldi-2016-papers16:00 - 16:30
Talk
Tomas PetricekUniversity of Cambridge, UK, Don SymeMicrosoft, Gustavo GuerraMicrosoft Corporation, London
Pre-print Media Attached
pldi-2016-papers16:30 - 17:00
Talk
He ZhuPurdue University, Gustavo PetriLIAFA, Université Paris Diderot, Suresh JagannathanPurdue University
Media Attached
pldi-2016-papers
17:00 - 18:00: Research Papers - Parallelism I at Grand Ballroom San Rafael
Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University
pldi-2016-papers17:00 - 17:30
Talk
Sepideh MalekiTexas State University, Annie YangTexas State University, Martin BurtscherTexas State University
Pre-print Media Attached
pldi-2016-papers17:30 - 18:00
Talk
Junghyun KimSeoul National University, Gangwon JoSeoul National University, Jaehoon JungSeoul National University, Jungwon KimOak Ridge National Laboratory, Jaejin LeeSeoul National University
Media Attached

Fri 17 Jun

pldi-2016-papers
09:00 - 10:00: Research Papers - Verification II at Grand Ballroom San Rafael
Chair(s): Armando Solar-LezamaMIT
pldi-2016-papers09:00 - 09:30
Talk
Nikolaj BjørnerMicrosoft Research, Klaus GleissenthallTechnische Universität München, Andrey RybalchenkoMicrosoft Research
Media Attached
pldi-2016-papers09:30 - 10:00
Talk
Oded PadonTel Aviv University, Kenneth L. McMillanMicrosoft Research, Aurojit Panda, Mooly SagivTel Aviv University, Sharon Shoham
Media Attached
pldi-2016-papers
10:30 - 12:00: Research Papers - Parallelism II at Grand Ballroom San Rafael
Chair(s): Albert CohenINRIA
pldi-2016-papers10:30 - 11:00
Talk
Alexander SpiegelmanTechnion - Israel institute of technology, Guy Golan-GuetaYahoo Labs, Idit KeidarTechnion - Israel institute of technology
Media Attached
pldi-2016-papers11:00 - 11:30
Talk
Sara BaghsorkhiIntel Labs, Nalini VasudevanGoogle, Youfeng WuIntel Corporation
Media Attached
pldi-2016-papers11:30 - 12:00
Talk
Shoaib KamilMIT CSAIL, USA, Alvin CheungUniversity of Washington, Shachar ItzhakyMIT CSAIL, Armando Solar-LezamaMIT
Media Attached

Wed 15 Jun 2016

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom San Rafael

Thu 16 Jun 2016

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
Grand Ballroom San Rafael

Fri 17 Jun 2016