LCTES 2016
co-located with PLDI 2016
VenueThe Fess Parker, Santa Barbara, CA
Room nameGrand Ballroom San Rafael
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

Wed 15 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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-Noël 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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Thu 16 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Fri 17 Jun
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change