VenuePhoenix Convention Center
Room name224AB
Floor0
Room number224AB
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

Mon 24 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 08:45: Welcome!PLDI Research Papers at 224AB
08:45 - 09:45: Language Design IPLDI Research Papers at 224AB
Chair(s): Benjamin ZornMicrosoft Research
08:45 - 09:05
Talk
PLDI Research Papers
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
09:05 - 09:25
Talk
PLDI Research Papers
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
09:25 - 09:45
Talk
PLDI Research Papers
Sridhar GopinathMicrosoft Research, India, Nikhil GhanatheMicrosoft Research, India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
10:00 - 11:00: Language Design IIPLDI Research Papers at 224AB
Chair(s): Santosh NagarakatteRutgers University, USA
10:00 - 10:20
Talk
PLDI Research Papers
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
10:20 - 10:40
Talk
PLDI Research Papers
Darius MercadierSorbonne Universités —UPMC Univ Paris 06, Pierre-Evariste DagandLIP6/CNRS
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
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
14:00 - 15:30: Probabilistic ProgrammingPLDI Research Papers at 224AB
Chair(s): Martin HirzelIBM Research
14:00 - 14:20
Talk
PLDI Research Papers
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
14:20 - 14:40
Talk
PLDI Research Papers
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
14:40 - 15:00
Talk
PLDI Research Papers
Marco Cusumano-TownerMIT-CSAIL, Feras SaadMassachusetts Institute of Technology, Alexander K. LewMassachusetts Institute of Technology, USA, Vikash MansinghkaMIT
Media Attached
15:00 - 15:20
Talk
PLDI Research Papers
Jieyuan ZhangUNSW, Australia, Jingling XueUNSW Sydney
Media Attached
16:00 - 17:00: ParsingPLDI Research Papers at 224AB
Chair(s): Qirun ZhangGeorgia Institute of Technology
16:00 - 16:20
Talk
PLDI Research Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
DOI Pre-print Media Attached
16:20 - 16:40
Talk
PLDI Research Papers
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Jeremy YallopUniversity of Cambridge, UK
Link to publication DOI Pre-print
16:40 - 17:00
Talk
PLDI Research Papers
Giovanni CampagnaStanford University, USA, Silei Xu, Mehrad MoradshahiStanford University, USA, Richard SocherSalesforce, USA, Monica S. LamStanford University, USA
Media Attached

Tue 25 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 09:30: Type Systems IPLDI Research Papers at 224AB
Chair(s): Ranjit JhalaUniversity of California, San Diego
08:30 - 08:50
Talk
PLDI Research Papers
Alceste ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty Science Ltd
Pre-print
08:50 - 09:10
Talk
PLDI Research Papers
Andre KuhlenschmidtIndiana University, Deyaaeldeen AlmahallawiIndiana University, Jeremy G. SiekIndiana University, USA
09:10 - 09:30
Talk
PLDI Research Papers
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
10:00 - 11:00: Type Systems IIPLDI Research Papers at 224AB
Chair(s): Jeffrey S. FosterTufts University
10:00 - 10:20
Talk
PLDI Research Papers
Kevin Liao, Matthew HammerNone, Andrew MillerUniversity of Illinois at Urbana-Champaign, USA
10:20 - 10:40
Talk
PLDI Research Papers
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
10:40 - 11:00
Talk
PLDI Research Papers
Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Val TannenUniversity of Pennsylvania, USA
Media Attached
14:00 - 15:30: Reasoning and Optimizing ML ModelsPLDI Research Papers at 224AB
Chair(s): Martin MaasGoogle
14:00 - 14:20
Talk
PLDI Research Papers
He ZhuRutgers University, USA, Zikang XiongPurdue University, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
14:20 - 14:40
Talk
PLDI Research Papers
Wen-Chuan LeePurdue University, Peng LiuPurdue University, Yingqi LiuPurdue University, USA, Shiqing MaPurdue University, USA, Xiangyu ZhangPurdue University
14:40 - 15:00
Talk
PLDI Research Papers
Hui GuanNorth Carolina State University, Xipeng ShenNorth Carolina State University, Seung-Hwan LimOak Ridge National Laboratory, USA
Media Attached File Attached
15:00 - 15:20
Talk
PLDI Research Papers
Greg AndersonUniversity of Texas at Austin, USA, Shankara PailoorUniversity of Texas at Austin, USA, Isil DilligUT Austin, Swarat ChaudhuriRice University
Media Attached
16:00 - 17:00: PerformancePLDI Research Papers at 224AB
Chair(s): Ting CaoMicrosoft Research
16:00 - 16:20
Talk
PLDI Research Papers
Xulong TangPenn State, Mahmut Taylan KandemirPennsylvania State University, USA, Mustafa KarakoyTOBB University of Economics and Technology, Turkey, Meenakshi ArunachalamIntel, USA
Media Attached
16:20 - 16:40
Talk
PLDI Research Papers
Laxman DhulipalaCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Julian ShunMIT
16:40 - 17:00
Talk
PLDI Research Papers
Kirshanthan SundararajahPurdue University, Milind KulkarniPurdue University
Media Attached

Wed 26 Jun
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 09:30: Systems IPLDI Research Papers at 224AB
Chair(s): Xinyu FengNanjing University
08:30 - 08:50
Talk
PLDI Research Papers
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
08:50 - 09:10
Talk
PLDI Research Papers
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
09:10 - 09:30
Talk
PLDI Research Papers
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
10:00 - 11:00: Systems IIPLDI Research Papers at 224AB
Chair(s): James LarusEPFL
10:00 - 10:20
Talk
PLDI Research Papers
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
Link to publication DOI Media Attached
10:20 - 10:40
Talk
PLDI Research Papers
Emily RuppelCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached
10:40 - 11:00
Talk
PLDI Research Papers
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University
Media Attached

Mon 24 Jun
Times are displayed in time zone: Tijuana, Baja California change

Tue 25 Jun
Times are displayed in time zone: Tijuana, Baja California change

Wed 26 Jun
Times are displayed in time zone: Tijuana, Baja California change