PLDI 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
PLDI 2018 (series) /

PLDI 2018 Program

Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 18 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Columbus Ballroom Foyer
pldi-2018-catering152930160000008:00 - 09:00
Other
pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Innovation
pldi-2018-PLDI-Tutorials152930520000009:00 - 10:30
Other
Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA
deepspec-2018-papers
09:00 - 10:30: DeepSpec 2018 - Deep Specifications at Columbus Ballroom B
deepspec-2018-papers152930520000009:00 - 10:00
Talk
Andrew AppelPrinceton
deepspec-2018-papers152930880000010:00 - 10:30
Talk
Magnus O. MyreenChalmers University of Technology, Sweden
ismm-2018-papers
09:00 - 09:15: ISMM 2018 - Message from the Chairs at Discovery AB
ismm-2018-papers152930520000009:00 - 09:15
Day opening
Jennifer B. SartorVrije Universiteit Brussel, Hannes PayerGoogle
FMS-2018-papers
09:00 - 10:30: FMS 2018 - Morning Session I at Discovery C
FMS-2018-papers152930610000009:15 - 10:30
Talk
Andrew MyersCornell University
mapl-2018-papers
09:15 - 09:30: MAPL 2018 - Introduction at Columbus Ballroom A
Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington
ismm-2018-papers
09:15 - 10:15: ISMM 2018 - Keynote at Discovery AB
ismm-2018-papers152930610000009:15 - 10:15
Talk
Richard L. HudsonGoogle
mapl-2018-papers
09:30 - 10:30: MAPL 2018 - Program Analysis at Columbus Ballroom A
mapl-2018-papers152930700000009:30 - 10:00
Talk
Julian DolbyIBM Thomas J. Watson Research Center, Avraham ShinnarIBM Research, Allison AllainIBM Research, Jenna ReinenIBM Research
mapl-2018-papers152930880000010:00 - 10:30
Talk
Hongfa XueGeorge Washington University, Guru VenkataramaniGeorge Washington University, Tian LanGeorge Washington University
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering152931060000010:30 - 11:00
Coffee break
ismm-2018-papers
10:45 - 12:15: ISMM 2018 - Reference Counting and Techniques for C-family Languages at Discovery AB
Chair(s): Emery BergerUniversity of Massachusetts, Amherst
ismm-2018-papers152931150000010:45 - 11:15
Talk
Stuart BymaEPFL, Switzerland, James LarusEPFL
ismm-2018-papers152931330000011:15 - 11:45
Talk
Charles TrippTerrain Data, USA, David HydeStanford University, USA, Benjamin Grossman-PonemonTerrain Data, USA
ismm-2018-papers152931510000011:45 - 12:15
Talk
Steven R. BrandtLouisiana State University, Hari KrishnanFacebook, n.n., Costas BuschLouisiana State University, USA, Gokarna SharmaKent State University, USA
mapl-2018-papers
11:00 - 12:00: MAPL 2018 - Code Search at Columbus Ballroom A
mapl-2018-papers152931240000011:00 - 11:30
Talk
Fang-Hsiang SuColumbia University, New York, Jonathan BellGeorge Mason University, Gail KaiserColumbia University, New York, Baishakhi RayColumbia University, New York
mapl-2018-papers152931420000011:30 - 12:00
Talk
Saksham SachdevFacebook, Hongyu LiRice University, Sifei LuanFacebook, Seohyun KimFacebook, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Innovation
pldi-2018-PLDI-Tutorials152931240000011:00 - 12:15
Other
Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA
deepspec-2018-papers
11:00 - 12:15: DeepSpec 2018 - LLVM at Columbus Ballroom B
deepspec-2018-papers152931240000011:00 - 11:30
Talk
Steve ZdancewicUniversity of Pennsylvania
deepspec-2018-papers152931420000011:30 - 12:00
Talk
Chung-Kil HurSeoul National University
FMS-2018-papers
11:00 - 12:15: FMS 2018 - Morning Session II at Discovery C
FMS-2018-papers152931240000011:00 - 12:15
Talk
Nikhil SwamyMicrosoft Research
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Grand Ballroom BCD
pldi-2018-catering152931690000012:15 - 14:00
Lunch
FMS-2018-papers
14:00 - 15:40: FMS 2018 - Afternoon Session I at Discovery C
FMS-2018-papers152932320000014:00 - 15:10
Talk
Andrew AppelPrinceton
FMS-2018-papers152932740000015:10 - 15:40
Research paper
Rui Zhang, Cynthia Sturton
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Innovation
pldi-2018-PLDI-Tutorials152932320000014:00 - 15:40
Other
Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
deepspec-2018-papers
14:00 - 15:40: DeepSpec 2018 - From Testing to Verification at Columbus Ballroom B
deepspec-2018-papers152932320000014:00 - 14:30
Talk
Qinxiang Cao
deepspec-2018-papers152932500000014:30 - 15:00
Talk
Benjamin C. PierceUniversity of Pennsylvania
deepspec-2018-papers152932680000015:00 - 15:30
Talk
Leonidas LampropoulosUniversity of Pennsylvania
mapl-2018-papers
14:00 - 15:30: MAPL 2018 - New Languages at Columbus Ballroom A
mapl-2018-papers152932320000014:00 - 14:30
Talk
Jared RoeschUniversity of Washington, USA, Steven LyubomirskyUniversity of Washington, USA, Logan WeberUniversity of Washington, Josh PollockUniversity of Washington, Marisa Kirisame, Tianqi Chen, Zachary TatlockUniversity of Washington
mapl-2018-papers152932500000014:30 - 15:00
Talk
Venmugil ElangoNVIDIA, Norm RubinNVIDIA, Mahesh Ravishankar, Hari SandanagobalaneNVIDIA, Vinod Grover
mapl-2018-papers152932680000015:00 - 15:30
Talk
Marco Cusumano-TownerMIT-CSAIL, Vikash MansingkhaMIT
File Attached
ismm-2018-papers
14:00 - 15:30: ISMM 2018 - Optimizing for the Web and the Cloud at Discovery AB
Chair(s): Christine H. FloodRed Hat
ismm-2018-papers152932320000014:00 - 14:30
Talk
Mohamed IsmailCornell University, USA, G. Edward SuhCornell University, USA
ismm-2018-papers152932500000014:30 - 15:00
Talk
Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon, Ruslan SynytskyJelastic, n.n., Tetiana FydorenchykJelastic, n.n., Jia RaoUniversity of Texas at Arlington, USA, Hang HuangHuazhong University of Science and Technology, China, Song WuHuazhong University of Science and Technology, China
ismm-2018-papers152932680000015:00 - 15:30
Talk
Gurneet Kaur, Keval VoraUniversity of California, Riverside, Sai Charan KoduruUniversity of California, Riverside, Rajiv GuptaUC Riverside
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering152932920000015:40 - 16:10
Coffee break
ismm-2018-papers
16:00 - 17:30: ISMM 2018 - Analyzing the Cache and Scheduling at Discovery AB
Chair(s): Michael BondOhio State University
ismm-2018-papers152933040000016:00 - 16:30
Talk
Daniel ByrneMichigan Technological University, USA, Nilufer OnderMichigan Technological University, USA, Zhenlin WangMichigan Technological University
ismm-2018-papers152933220000016:30 - 17:00
Talk
Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Rahman Lavaee, Fangzhou Liu, Liang YuanInstitute of Computing Technology at Chinese Academy of Sciences, China
ismm-2018-papers152933400000017:00 - 17:30
Talk
Michihiro HorieIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan, Kazunori OgataIBM Research, Japan, Tamiya OnoderaIBM, Japan
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Innovation
pldi-2018-PLDI-Tutorials152933100000016:10 - 17:35
Other
Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
FMS-2018-papers
16:10 - 17:25: FMS 2018 - Breakout sessions/Panel at Discovery C
FMS-2018-papers152933100000016:10 - 17:10
Meeting
FMS-2018-papers152933460000017:10 - 17:25
Meeting
deepspec-2018-papers
16:10 - 17:35: DeepSpec 2018 - Hardware and Low-Level OS Verification at Columbus Ballroom B
deepspec-2018-papers152933100000016:10 - 16:40
Talk
Zhong ShaoYale University
deepspec-2018-papers152933280000016:40 - 17:10
Talk
Adam ChlipalaMassachusetts Institute of Technology, USA
deepspec-2018-papers152933460000017:10 - 17:35
Talk
Muralidaran VijayaraghavanSiFive
mapl-2018-papers
16:10 - 16:40: MAPL 2018 - Programming Methodology at Columbus Ballroom A
mapl-2018-papers152933100000016:10 - 16:40
Talk
Justin GottschlichIntel Labs, Armando Solar-LezamaMIT CSAIL, Nesime TatbulIntel Labs and MIT, Michael CarbinMIT, Martin RinardMassachusetts Institute of Technology, Regina BarzilayMIT, Saman AmarasingheMIT, Joshua B TenenbaumMIT, Tim MattsonIntel, USA
mapl-2018-papers
16:40 - 17:00: MAPL 2018 - Closing Remarks at Columbus Ballroom A
Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington
mapl-2018-papers
17:00 - 18:00: MAPL 2018 - Poster Session at Columbus Ballroom A
pldi-2018-catering
18:00 - 19:00: Catering - Social Hour at Grand Ballroom Foyer

Tue 19 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Columbus Ballroom Foyer
pldi-2018-catering152938800000008:00 - 09:00
Other
PLMW-PLDI-2018
08:45 - 10:30: PLMW @ PLDI 2018 - Session A at Columbus Ballroom A
Chair(s): Michael CarbinMIT
PLMW-PLDI-2018152939070000008:45 - 08:55
Day opening
Michael CarbinMIT, Milind KulkarniPurdue University, Michelle StroutUniversity of Arizona
PLMW-PLDI-2018152939130000008:55 - 09:15
Social Event
Michelle StroutUniversity of Arizona
PLMW-PLDI-2018152939250000009:15 - 10:00
Talk
Kathryn S McKinleyGoogle
PLMW-PLDI-2018152939520000010:00 - 10:30
Talk
Brandon LuciaCarnegie Mellon University
pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C
pldi-2018-PLDI-Tutorials152939160000009:00 - 10:30
Other
Michael Peyton JonesSemmle, Aditya SharadSemmle, Jonas JensenSemmle
deepspec-2018-papers
09:00 - 10:30: DeepSpec 2018 - Distributed Systems and Cryptography at Columbus Ballroom B
deepspec-2018-papers152939160000009:00 - 10:00
Talk
Mooly SagivTel Aviv University
deepspec-2018-papers152939520000010:00 - 10:30
Talk
Andres Erbsen
ARRAY-2018-papers
09:00 - 10:00: ARRAY 2018 - Keynote at Grand Ballroom C
ARRAY-2018-papers152939160000009:00 - 10:00
Talk
Albert CohenInria, France / ENS, France
Pre-print
pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials152939160000009:00 - 10:30
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
LCTES-2018-papers
09:00 - 10:30: LCTES 2018 - Welcome & Keynote at Discovery AB
LCTES-2018-papers152939160000009:00 - 09:15
Day opening
LCTES-2018-papers152939250000009:15 - 10:30
Talk
ARRAY-2018-papers
10:00 - 10:35: ARRAY 2018 - Array Language Commonalities at Grand Ballroom C
ARRAY-2018-papers152939520000010:00 - 10:35
Talk
Artjoms ŠinkarovsHeriot-Watt University, UK, Robert BerneckySnake Island Research, Hans-Nikolai VießmannHeriot-Watt University, UK, Sven-Bodo ScholzHeriot-Watt University
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering152939700000010:30 - 11:00
Coffee break
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C
pldi-2018-PLDI-Tutorials152939880000011:00 - 12:15
Other
Michael Peyton JonesSemmle, Aditya SharadSemmle, Jonas JensenSemmle
ARRAY-2018-papers
11:00 - 12:10: ARRAY 2018 - Exploiting Dynamic Information at Grand Ballroom C
ARRAY-2018-papers152939880000011:00 - 11:35
Talk
Marco Heisig, Harald KöstlerFriedrich-Alexander University Erlangen-Nürnberg, Germany
File Attached
ARRAY-2018-papers152940090000011:35 - 12:10
Talk
Patryk KiepasMINES ParisTech, France, Jaroslaw KozlakAGH University of Science and Technology, Poland, Claude TadonkiMINES ParisTech, France, Corinne AncourtMINES ParisTech, France
LCTES-2018-papers
11:00 - 12:15: LCTES 2018 - Full paper session on Programming Languages at Discovery AB
LCTES-2018-papers152939880000011:00 - 11:25
Full-paper
James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft
LCTES-2018-papers152940030000011:25 - 11:50
Full-paper
Mladen SkelinEindhoven University of Technology, Marc GeilenEindhoven University of Technology
LCTES-2018-papers152940180000011:50 - 12:15
Full-paper
Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University
deepspec-2018-papers
11:00 - 12:15: DeepSpec 2018 - Haskell Core and Debugging Debuggers at Columbus Ballroom B
deepspec-2018-papers152939880000011:00 - 11:30
Talk
Stephanie WeirichUniversity of Pennsylvania, USA
deepspec-2018-papers152940060000011:30 - 12:00
Talk
Francesco Zappa NardelliInria
PLMW-PLDI-2018
11:00 - 12:15: PLMW @ PLDI 2018 - Session B at Columbus Ballroom A
Chair(s): Milind KulkarniPurdue University
PLMW-PLDI-2018152939880000011:00 - 11:45
Talk
Alex AikenStanford University
PLMW-PLDI-2018152940150000011:45 - 12:15
Talk
Isil DilligUT Austin
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials152939880000011:00 - 12:15
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Grand Ballroom CD
pldi-2018-catering152940330000012:15 - 14:00
Lunch
LCTES-2018-papers
12:50 - 13:50: LCTES 2018 - Poster Session & Lunch at Grand Ballroom Foyer
LCTES-2018-papers152940540000012:50 - 13:50
Lunch
PLMW-PLDI-2018
13:15 - 15:30: PLMW @ PLDI 2018 - Session C at Columbus Ballroom A
Chair(s): Michelle StroutUniversity of Arizona
PLMW-PLDI-2018152940690000013:15 - 14:30
Other
Sara AchourMIT, Shoaib KamilAdobe, Jennifer B. SartorVrije Universiteit Brussel, Zachary TatlockUniversity of Washington
PLMW-PLDI-2018152941140000014:30 - 15:00
Talk
Milind KulkarniPurdue University
PLMW-PLDI-2018152941320000015:00 - 15:30
Talk
Michael CarbinMIT
deepspec-2018-papers
14:00 - 15:40: DeepSpec 2018 - Concurrency and Concurrent Operating Systems at Columbus Ballroom B
deepspec-2018-papers152940960000014:00 - 14:30
Talk
Jieung KimYale University, USA
deepspec-2018-papers152941140000014:30 - 15:00
Talk
Thomas SewellUNSW, Australia
deepspec-2018-papers152941320000015:00 - 15:30
Talk
William ManskyPrinceton University
LCTES-2018-papers
14:00 - 15:40: LCTES 2018 - Full paper session on Adaptation and Hardware at Discovery AB
LCTES-2018-papers152940960000014:00 - 14:25
Full-paper
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Willy WolffLancaster University, Yehia ElkhatibLancaster University, Zheng WangLancaster University
LCTES-2018-papers152941110000014:25 - 14:50
Full-paper
Lei Han, Zhaoyan ShenThe Hong Kong Polytechnic University, Zili ShaoThe Hong Kong Polytechnic University, Tao LiUniversity of Florida
LCTES-2018-papers152941260000014:50 - 15:15
Full-paper
Bernhard EggerSeoul National University, Eunjin SongSeoul National University, Hochan LeeSeoul National University, Daeyoung ShinSeoul National University
LCTES-2018-papers152941410000015:15 - 15:40
Full-paper
Michael StokesFlorida State University, Ryan BairdFlorida State University, Zhaoxiang JinMichigan Technological University, David B. Whalley, Soner OnderMichigan Technological University
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials152940960000014:00 - 15:40
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
ARRAY-2018-papers
14:00 - 15:45: ARRAY 2018 - Types and Correctness at Grand Ballroom C
ARRAY-2018-papers152940960000014:00 - 14:35
Talk
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
ARRAY-2018-papers152941170000014:35 - 15:10
Talk
Justin SlepakNortheastern University, Panagiotis ManoliosNortheastern University, Olin ShiversNortheastern University, USA
ARRAY-2018-papers152941380000015:10 - 15:45
Talk
Magne HaveraaenUniversity of Bergen, Norway
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C
pldi-2018-PLDI-Tutorials152940960000014:00 - 15:40
Other
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering152941560000015:40 - 16:10
Coffee break
PLMW-PLDI-2018
16:00 - 17:15: PLMW @ PLDI 2018 - Session D at Columbus Ballroom A
Chair(s): Milind KulkarniPurdue University
PLMW-PLDI-2018152941680000016:00 - 17:00
Poster
Milind KulkarniPurdue University, James LarusEPFL, Adrian SampsonCornell University, Santosh NagarakatteRutgers University, USA, Eva DarulovaMPI-SWS, Osbert BastaniStanford University, Emery BergerUniversity of Massachusetts, Amherst, Mayur NaikUniversity of Pennsylvania, Joseph DeviettiUniversity of Pennsylvania, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, John WickersonImperial College London, Xin ZhangMassachusetts Institute of Technology, USA, Sara AchourMIT, Michael CarbinMIT, Michelle StroutUniversity of Arizona
PLMW-PLDI-2018152942040000017:00 - 17:15
Day closing
Michelle StroutUniversity of Arizona, Michael CarbinMIT, Milind KulkarniPurdue University
ARRAY-2018-papers
16:10 - 17:20: ARRAY 2018 - Accessing the Memory System at Grand Ballroom C
ARRAY-2018-papers152941740000016:10 - 16:45
Talk
Matthias SpringerTokyo Institute of Technology, Yaozhu SunTokyo Institute of Technology, Japan, Hidehiko MasuharaTokyo Institute of Technology
Pre-print
ARRAY-2018-papers152941950000016:45 - 17:20
Talk
Eva BurrowsUniversity of Bergen, Norway, Helmer André FriisIRIS, Norway, Magne HaveraaenUniversity of Bergen, Norway
deepspec-2018-papers
16:10 - 17:35: DeepSpec 2018 - Lightning Talks at Columbus Ballroom B
deepspec-2018-papers152941740000016:10 - 16:15
Talk
deepspec-2018-papers152941770000016:15 - 16:20
Talk
Russell O'Connor
deepspec-2018-papers152941800000016:20 - 16:25
Talk
Gordon StewartOhio University
deepspec-2018-papers152941830000016:25 - 16:30
Talk
Shengyi Wang
deepspec-2018-papers152941860000016:30 - 16:35
Talk
Clément Pit-ClaudelMIT CSAIL
deepspec-2018-papers152941890000016:35 - 16:40
Talk
Yannick Zakowski
deepspec-2018-papers152941920000016:40 - 16:45
Talk
Christine RizkallahUniversity of New South Wales
deepspec-2018-papers152941950000016:45 - 16:50
Talk
Joonwon ChoiMassachusetts Institute of Technology, USA
deepspec-2018-papers152941980000016:50 - 16:55
Talk
Sam GruetterMassachusetts Institute of Technology
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials152941740000016:10 - 17:35
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C
pldi-2018-PLDI-Tutorials152941740000016:10 - 17:35
Other
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
LCTES-2018-papers
16:10 - 17:25: LCTES 2018 - WIP paper session at Discovery AB
LCTES-2018-papers152941830000016:25 - 16:40
Short-paper
Andre Xian Ming ChangFWDNXT and Purdue, Aliasger ZaidyFWDNXT and Purdue, Lukasz BurzawaFWDNXT and Purdue, Eugenio CulurcielloFWDNXT and Purdue
LCTES-2018-papers152941920000016:40 - 16:55
Short-paper
Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services
LCTES-2018-papers152942010000016:55 - 17:10
Short-paper
Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University, Noemi RodriguesPUC-Rio, Ana Lúcia de Moura
LCTES-2018-papers152942100000017:10 - 17:25
Short-paper
Pavan MehrotraStanford University, Sabar DasguptaStanford University, Samantha RobertsonStanford University, Paul NuyujukianStanford University
Link to publication DOI Pre-print Media Attached
pldi-2018-catering
17:30 - 18:30: Catering - Social Hour at Grand Ballroom Foyer

Wed 20 Jun

pldi-2018-catering
08:00 - 08:45: Catering - Breakfast at Grand Ballroom Foyer
pldi-2018-catering152947440000008:00 - 08:45
Other
pldi-2018-PLDI-Invited-Speakers
08:45 - 09:00: PLDI Invited Speakers - Welcome at Grand Ballroom
Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park / Tufts University, Dan GrossmanUniversity of Washington
pldi-2018-PLDI-Invited-Speakers
09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom
Chair(s): Michael HicksUniversity of Maryland, College Park
pldi-2018-PLDI-Invited-Speakers152947800000009:00 - 10:00
Talk
Ranjit JhalaUniversity of California, San Diego
Media Attached
pldi-2018-papers
10:00 - 10:30: PLDI Research Papers - Lightning Overview - Day 1 at Grand Ballroom
Chair(s): Dan GrossmanUniversity of Washington
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering152948340000010:30 - 11:00
Coffee break
pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Emerging Hardware at Grand Ballroom CD
Chair(s): Ryan R. NewtonIndiana University
pldi-2018-papers152948520000011:00 - 11:25
Talk
Vaibhav GogteUniversity of Michigan, USA, Stephan DiestelhorstARM Research, UK, William WangArm Research, UK, Satish NarayanasamyUniversity of Michigan, Peter M. ChenUniversity of Michigan, USA, Thomas F. WenischUniversity of Michigan, USA
Media Attached
pldi-2018-papers152948670000011:25 - 11:50
Talk
Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium
Media Attached
pldi-2018-papers152948820000011:50 - 12:15
Talk
Chit-Kwan LinIntel Labs, n.n., Andreas WildIntel Labs, n.n., Tsung-Han LinIntel Labs, n.n., Gautham N. ChinyaIntel Labs, n.n., Mike DaviesIntel Labs, n.n., Hong WangIntel Labs, n.n.
Media Attached
pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Web Pages at Grand Ballroom AB
Chair(s): Tobias WrigstadUppsala University
pldi-2018-papers152948520000011:00 - 11:25
Talk
Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Shoaib KamilAdobe
Media Attached
pldi-2018-papers152948670000011:25 - 11:50
Talk
John VilkUniversity of Massachusetts, Amherst, Emery BergerUniversity of Massachusetts, Amherst
Media Attached
pldi-2018-papers152948820000011:50 - 12:15
Talk
Samuel BaxterUniversity of Massachusetts at Amherst, USA, Rachit Nigam, Joe Gibbs PolitzUniversity of California, San Diego, Shriram KrishnamurthiBrown University, USA, Arjun GuhaUniversity of Massachusetts, Amherst
Media Attached
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Columbus Ballroom
pldi-2018-catering152948970000012:15 - 14:00
Lunch
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Concurrency and Termination at Grand Ballroom AB
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology
pldi-2018-papers152949600000014:00 - 14:25
Talk
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich
pldi-2018-papers152949750000014:25 - 14:50
Talk
Peizun LiuNortheastern University, USA, Thomas WahlNortheastern University
Media Attached
pldi-2018-papers152949900000014:50 - 15:15
Talk
Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens
Media Attached
pldi-2018-papers152950050000015:15 - 15:40
Talk
Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondrej LengalBrno University of Technology , Yong LiInstitute of Software, Chinese Academy of Sciences, Ming-Hsien TsaiAcademia Sinica, Taiwan, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Dynamic Techniques at Grand Ballroom CD
Chair(s): Sorin LernerUniversity of California, San Diego
pldi-2018-papers152949600000014:00 - 14:25
Talk
Guilherme OttoniFacebook
Media Attached
pldi-2018-papers152949750000014:25 - 14:50
Talk
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
pldi-2018-papers152949900000014:50 - 15:15
Talk
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
pldi-2018-papers152950050000015:15 - 15:40
Talk
Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis
Media Attached
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering152950200000015:40 - 16:10
Coffee break
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Floats and Maps at Grand Ballroom CD
Chair(s): Hans-J. BoehmGoogle
pldi-2018-papers152950380000016:10 - 16:35
Talk
Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington
Media Attached
pldi-2018-papers152950530000016:35 - 17:00
Talk
Ulf AdamsGoogle, Germany
Media Attached
pldi-2018-papers152950680000017:00 - 17:25
Talk
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
Media Attached
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Transactions and Races at Grand Ballroom AB
Chair(s): Tatiana ShpeismanGoogle Brain
pldi-2018-papers152950380000016:10 - 16:35
Talk
Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London
Media Attached
pldi-2018-papers152950530000016:35 - 17:00
Talk
Matthew MilanoCornell University, Andrew MyersCornell University
Media Attached
pldi-2018-papers152950680000017:00 - 17:25
Talk
Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs
Media Attached
pldi-2018-PLDI-Invited-Speakers
17:30 - 18:30: PLDI Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom AB
Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington
pldi-2018-PLDI-Invited-Speakers152950860000017:30 - 18:00
Talk
Dan GrossmanUniversity of Washington
Media Attached
pldi-2018-PLDI-Invited-Speakers152951040000018:00 - 18:30
Talk
Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University
Media Attached
pldi-2018-src
18:00 - 21:00: Student Research Competition (SRC) - Reception and SRC posters at Columbus Ballroom Foyer

Thu 21 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Grand Ballroom Foyer
pldi-2018-catering152956080000008:00 - 08:45
Other
pldi-2018-PLDI-Invited-Speakers
08:45 - 09:00: PLDI Invited Speakers - PLDI 2019 Introduction at Grand Ballroom
Chair(s): Kathryn S McKinleyGoogle, Kathleen FisherTufts University
pldi-2018-PLDI-Invited-Speakers152956350000008:45 - 09:00
Talk
Kathryn S McKinleyGoogle, Kathleen FisherTufts University
Media Attached
pldi-2018-PLDI-Invited-Speakers
09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom
Chair(s): Cormac FlanaganUniversity of California, Santa Cruz
pldi-2018-PLDI-Invited-Speakers152956440000009:00 - 10:00
Talk
Erik Meijer
Media Attached
pldi-2018-papers
10:00 - 10:30: PLDI Research Papers - Lightning Overview - Day 2 at Grand Ballroom
Chair(s): Dan GrossmanUniversity of Washington
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering152956980000010:30 - 11:00
Coffee break
pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Multicore and More at Grand Ballroom AB
Chair(s): Yannis SmaragdakisUniversity of Athens
pldi-2018-papers152957160000011:00 - 11:25
Talk
David KoeplingerStanford University, USA, Matthew FeldmanStanford University, USA, Raghu PrabhakarStanford University, USA, Yaqi ZhangStanford University, USA, Stefan HadjisStanford University, USA, Ruben FiszelEPFL, Switzerland, Tian ZhaoStanford University, Luigi NardiStanford University, Ardavan PedramStanford University, USA, Christos KozyrakisStanford University, USA, Kunle OlukotunStanford University
Media Attached
pldi-2018-papers152957310000011:25 - 11:50
Talk
Orhan KislalPennsylvania State University, USA, Jagadish KotraPennsylvania State University, USA, Xulong TangPenn State, Mahmut Taylan KandemirUniversity of Pennsylvania, Myoungsoo JungYonsei University, South Korea
Media Attached
pldi-2018-papers152957460000011:50 - 12:15
Talk
Kim-Anh TranUppsala University, Sweden, Alexandra JimboreanUppsala University, Trevor E. CarlsonNational University of Singapore, Konstantinos KoukosUppsala University, Sweden, Magnus SjälanderNorwegian University of Science and Technology (NTNU), Stefanos KaxirasUppsala University, Sweden
Media Attached
pldi-2018-src
11:00 - 12:30: Student Research Competition (SRC) - SRC presentations at Grand Ballroom CD
pldi-2018-catering
12:30 - 14:00: Catering - Lunch (note late start) at Columbus Ballroom
pldi-2018-catering152957700000012:30 - 14:00
Lunch
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Concurrency Debugging at Grand Ballroom AB
Chair(s): Tony HoskingAustralian National University / Data61
pldi-2018-papers152958240000014:00 - 14:25
Talk
Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu
Media Attached
pldi-2018-papers152958390000014:25 - 14:50
Talk
Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University
Media Attached
pldi-2018-papers152958540000014:50 - 15:15
Talk
Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael BondOhio State University
Media Attached
pldi-2018-papers152958690000015:15 - 15:40
Talk
Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Synthesis and Learning at Grand Ballroom CD
Chair(s): Xin ZhangMassachusetts Institute of Technology, USA
pldi-2018-papers152958240000014:00 - 14:25
Talk
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Media Attached
pldi-2018-papers152958390000014:25 - 14:50
Talk
Yu FengUniversity of Texas at Austin, USA, Ruben MartinsCarnegie Mellon University, Osbert BastaniStanford University, Isil DilligUT Austin
Media Attached
pldi-2018-papers152958540000014:50 - 15:15
Talk
Woosuk LeeUniversity of Pennsylvania, USA, Kihong HeoUniversity of Pennsylvania, USA, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2018-papers152958690000015:15 - 15:40
Talk
Rumen Atanasov Paletov, Petar TsankovETH Zurich, Veselin RaychevETH Zurich, Martin VechevETH Zürich
Media Attached
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering152958840000015:40 - 16:10
Coffee break
pldi-2018-papers
16:10 - 17:00: PLDI Research Papers - Analyzing Probabilistic Programs at Grand Ballroom CD
Chair(s): Eva DarulovaMPI-SWS
pldi-2018-papers152959020000016:10 - 16:35
Talk
Van Chan NgoCarnegie Mellon University, Quentin CarbonneauxYale University, Jan HoffmannCarnegie Mellon University
Media Attached
pldi-2018-papers152959170000016:35 - 17:00
Talk
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
pldi-2018-papers
16:10 - 17:00: PLDI Research Papers - Programming-Student Feedback at Grand Ballroom AB
Chair(s): Dan GrossmanUniversity of Washington
pldi-2018-papers152959020000016:10 - 16:35
Talk
Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna
Media Attached
pldi-2018-papers152959170000016:35 - 17:00
Talk
Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis
Media Attached
pldi-2018-catering
17:00 - 18:00: Catering - Social Hour at Grand Ballroom Foyer
pldi-2018-PLDI-Invited-Speakers
17:30 - 18:30: PLDI Invited Speakers - SIGPLAN and SRC Awards at Grand Ballroom
Chair(s): Maria ChristakisMPI-SWS, Satnam SinghX, the moonshot factory

Fri 22 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Grand Ballroom Foyer
pldi-2018-catering152964720000008:00 - 09:00
Other
pldi-2018-PLDI-Invited-Speakers
09:00 - 10:00: PLDI Invited Speakers - Keynote at Grand Ballroom
Chair(s): Emery BergerUniversity of Massachusetts, Amherst
pldi-2018-PLDI-Invited-Speakers152965080000009:00 - 10:00
Talk
Margaret Martonosi
Media Attached
pldi-2018-papers
10:00 - 10:30: PLDI Research Papers - Lightning Overview - Day 3 at Grand Ballroom
Chair(s): Dan GrossmanUniversity of Washington
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering152965620000010:30 - 11:00
Coffee break
pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Inference for Probabilistic Programs at Grand Ballroom CD
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
pldi-2018-papers152965800000011:00 - 11:25
Talk
Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash MansingkhaMIT
Media Attached
pldi-2018-papers152965950000011:25 - 11:50
Talk
Timon Gehr, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, Petar TsankovETH Zurich, Laurent VanbeverETH Zürich, Pascal WiesmannETH Zurich, Switzerland, Martin VechevETH Zürich
Media Attached
pldi-2018-papers152966100000011:50 - 12:15
Talk
Vikash MansingkhaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin RinardMassachusetts Institute of Technology
Media Attached
pldi-2018-papers
11:00 - 12:15: PLDI Research Papers - Optimization and Locality at Grand Ballroom AB
Chair(s): Milind KulkarniPurdue University
pldi-2018-papers152965800000011:00 - 11:25
Talk
Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France
Media Attached
pldi-2018-papers152965950000011:25 - 11:50
Talk
Simon MollSaarland University, Germany, Sebastian HackSaarland University, Germany
Media Attached
pldi-2018-papers152966100000011:50 - 12:15
Talk
Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester
Media Attached
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Columbus Ballroom
pldi-2018-catering152966250000012:15 - 14:00
Lunch
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Program Analysis at Grand Ballroom CD
Chair(s): Isil DilligUT Austin
pldi-2018-papers152966880000014:00 - 14:25
Talk
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
pldi-2018-papers152967030000014:25 - 14:50
Talk
Qingkai ShiHong Kong University of Science and Technology, China, Richard XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella, n.n., Gang Fan, Charles Zhang
Media Attached
pldi-2018-papers152967180000014:50 - 15:15
Talk
He ZhuGalois, Inc., Stephen Magill, Suresh JagannathanPurdue University
Media Attached
pldi-2018-papers152967330000015:15 - 15:40
Talk
Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania
Media Attached
pldi-2018-papers
14:00 - 15:40: PLDI Research Papers - Verification at Grand Ballroom AB
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA
pldi-2018-papers152966880000014:00 - 14:25
Talk
Brandon Bohrer, Yong Kiam TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University
Media Attached
pldi-2018-papers152967030000014:25 - 14:50
Talk
Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Juneyoung LeeSeoul National University, Sanghoon ParkSeoul National University, South Korea, Mark Dongyeon ShinSeoul National University, South Korea, Yonghyun KimSeoul National University, South Korea, Sungkeun ChoSeoul National University, South Korea, Joonwon ChoiMassachusetts Institute of Technology, USA, Chung-Kil HurSeoul National University, Kwangkeun YiSeoul National University
Media Attached
pldi-2018-papers152967180000014:50 - 15:15
Talk
Ronghui GuColumbia University, Zhong ShaoYale University, Jieung KimYale University, USA, Xiongnan (Newman) WuYale University, Jérémie Koenig, Vilhelm SjobergYale University, Hao ChenYale University, David CostanzoYale University, Tahina RamananandroMicrosoft Research, n.n.
Media Attached
pldi-2018-papers152967330000015:15 - 15:40
Talk
Marcelo TaubeTel Aviv University, Israel, Giuliano LosaUniversity of California at Los Angeles, USA, Kenneth L. McMillanMicrosoft Research, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington
Media Attached
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering152967480000015:40 - 16:10
Coffee break
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Parallelism at Grand Ballroom AB
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center
pldi-2018-papers152967660000016:10 - 16:35
Talk
Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University
Media Attached
pldi-2018-papers152967810000016:35 - 17:00
Talk
Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Loc HoangUniversity of Texas at Austin, USA, Hoang-Vu DangUniversity of Illinois at Urbana-Champaign, USA, Alex BrooksUniversity of Illinois at Urbana-Champaign, USA, Nikoli DrydenUniversity of Illinois at Urbana-Champaign, USA, Marc SnirUIUC, Keshav PingaliUniversity of Texas at Austin, USA
Media Attached
pldi-2018-papers152967960000017:00 - 17:25
Talk
Umut AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity of Wrocław
Media Attached
pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Types at Grand Ballroom CD
Chair(s): Kathleen FisherTufts University
pldi-2018-papers152967660000016:10 - 16:35
Talk
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research
Media Attached
pldi-2018-papers152967810000016:35 - 17:00
Talk
William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA
Media Attached
pldi-2018-papers152967960000017:00 - 17:25
Talk
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
Media Attached

Mon 18 Jun 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Columbus Ballroom A

MAPL

Introduction
09:15 - 09:30

MAPL

Program Analysis
09:30 - 10:30

MAPL

Code Search
11:00 - 12:00

MAPL

New Languages
14:00 - 15:30

MAPL

Programming Methodology
16:10 - 16:40

MAPL

Closing Remarks
16:40 - 17:00

MAPL

Poster Session
17:00 - 18:00
Columbus Ballroom B

DeepSpec

Deep Specifications
09:00 - 10:30

DeepSpec

LLVM
11:00 - 12:15

DeepSpec

From Testing to Verification
14:00 - 15:40

DeepSpec

Hardware and Low-Level OS Verification
16:10 - 17:35
Columbus Ballroom Foyer

PLDI Catering

Breakfast
08:00 - 09:00

PLDI Catering

Coffee Break
10:30 - 11:00

PLDI Catering

Coffee Break
15:40 - 16:10
Discovery AB

ISMM

Message from the Chairs
09:00 - 09:15

ISMM

Keynote
09:15 - 10:15

ISMM

Reference Counting and Techniques for C-family Languages
10:45 - 12:15

ISMM

Optimizing for the Web and the Cloud
14:00 - 15:30

ISMM

Analyzing the Cache and Scheduling
16:00 - 17:30
Discovery C

FMS

Morning Session I
09:00 - 10:30

FMS

Morning Session II
11:00 - 12:15

FMS

Afternoon Session I
14:00 - 15:40

FMS

Breakout sessions/Panel
16:10 - 17:25
Grand Ballroom BCD

PLDI Catering

Lunch
12:15 - 14:00
Grand Ballroom Foyer

PLDI Catering

Social Hour
18:00 - 19:00
Innovation

PLDI Tutorials

Debugging and Profiling Task Parallel Programs with TASKPROF
09:00 - 10:30

PLDI Tutorials

Debugging and Profiling Task Parallel Programs with TASKPROF
11:00 - 12:15

PLDI Tutorials

Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
14:00 - 15:40

PLDI Tutorials

Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
16:10 - 17:35

Tue 19 Jun 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Admiral's Quarters

PLDI Tutorials

Static Analysis for C++ with Phasar
09:00 - 10:30

PLDI Tutorials

Static Analysis for C++ with Phasar
11:00 - 12:15

PLDI Tutorials

Static Analysis for C++ with Phasar
14:00 - 15:40

PLDI Tutorials

Static Analysis for C++ with Phasar
16:10 - 17:35
Columbus Ballroom A

PLMW @ PLDI

Session A
08:45 - 10:30

PLMW @ PLDI

Session B
11:00 - 12:15

PLMW @ PLDI

Session C
13:15 - 15:30

PLMW @ PLDI

Session D
16:00 - 17:15
Columbus Ballroom B

DeepSpec

Distributed Systems and Cryptography
09:00 - 10:30

DeepSpec

Haskell Core and Debugging Debuggers
11:00 - 12:15

DeepSpec

Concurrency and Concurrent Operating Systems
14:00 - 15:40

DeepSpec

Lightning Talks
16:10 - 17:35
Columbus Ballroom Foyer

PLDI Catering

Breakfast
08:00 - 09:00

PLDI Catering

Coffee Break
10:30 - 11:00

PLDI Catering

Coffee Break
15:40 - 16:10
Discovery AB

LCTES

Welcome & Keynote
09:00 - 10:30

LCTES

Full paper session on Programming Languages
11:00 - 12:15

LCTES

Full paper session on Adaptation and Hardware
14:00 - 15:40

LCTES

WIP paper session
16:10 - 17:25
Discovery C

PLDI Tutorials

Declarative Program Analysis with QL
09:00 - 10:30

PLDI Tutorials

Declarative Program Analysis with QL
11:00 - 12:15

PLDI Tutorials

Verified Low-Level Programming in F*
14:00 - 15:40

PLDI Tutorials

Verified Low-Level Programming in F*
16:10 - 17:35
Grand Ballroom C

ARRAY

Keynote
09:00 - 10:00

ARRAY

Array Language Commonalities
10:00 - 10:35

ARRAY

Exploiting Dynamic Information
11:00 - 12:10

ARRAY

Types and Correctness
14:00 - 15:45

ARRAY

Accessing the Memory System
16:10 - 17:20
Grand Ballroom CD

PLDI Catering

Lunch
12:15 - 14:00
Grand Ballroom Foyer

LCTES

Poster Session & Lunch
12:50 - 13:50

PLDI Catering

Social Hour
17:30 - 18:30

Wed 20 Jun 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Columbus Ballroom

PLDI Catering

Lunch
12:15 - 14:00
Columbus Ballroom Foyer

PLDI Student Research Competition (SRC)

Reception and SRC posters
18:00 - 21:00
Grand Ballroom

PLDI Invited Speakers

Welcome
08:45 - 09:00

PLDI Invited Speakers

Keynote
09:00 - 10:00

PLDI Research Papers

Lightning Overview - Day 1
10:00 - 10:30
Grand Ballroom AB

PLDI Research Papers

Web Pages
11:00 - 12:15

PLDI Research Papers

Concurrency and Termination
14:00 - 15:40

PLDI Research Papers

Transactions and Races
16:10 - 17:25

PLDI Invited Speakers

Program Chair's Report and SIGPLAN Town Hall Meeting
17:30 - 18:30
Grand Ballroom CD

PLDI Research Papers

Emerging Hardware
11:00 - 12:15

PLDI Research Papers

Dynamic Techniques
14:00 - 15:40

PLDI Research Papers

Floats and Maps
16:10 - 17:25
Grand Ballroom Foyer

PLDI Catering

Breakfast
08:00 - 08:45

PLDI Catering

Coffee Break
10:30 - 11:00

PLDI Catering

Coffee Break
15:40 - 16:10

Thu 21 Jun 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Columbus Ballroom

PLDI Catering

Lunch (note late start)
12:30 - 14:00
Grand Ballroom

PLDI Invited Speakers

PLDI 2019 Introduction
08:45 - 09:00

PLDI Invited Speakers

Keynote
09:00 - 10:00

PLDI Research Papers

Lightning Overview - Day 2
10:00 - 10:30

PLDI Invited Speakers

SIGPLAN and SRC Awards
17:30 - 18:30
Grand Ballroom AB

PLDI Research Papers

Multicore and More
11:00 - 12:15

PLDI Research Papers

Concurrency Debugging
14:00 - 15:40

PLDI Research Papers

Programming-Student Feedback
16:10 - 17:00
Grand Ballroom CD

PLDI Student Research Competition (SRC)

SRC presentations
11:00 - 12:30

PLDI Research Papers

Synthesis and Learning
14:00 - 15:40

PLDI Research Papers

Analyzing Probabilistic Programs
16:10 - 17:00
Grand Ballroom Foyer

PLDI Catering

Breakfast
08:00 - 09:00

PLDI Catering

Coffee Break
10:30 - 11:00

PLDI Catering

Coffee Break
15:40 - 16:10

PLDI Catering

Social Hour
17:00 - 18:00

Fri 22 Jun 2018

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Columbus Ballroom

PLDI Catering

Lunch
12:15 - 14:00
Grand Ballroom

PLDI Invited Speakers

Keynote
09:00 - 10:00

PLDI Research Papers

Lightning Overview - Day 3
10:00 - 10:30
Grand Ballroom AB

PLDI Research Papers

Optimization and Locality
11:00 - 12:15

PLDI Research Papers

Verification
14:00 - 15:40

PLDI Research Papers

Parallelism
16:10 - 17:25
Grand Ballroom CD

PLDI Research Papers

Inference for Probabilistic Programs
11:00 - 12:15

PLDI Research Papers

Program Analysis
14:00 - 15:40

PLDI Research Papers

Types
16:10 - 17:25
Grand Ballroom Foyer

PLDI Catering

Breakfast
08:00 - 09:00

PLDI Catering

Coffee Break
10:30 - 11:00

PLDI Catering

Coffee Break
15:40 - 16:10

Mon 18 Jun 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Columbus Ballroom A
09:30 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:10 - 16:40
Columbus Ballroom B
09:00 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:10 - 16:40
16:40 - 17:10
17:10 - 17:35
Columbus Ballroom Foyer
08:00 - 09:00
10:30 - 11:00
15:40 - 16:10
Discovery AB
09:00 - 09:15
09:15 - 10:15
10:45 - 11:15
11:15 - 11:45
11:45 - 12:15
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 16:30
16:30 - 17:00
17:00 - 17:30
Discovery C
09:15 - 10:30
11:00 - 12:15
14:00 - 15:10
15:10 - 15:40
16:10 - 17:10
17:10 - 17:25
Grand Ballroom BCD
12:15 - 14:00
Innovation
09:00 - 10:30
11:00 - 12:15
14:00 - 15:40
16:10 - 17:35

Tue 19 Jun 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Admiral's Quarters
09:00 - 10:30
11:00 - 12:15
14:00 - 15:40
16:10 - 17:35
Columbus Ballroom A
08:45 - 08:55
08:55 - 09:15
09:15 - 10:00
10:00 - 10:30
11:00 - 11:45
11:45 - 12:15
13:15 - 14:30
14:30 - 15:00
15:00 - 15:30
16:00 - 17:00
17:00 - 17:15
Columbus Ballroom B
09:00 - 10:00
10:00 - 10:30
11:00 - 11:30
11:30 - 12:00
14:00 - 14:30
14:30 - 15:00
15:00 - 15:30
16:10 - 16:15
16:15 - 16:20
16:20 - 16:25
16:25 - 16:30
16:30 - 16:35
16:35 - 16:40
16:40 - 16:45
16:45 - 16:50
16:50 - 16:55
Columbus Ballroom Foyer
08:00 - 09:00
10:30 - 11:00
15:40 - 16:10
Discovery AB
09:00 - 09:15
09:15 - 10:30
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:25 - 16:40
16:40 - 16:55
16:55 - 17:10
17:10 - 17:25
Discovery C
09:00 - 10:30
11:00 - 12:15
14:00 - 15:40
16:10 - 17:35
Grand Ballroom C
09:00 - 10:00
10:00 - 10:35
11:00 - 11:35
11:35 - 12:10
14:00 - 14:35
14:35 - 15:10
15:10 - 15:45
16:10 - 16:45
16:45 - 17:20
Grand Ballroom CD
12:15 - 14:00
Grand Ballroom Foyer
12:50 - 13:50

Wed 20 Jun 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Columbus Ballroom
12:15 - 14:00
Grand Ballroom
09:00 - 10:00
Grand Ballroom AB
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:10 - 16:35
16:35 - 17:00
17:00 - 17:25
17:30 - 18:00
18:00 - 18:30
Grand Ballroom CD
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:10 - 16:35
16:35 - 17:00
17:00 - 17:25
Grand Ballroom Foyer
08:00 - 08:45
10:30 - 11:00
15:40 - 16:10

Thu 21 Jun 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Columbus Ballroom
12:30 - 14:00
Grand Ballroom
08:45 - 09:00
09:00 - 10:00
Grand Ballroom AB
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:10 - 16:35
16:35 - 17:00
Grand Ballroom CD
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:10 - 16:35
16:35 - 17:00
Grand Ballroom Foyer
08:00 - 08:45
10:30 - 11:00
15:40 - 16:10

Fri 22 Jun 2018

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Columbus Ballroom
12:15 - 14:00
Grand Ballroom
09:00 - 10:00
Grand Ballroom AB
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:10 - 16:35
16:35 - 17:00
17:00 - 17:25
Grand Ballroom CD
11:00 - 11:25
11:25 - 11:50
11:50 - 12:15
14:00 - 14:25
14:25 - 14:50
14:50 - 15:15
15:15 - 15:40
16:10 - 16:35
16:35 - 17:00
17:00 - 17:25
Grand Ballroom Foyer
08:00 - 09:00
10:30 - 11:00
15:40 - 16:10
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
session-calendar.ics
Detailed Event Calendar (ical)
event-calendar.ics