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

10:30 - 12:00: Verification IResearch Papers at Grand Ballroom San Rafael
Chair(s): Isil DilligUniversity of Texas, Austin
10:30 - 11:00
Talk
Research Papers
Saswat PadhiUniversity of California, Los Angeles, Rahul SharmaStanford University, Todd MillsteinUniversity of California, Los Angeles
Media Attached
11:00 - 11:30
Talk
Research Papers
Marcelo SousaUniversity of Oxford, Isil DilligUniversity of Texas, Austin
Media Attached
11:30 - 12:00
Talk
Research Papers
Wonyeol Lee, Rahul SharmaStanford University, Alex AikenStanford University
Media Attached
13:30 - 15:00: Energy & PerformanceResearch Papers at Grand Ballroom San Rafael
Chair(s): Manuel HermenegildoIMDEA Software Institute and T.U. of Madrid (UPM)
13:30 - 14:00
Talk
Research Papers
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
14:00 - 14:30
Talk
Research Papers
Link to publication Media Attached
14:30 - 15:00
Talk
Research Papers
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
15:30 - 17:00: Parsing & CompilationResearch Papers at Grand Ballroom San Rafael
Chair(s): Michelle StroutThe University of Arizona
15:30 - 16:00
Talk
Research Papers
Somashekaracharya G BhaskaracharyaIndian Institute of Science and National Instruments, Uday BondhugulaIndian Institute of Science, Albert CohenINRIA
Media Attached
16:00 - 16:30
Talk
Research Papers
Tobias GrosserETH Zurich, Switzerland, Sven Verdoolaege, Albert CohenINRIA
Media Attached
16:30 - 17:00
Talk
Research Papers
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

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

09:00 - 10:00: Verification IIResearch Papers at Grand Ballroom San Rafael
Chair(s): Armando Solar-LezamaMIT
09:00 - 09:30
Talk
Research Papers
Nikolaj BjørnerMicrosoft Research, Klaus GleissenthallTechnische Universität München, Andrey RybalchenkoMicrosoft Research
Media Attached
09:30 - 10:00
Talk
Research Papers
Oded PadonTel Aviv University, Kenneth L. McMillanMicrosoft Research, Aurojit Panda, Mooly SagivTel Aviv University, Sharon Shoham
Media Attached
10:30 - 12:00: Parallelism IIResearch Papers at Grand Ballroom San Rafael
Chair(s): Albert CohenINRIA
10:30 - 11:00
Talk
Research Papers
Alexander SpiegelmanTechnion - Israel institute of technology, Guy Golan-GuetaYahoo Labs, Idit KeidarTechnion - Israel institute of technology
Media Attached
11:00 - 11:30
Talk
Research Papers
Sara BaghsorkhiIntel Labs, Nalini VasudevanGoogle, Youfeng WuIntel Corporation
Media Attached
11:30 - 12:00
Talk
Research Papers
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