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

Mon 24 Jun

pldi-2019-papers
08:30 - 08:45: PLDI Research Papers - Welcome! at 224AB
pldi-2019-papers
08:45 - 09:45: PLDI Research Papers - Language Design I at 224AB
Chair(s): Benjamin ZornMicrosoft Research
pldi-2019-papers08:45 - 09:05
Talk
Michael VollmerIndiana University, USA, Chaitanya KoparkarIndiana University, Mike RaineyIndiana University, USA, Laith SakkaPurdue University, Milind KulkarniPurdue University, Ryan R. NewtonIndiana University
DOI Authorizer link Pre-print Media Attached
pldi-2019-papers09:05 - 09:25
Talk
Daniel J. FremontUniversity of California at Berkeley, USA, Tommaso DreossiUniversity of California at Berkeley, Shromona GhoshUniversity of California at Berkeley, USA, Xiangyu YueUniversity of California at Berkeley, USA, Alberto L. Sangiovanni-VincentelliUniversity of California at Berkeley, USA, Sanjit SeshiaUC Berkeley
Media Attached
pldi-2019-papers09:25 - 09:45
Talk
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Language Design II at 224AB
Chair(s): Santosh NagarakatteRutgers University, USA
pldi-2019-papers10:00 - 10:20
Talk
Roshan DathathriUniversity of Texas at Austin, USA, Olli Saarikivi, Hao ChenMicrosoft Research, Kim LaineMicrosoft Research, n.n., Kristin LauterMicrosoft Research, n.n., Saeed MalekiMicrosoft Research, Madan MusuvathiMicrosoft Research, Todd MytkowiczMicrosoft Research
DOI Pre-print Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Sunjay CauligiUniversity of California, San Diego, Gary Soeller, Brian JohannesmeyerUniversity of California at San Diego, USA, Fraser BrownStanford University, Riad S. WahbyStanford University, USA, John RennerUniversity of California, San Diego, Benjamin GregoireINRIA, Gilles BartheIMDEA Software Institute, Ranjit JhalaUniversity of California, San Diego, Deian StefanUniversity of California San Diego
Media Attached
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Probabilistic Programming at 224AB
Chair(s): Martin HirzelIBM Research
pldi-2019-papers14:00 - 14:20
Talk
Steffen SmolkaCornell University, Praveen KumarCornell University, David M. KahnCarnegie Mellon University, USA, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Dexter KozenCornell University, Alexandra SilvaUniversity College London
DOI Pre-print Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Peixin WangShanghai Jiao Tong University, Hongfei FuIST Austria, Amir Kafshdar GoharshadyIST Austria, Krishnendu ChatterjeeIST Austria, Xudong QinEast China Normal University, China, Wenjun ShiEast China Normal University, China
Media Attached
pldi-2019-papers14:40 - 15:00
Talk
Marco Cusumano-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansingkhaMIT
Media Attached
pldi-2019-papers15:00 - 15:20
Talk
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
Media Attached
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Parsing at 224AB
Chair(s): Qirun ZhangGeorgia Institute of Technology
pldi-2019-papers16:00 - 16:20
Talk
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity of Cambridge, UK
Link to publication DOI Pre-print
pldi-2019-papers16:40 - 17:00
Talk
Giovanni CampagnaStanford University, USA, Silei Xu, Mehrad MoradshahiStanford University, USA, Richard SocherSalesforce, USA, Monica S. LamStanford University, USA
Media Attached

Tue 25 Jun

pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Type Systems I at 224AB
Chair(s): Ranjit JhalaUniversity of California, San Diego
pldi-2019-papers08:30 - 08:50
Talk
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
Pre-print
pldi-2019-papers08:50 - 09:10
Talk
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
pldi-2019-papers09:10 - 09:30
Talk
Ezgi ÇiçekFacebook London, Weihao QuUniversity at Buffalo, SUNY, Gilles BartheIMDEA Software Institute, Marco GaboardiUniversity at Buffalo, SUNY, Deepak GargMax Planck Institute for Software Systems
Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Type Systems II at 224AB
Chair(s): Jeffrey S. FosterTufts University
pldi-2019-papers10:00 - 10:20
Talk
Kevin Liao, Matthew HammerNone, Andrew MillerUniversity of Illinois at Urbana-Champaign, USA
pldi-2019-papers10:20 - 10:40
Talk
Yuxin Wang, Zeyu DingPennsylvania State University, USA, Guanhong WangPennsylvania State University, USA, Daniel KiferDept. of Computer Science and Engineering, Penn State University, Danfeng ZhangPennsylvania State University
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Val TannenUniversity of Pennsylvania, USA
Media Attached
pldi-2019-papers
14:00 - 15:30: PLDI Research Papers - Reasoning and Optimizing ML Models at 224AB
Chair(s): Martin MaasGoogle
pldi-2019-papers14:00 - 14:20
Talk
He ZhuGalois, Inc., Zikang XiongPurdue University, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
pldi-2019-papers14:20 - 14:40
Talk
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
pldi-2019-papers14:40 - 15:00
Talk
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak Ridge National Laboratory, USA
Media Attached File Attached
pldi-2019-papers15:00 - 15:20
Talk
Greg AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
pldi-2019-papers
16:00 - 17:00: PLDI Research Papers - Performance at 224AB
Chair(s): Ting CaoMicrosoft Research
pldi-2019-papers16:00 - 16:20
Talk
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
Media Attached
pldi-2019-papers16:20 - 16:40
Talk
Laxman DhulipalaCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Julian ShunMIT
pldi-2019-papers16:40 - 17:00
Talk
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
Media Attached

Wed 26 Jun

pldi-2019-papers
08:30 - 09:30: PLDI Research Papers - Systems I at 224AB
Chair(s): Xinyu FengNanjing University
pldi-2019-papers08:30 - 08:50
Talk
Chao WangIRIF, Université Paris Diderot, France, Constantin EneaUniversité Paris Diderot, Suha Orhun MutluergilIRIF, France / University Paris Diderot, France / CNRS, France, Gustavo PetriArm Ltd
Media Attached
pldi-2019-papers08:50 - 09:10
Talk
Guangpu LiUniversity of Chicago, USA, Haopeng LiuUniversity of Chicago, Xianglan ChenUniversity of Science and Technology of China, China, Haryadi S. GunawiUniversity of Chicago, USA, Shan LuUniversity of Chicago
Media Attached
pldi-2019-papers09:10 - 09:30
Talk
Nikos VasilakisUniversity of Pennsylvania, USA, Ben KarelUniversity of Pennsylvania, USA, Yash PalkhiwalaUniversity of Pennsylvania, USA, John SonchackUniversity of Pennsylvania, USA, André DeHonUniversity of Pennsylvania, USA, Jonathan M. SmithUniversity of Pennsylvania, USA
Media Attached
pldi-2019-papers
10:00 - 11:00: PLDI Research Papers - Systems II at 224AB
Chair(s): James LarusEPFL
pldi-2019-papers10:00 - 10:20
Talk
Elazar GershuniTel Aviv University, Nadav Amit, Arie GurfinkelUniversity of Waterloo, Nina NarodytskaVMWare Research, Jorge A. NavasSRI International, Noam RinetzkyTel Aviv University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University
Media Attached
pldi-2019-papers10:20 - 10:40
Talk
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
pldi-2019-papers10:40 - 11:00
Talk
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached

Mon 24 Jun 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
224AB

Tue 25 Jun 2019

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
224AB

Wed 26 Jun 2019

Room8:00309:003010:003011:0030
224AB