VenuePhoenix Convention Center
Room name228AB
Floor0
Room number228AB
Capacity0
Additional informationThere is no additional information of this room available.
Program

Tue 25 Jun

pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Parallelism and Super Computing I at 228AB
Chair(s): Veselin RaychevDeepCode AG
pldi-2019-papers08:30 - 08:50
Talk
Tanvir Ahmed KhanUniversity of Michigan, USA, Yifan ZhaoUniversity of Michigan, USA, Gilles PokamIntel Corporation, Barzan MozafariUniversity of Michigan, USA, Baris KasikciUniversity of Michigan, USA
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
Martin KongBrookhaven National Laboratory, Louis-Noel PouchetColorado State University
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Parallelism and Super Computing II at 228AB
Chair(s): Sreepathi PaiUniversity of Rochester
pldi-2019-papers10:00 - 10:20
Talk
Mahdi Soltan MohammadiUniversity of Arizona, Eddie C. DavisBoise State University, USA, Mary HallUniversity of Utah, Maryam Mehri DehnaviUniversity of Toronto, Payal NandyUniversity of Utah, USA, Catherine R. M. OlschanowskyBoise State University, USA, Anand VenkatUniversity of Utah, Tomofumi Yuki, Kazem CheshmiUniversity of Toronto, Michelle StroutUniversity of Arizona
Link to publication DOI Pre-print Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Travis AugustineColorado State University, USA, Janarthanan SarmaColorado State University, USA, Louis-Noel PouchetColorado State University, Gabriel RodríguezUniversidade da Coruña, Spain
Link to publication DOI
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Learning Specifications at 228AB
Chair(s): Michael PradelTU Darmstadt and Facebook
pldi-2019-papers14:00 - 14:20
Talk
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Angello Astorga, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Shambwaditya Saha, Shiyu WangUniversity of Illinois at Urbana-Champaign, USA, Tao XieUniversity of Illinois at Urbana-Champaign, USA
pldi-2019-papers15:00 - 15:20
Talk
Ton Chanh LeStevens Institute of Technology, Guolong ZhengUniversity of Nebraska Lincoln, ThanhVu NguyenUniversity of Nebraska-Lincoln
pldi-2019-papers
16:00 - 16:40: PLDI Research Papers - Type Systems III at 228AB
Chair(s): Satish ChandraFacebook
pldi-2019-papers16:00 - 16:20
Talk
Reuben N. S. RoweUniversity of Kent, Hugo FéréeUniversity of Kent, UK, Simon Thompson, Scott OwensUniversity of Kent, UK
Link to publication DOI Pre-print
pldi-2019-papers16:20 - 16:40
Talk
Milod KazerounianUniversity of Maryland, College Park, Sankha Narayan GuriaUniversity of Maryland, College Park, Niki VazouIMDEA Software Institute, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland, USA
Media Attached
pldi-2019-papers
16:40 - 17:15: PLDI Research Papers - Student Research Competition Talks at 228AB