Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Filter
Conference Dates
Conference Dates are in time zone (GMT-07:00) Pacific Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

SOAP-2020-papers
05:00 - 06:00: SOAP 2020 - Keynote 1 at SOAP live stream
SOAP-2020-papers05:00 - 06:00
Talk
Peter W. O'HearnFacebook and University College London
Media Attached
rems-deepspec-2020
05:00 - 07:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 1 at REMS/DeepSpec live stream
rems-deepspec-202005:00 - 05:15
Talk
Peter SewellUniversity of Cambridge, Lennart BeringerPrinceton University
File Attached
rems-deepspec-202005:15 - 05:55
Talk
Joseph TassarottiBoston College
rems-deepspec-202006:05 - 06:45
Talk
Ji-Yong ShinYale University
pldi-2020-tutorials
06:00 - 07:30: Tutorials - Tutorial: Quantum Computers (1) at Quantum tutorial live stream
pldi-2020-tutorials06:00 - 07:30
Tutorial
Frank MuellerNorth Carolina State University, USA
SOAP-2020-papers
06:20 - 07:40: SOAP 2020 - Research Paper Presentations at SOAP live stream
SOAP-2020-papers06:20 - 06:46
Talk
Jixiang ShenThe University of Sydney, Xi WuThe University of Sydney, Neville GrechUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
SOAP-2020-papers06:46 - 07:13
Talk
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Ben HermannPaderborn University, Michael EichbergTU Darmstadt, Germany, Mira MeziniTechnische Universität Darmstadt
Media Attached
SOAP-2020-papers07:13 - 07:40
Talk
Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached
PLMW-PLDI-2020
07:00 - 09:00: PLMW@PLDI 2020 - Day 1 Morning at PLMW live stream
Chair(s): Stephen ChongHarvard University

Live-stream link: https://youtu.be/MqUcMIlKk8Y

Q+A link: https://app.sli.do/event/ylqeu5vx

PLMW-PLDI-202007:00 - 08:00
Talk
Eran YahavTechnion
PLMW-PLDI-202008:00 - 09:00
Talk
Alastair DonaldsonImperial College London
rems-deepspec-2020
07:00 - 09:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 2 at REMS/DeepSpec live stream
rems-deepspec-202007:00 - 07:40
Talk
Alasdair ArmstrongUniversity of Cambridge, Thomas BauereissUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Alastair ReidGoogle Research, Kathryn E. GrayFacebook, Robert M. NortonUniversity of Cambridge, Prashanth MundkurSRI International, Mark WassellUniversity of Cambridge, Jon FrenchUniversity of Cambridge, Christopher PulteUniversity of Cambridge, UK, Shaked FlurGoogle, Ian StarkThe University of Edinburgh, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Peter SewellUniversity of Cambridge
rems-deepspec-202007:50 - 08:30
Talk
Shaked FlurGoogle, Christopher PulteUniversity of Cambridge, UK, Luc MarangetInria Paris, Will DeaconARM Ltd., Susmit SarkarUniversity of St. Andrews, Ben Simner, Jean Pichon-PharabodUniversity of Cambridge, UK, Jeehoon KangKAIST, Sung-Hwan LeeSeoul National University, South Korea, Chung-Kil HurSeoul National University, South Korea, Alasdair ArmstrongUniversity of Cambridge, Ohad KammarUniversity of Edinburgh, Jon FrenchUniversity of Cambridge, Kathryn E. GrayFacebook, Ali SezginUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
pldi-2020-tutorials
07:45 - 09:15: Tutorials - Tutorial: Quantum Computers (2) at Quantum tutorial live stream
SOAP-2020-papers
08:00 - 09:00: SOAP 2020 - Tool Talks 1 at SOAP live stream
SOAP-2020-papers08:00 - 08:15
Other
Bernhard ScholzUniversity of Sydney, Australia
Media Attached
SOAP-2020-papers08:15 - 08:30
Other
Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
SOAP-2020-papers08:30 - 08:45
Other
Gábor MártonEricsson Ltd, Dániel KruppEricsson Ltd
Media Attached
SOAP-2020-papers08:45 - 09:00
Other
Cristian CadarImperial College London, Martin NowackImperial College London
Media Attached
pldi-2020-tutorials
08:00 - 12:00: Tutorials - Tutorial: Design Space Exploration at Design Space Exploration tutorial live stream
pldi-2020-tutorials08:00 - 12:00
Tutorial
Matthew FeldmanStanford University, USA, Artur SouzaUniversidade Federal de Minas Gerais (UFMG), Luigi NardiLund University and Stanford University, Kunle OlukotunStanford University
rems-deepspec-2020
09:00 - 11:00: REMS-DeepSpec 2020 - REM-DeepSpec Session 3 at REMS/DeepSpec live stream
rems-deepspec-202009:00 - 09:40
Talk
Kayvan MemarianUniversity of Cambridge, Victor B. F. GomesUniversity of Cambridge, UK, Stella Lau, Jean Pichon-PharabodUniversity of Cambridge, UK, Justus MatthiesenUniversity of Cambridge, Peter SewellUniversity of Cambridge
rems-deepspec-202009:50 - 10:30
Talk
Andrew AppelPrinceton
SOAP-2020-papers
09:20 - 10:20: SOAP 2020 - Keynote 2 at SOAP live stream
SOAP-2020-papers09:20 - 10:20
Talk
Media Attached
pldi-2020-tutorials
09:30 - 11:00: Tutorials - Tutorial: Quantum Computers (3) at Quantum tutorial live stream
PLMW-PLDI-2020
10:00 - 12:00: PLMW@PLDI 2020 - Day 1 Afternoon at PLMW live stream
Chair(s): Nadia PolikarpovaUniversity of California, San Diego

Live-stream link: https://youtu.be/JGzS4e-2zAM

Q+A link: https://app.sli.do/event/xow5jjne

PLMW-PLDI-202010:00 - 11:00
Talk
Ranjit JhalaUniversity of California at San Diego, USA
PLMW-PLDI-202011:00 - 12:00
Live Q&A
Alexandra SilvaUniversity College London, Stephen FreundWilliams College, Madan MusuvathiMicrosoft Research, Loris D'AntoniUniversity of Wisconsin-Madison, USA
SOAP-2020-papers
10:40 - 12:00: SOAP 2020 - Tool Talks 2 at SOAP live stream
SOAP-2020-papers10:40 - 10:56
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Media Attached
SOAP-2020-papers10:56 - 11:12
Other
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University
Media Attached File Attached
SOAP-2020-papers11:12 - 11:28
Other
Linghui LuoPaderborn University, Germany
Media Attached
SOAP-2020-papers11:28 - 11:44
Other
Julian DolbyIBM Research, USA
Media Attached
SOAP-2020-papers11:44 - 12:00
Other
pldi-2020-tutorials
11:15 - 12:45: Tutorials - Tutorial: Quantum Computers (4) at Quantum tutorial live stream
pldi-2020-sponsors
13:00 - 14:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors13:00 - 14:00
Talk

Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

ismm-2020
03:00 - 05:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-202004:30 - 05:00
Day opening
Martin MaasGoogle Research, Chen DingUniversity of Rochester
infer-2020-talks
infer-2020-talks04:30 - 05:00
Day opening
rems-deepspec-2020
05:00 - 07:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 4 at REMS/DeepSpec live stream
rems-deepspec-202005:00 - 05:40
Talk
Thomas BauereissUniversity of Cambridge, Kyndylan NienhuisUniversity of Cambridge, Alexandre JoannouUniversity of Cambridge, Anthony FoxUniversity of Cambridge, UK, Michael RoeUniversity of Cambridge, Brian CampbellUniversity of Edinburgh, Matthew NaylorUniversity of Cambridge, Robert M. NortonUniversity of Cambridge, Simon W. MooreUniversity of Cambridge, Peter G. NeumannSRI International, Ian StarkThe University of Edinburgh, Robert N. M. WatsonUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
rems-deepspec-202005:50 - 06:30
Talk
Steven Keuchel, Georgy LukyanovNewcastle University, UK, Dominique DevrieseVrije Universiteit Brussel
File Attached
infer-2020-talks
05:00 - 07:00: Infer Practitioners 2020 - Session 1 at Infer Practitioners live stream
Chair(s): Dulma ChurchillFacebook London
infer-2020-talks05:00 - 05:45
Talk
infer-2020-talks05:45 - 06:30
Talk
Ezgi ÇiçekFacebook London
infer-2020-talks06:30 - 07:00
Coffee break
ismm-2020
05:00 - 07:00: ISMM 2020 - Session 1A at ISMM live stream
Chair(s): Erez PetrankTechnion, Israel
ismm-202005:00 - 05:30
Talk
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
ismm-202005:30 - 06:00
Talk
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
ismm-202006:00 - 06:30
Talk
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
ismm-202006:30 - 07:00
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
pldi-2020-tutorials
05:00 - 09:00: Tutorials - Tutorial: Declarative Language Definition at Spoofax tutorial live stream
pldi-2020-tutorials05:00 - 09:00
Tutorial
Eelco VisserDelft University of Technology
Media Attached
pldi-2020-tutorials
05:00 - 09:00: Tutorials - Tutorial: Programming for Autonomy at Programming for Autonomy tutorial live stream
pldi-2020-tutorials05:00 - 09:00
Tutorial
Amit ChopraLancaster University, Munindar P. SinghNorth Carolina State University
PLMW-PLDI-2020
07:00 - 09:00: PLMW@PLDI 2020 - Day 2 Morning at PLMW live stream
Chair(s): Adrian SampsonCornell University, USA

Live-stream link: https://youtu.be/ZLaps-g97CA

Q+A link: https://app.sli.do/event/h1ag9n8j

PLMW-PLDI-202007:00 - 08:00
Talk
Michael CarbinMassachusetts Institute of Technology, USA
PLMW-PLDI-202008:00 - 09:00
Talk
Amal AhmedNortheastern University, USA
rems-deepspec-2020
07:00 - 09:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 5 at REMS/DeepSpec live stream
rems-deepspec-202007:00 - 07:40
Talk
Philippa GardnerImperial College London, UK, José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK
rems-deepspec-202007:50 - 08:30
Talk
Conrad WattUniversity of Cambridge, UK, Guillaume BarbierENS Rennes, France, Martin BodinImperial College London, Sunjay CauligiUniversity of California at San Diego, USA, Craig DisselkoenUniversity of California at San Diego, USA, Stephen DolanUniversity of Cambridge, UK, Shaked FlurGoogle, Philippa GardnerImperial College London, UK, Tal GarfinkelStanford University, Shu-yu GuoBloomberg, USA, Neel KrishnaswamiComputer Laboratory, University of Cambridge, Amit Levy, Petar MaksimovićImperial College London, UK, Jean Pichon-PharabodUniversity of Cambridge, UK, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Natalie PopescuUniversity of California San Diego, Christopher PulteUniversity of Cambridge, UK, John RennerUniversity of California at San Diego, USA, Andreas RossbergDfinity Stiftung, Deian StefanUniversity of California at San Diego, USA, Rao XiaojImperial College
infer-2020-talks
07:00 - 09:00: Infer Practitioners 2020 - Session 2 at Infer Practitioners live stream
Chair(s): Nikos GorogiannisFacebook and Middlesex University London
infer-2020-talks07:00 - 07:45
Talk
Tomas FiedorVUT Brno, Dominik HarmimBrno University of Technology, Faculty of Information Technology, Vladimir MarcinBrno University of Technology, Faculty of Information Technology, Ondřej PavelaBrno University of Technology, Faculty of Information Technology, Adam RogalewiczBrno University of Technology, Faculty of Information Technology, Tomas VojnarBrno University of Technology
infer-2020-talks07:45 - 08:30
Talk
infer-2020-talks08:30 - 09:00
Coffee break
ismm-2020
07:00 - 09:00: ISMM 2020 - Session 2A at ISMM live stream
Chair(s): Stefano MarkidisKTH Royal Institute of Technology
ismm-202007:00 - 07:30
Talk
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
ismm-202007:30 - 08:00
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
ismm-202008:00 - 08:30
Talk
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
ismm-202008:30 - 09:00
Talk
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
mapl-2020-papers
08:00 - 10:00: MAPL - Graph Neural Networks for Program Reasoning at MAPL live stream
Chair(s): Ke WangVisa Research
mapl-2020-papers08:00 - 08:30
Talk
Elizabeth DinellaUniversity of Pennsylvania
mapl-2020-papers08:30 - 09:30
Tutorial
mapl-2020-papers09:30 - 10:00
Talk
Isil DilligUniversity of Texas at Austin, USA
rems-deepspec-2020
09:00 - 11:00: REMS-DeepSpec 2020 - REMS-DeepSpec Session 6 at REMS/DeepSpec live stream
rems-deepspec-202009:00 - 09:40
Talk
Yannick ZakowskiUniversity of Pennsylvania
rems-deepspec-202009:50 - 10:30
Talk
Adam ChlipalaMassachusetts Institute of Technology, Andres Erbsen, Sam GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, USA
ismm-2020
09:00 - 11:00: ISMM 2020 - Session 1B (Repeat of Session 1A) at ISMM live stream
Chair(s): Ian RogersGoogle, USA
ismm-202009:00 - 09:30
Talk
Sam AinsworthUniversity of Cambridge, Timothy M. JonesUniversity of Cambridge, UK
ismm-202009:30 - 10:00
Talk
Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay
ismm-202010:00 - 10:30
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden
ismm-202010:30 - 11:00
Talk
Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University
infer-2020-talks
09:00 - 11:00: Infer Practitioners 2020 - Session 3 at Infer Practitioners live stream
Chair(s): Ezgi ÇiçekFacebook London
infer-2020-talks09:00 - 09:45
Talk
Shao Kun DengMicrosoft Corporation, Matthew JinMicrosoft Corporation, Xiaoyu LiuMicrosoft Corporation, Xin ShiMicrosoft Corporation, Neel SundaresanMicrosoft Corporation
infer-2020-talks09:45 - 10:30
Talk
infer-2020-talks10:30 - 11:00
Live Q&A
Dulma ChurchillFacebook London, Ezgi ÇiçekFacebook London, Nikos GorogiannisFacebook and Middlesex University London, Jules VillardFacebook London
mapl-2020-papers
10:00 - 10:30: MAPL - Break at MAPL live stream
PLMW-PLDI-2020
10:00 - 12:00: PLMW@PLDI 2020 - Day 2 Afternoon at PLMW live stream
Chair(s): Milind KulkarniPurdue University

Live-stream link: https://youtu.be/ZLaps-g97CA

Q+A link: https://app.sli.do/event/8wslmeqz

PLMW-PLDI-202010:00 - 11:00
Talk
Emery BergerUniversity of Massachusetts Amherst
PLMW-PLDI-202011:00 - 12:00
Live Q&A
Fredrik KjolstadStanford University, Jean YangCarnegie Mellon University, Chandrakana NandiUniversity of Washington, USA, Eva DarulovaMPI-SWS, Germany
mapl-2020-papers
10:30 - 11:30: MAPL - Deep Learning and Program Verification at MAPL live stream
Chair(s): Xujie SiMcGill University, Canada
mapl-2020-papers10:30 - 11:00
Talk
Guy KatzHebrew University
mapl-2020-papers11:00 - 11:30
Talk
Alex Sanchez-SternUniversity of California, San Diego, Yousef AlhessiUniversity of California, San Diego, Lawrence SaulUniversity of California, San Diego, Sorin LernerUniversity of California at San Diego, USA
ismm-2020
11:00 - 13:00: ISMM 2020 - Keynote & Social Hour at ISMM live stream
Chair(s): Chen DingUniversity of Rochester, Martin MaasGoogle Research
ismm-202011:00 - 12:00
Talk
Richard JonesUniversity of Kent
ismm-202012:00 - 13:00
Social Event
mapl-2020-papers
11:30 - 12:30: MAPL - Compilers for Deep Learning Frameworks at MAPL live stream
Chair(s): Charles SuttonGoogle Research
mapl-2020-papers11:30 - 12:00
Talk
Ruizhe ZhaoImperial College London, Wayne LukImperial College London, Chao XiongCorerain Technologies, Xinyu NiuCorerain Technologies, Kuen Hung TsoiCorerain Technologies
mapl-2020-papers12:00 - 12:30
Talk
Momoko HattoriThe University of Tokyo, Shimpei SawadaPreferred Networks, Shinichiro HamajiPreferred Networks, Masahiro SakaiPreferred Networks, Shunsuke ShimizuPreferred Networks
mapl-2020-papers
12:30 - 13:00: MAPL - Break at MAPL live stream
ismm-2020
13:00 - 15:00: ISMM 2020 - Hallway Track at ISMM live stream
mapl-2020-papers
13:00 - 14:00: MAPL - Keynote Talk at MAPL live stream
Chair(s): Justin GottschlichIntel Labs / Penn
mapl-2020-papers13:00 - 14:00
Talk
Alex AikenStanford University, USA
mapl-2020-papers
14:00 - 15:00: MAPL - Formal Methods and Reinforcement Learning at MAPL live stream
Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison, USA
mapl-2020-papers14:00 - 14:30
Talk
Lujing CenMIT CSAIL, Ryan MarcusMIT CSAIL / Intel Labs, Hongzi MaoMIT CSAIL, Justin GottschlichIntel Labs / Penn, Mohammad AlizadehMIT CSAIL, Tim KraskaMIT CSAIL
mapl-2020-papers14:30 - 15:00
Talk
Swarat ChaudhuriRice University
mapl-2020-papers
15:00 - 15:30: MAPL - Break at MAPL live stream
ismm-2020
15:00 - 17:00: ISMM 2020 - Session 2B (Repeat of Session 2A) at ISMM live stream
Chair(s): Po-An TsaiNVIDIA
ismm-202015:00 - 15:30
Talk
Shihao SongDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University
ismm-202015:30 - 16:00
Talk
Wentao CaiUniversity of Rochester, Haosen WenUniversity of Rochester, H. Alan BeadleUniversity of Rochester, Chris KjellqvistUniversity of Rochester, Mohammad HedayatiUniversity of Rochester, Michael ScottUniversity of Rochester
ismm-202016:00 - 16:30
Talk
Ben GamariWell-Typed LLP, Laura DietzUniversity of New Hampshire
ismm-202016:30 - 17:00
Talk
Andrew AppelPrinceton, David NaumannStevens Institute of Technology
mapl-2020-papers
15:30 - 17:00: MAPL - Program Synthesis at MAPL live stream
Chair(s): Satish ChandraFacebook
mapl-2020-papers15:30 - 16:00
Talk
Armando Solar-LezamaMassachusetts Institute of Technology, USA
mapl-2020-papers16:00 - 16:30
Talk
Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
mapl-2020-papers16:30 - 17:00
Talk
Rishabh SinghGoogle Brain
mapl-2020-papers
17:00 - 17:30: MAPL - Break at MAPL live stream
ismm-2020
17:00 - 19:00: ISMM 2020 - Hallway Track at ISMM live stream
ismm-202017:00 - 17:10
Day closing
Chen DingUniversity of Rochester, Martin MaasGoogle Research
pldi-2020-sponsors
18:00 - 19:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors18:00 - 19:00
Talk
Sebastian BurckhardtMicrosoft Research, Konstantinos KallasUniversity of Pennsylvania

Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-papers
04:45 - 05:00: PLDI Research Papers - Welcome! at PLDI Research Papers live stream
Chair(s): Alastair DonaldsonImperial College London
pldi-2020-papers
05:00 - 06:00: PLDI Research Papers - Machine Learning I at PLDI Research Papers live stream
Chair(s): Antonio FilieriImperial College London

YouTube lightning session video

pldi-2020-papers05:00 - 05:20
Talk
Miltiadis AllamanisMicrosoft Research, Earl T. BarrUniversity College London, UK, Soline DucoussoENSTA Paris, France, Zheng GaoUniversity College London, UK
pldi-2020-papers05:20 - 05:40
Talk
Jianan YaoColumbia University, USA, Gabriel RyanColumbia University, USA, Justin WongColumbia University, USA, Suman JanaColumbia University, USA, Ronghui GuColumbia University, USA
pldi-2020-papers05:40 - 06:00
Talk
Ke WangVisa Research, Zhendong SuETH Zurich, Switzerland
pldi-2020-sponsors
06:00 - 07:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors06:00 - 07:00
Talk
Aymeric FromherzCarnegie Mellon University, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research
pldi-2020-papers
06:20 - 07:40: PLDI Research Papers - Networking and Hardware at PLDI Research Papers live stream
Chair(s): Luís PinaUniversity of Illinois at Chicago

YouTube lightning session video

pldi-2020-papers06:20 - 06:40
Talk
Nick GiannarakisPrinceton University, USA, Devon LoehrPrinceton University, USA, Ryan BeckettMicrosoft Research, USA, David WalkerPrinceton University, USA
pldi-2020-papers06:40 - 07:00
Talk
Hongjune KimSeoul National University, South Korea, Jianping ZengPurdue University, USA, Qingrui LiuVirginia Tech, USA, Mohammad Abdel-MajeedUniversity of Jordan, Jordan, Jaejin LeeSeoul National University, South Korea, Changhee JungPurdue University, USA
pldi-2020-papers07:00 - 07:20
Talk
Kiwan MaengCarnegie Mellon University, USA, Brandon LuciaCarnegie Mellon University, USA
pldi-2020-papers07:20 - 07:40
Talk
Kausik SubramanianUniversity of Wisconsin-Madison, USA, Anubhavnidhi AbhashkumarUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA, Aditya AkellaUniversity of Wisconsin-Madison, USA
pldi-2020-ask-me-anything
07:40 - 08:00: Ask Me Anything - Session 1 at Ask Me Anything live stream
Chair(s): Benjamin C. PierceUniversity of Pennsylvania
pldi-2020-ask-me-anything07:40 - 08:00
Live Q&A
Simon Peyton JonesMicrosoft, UK
pldi-2020-papers
08:00 - 09:00: PLDI Research Papers - Synthesis I at PLDI Research Papers live stream
Chair(s): James BornholtUniversity of Texas at Austin

YouTube lightning session video

pldi-2020-papers08:00 - 08:20
Talk
Anders MiltnerPrinceton University, USA, Saswat PadhiUniversity of California at Los Angeles, USA, Todd MillsteinUniversity of California at Los Angeles, USA, David WalkerPrinceton University, USA
pldi-2020-papers08:20 - 08:40
Talk
Georgios SakkasUniversity of California at San Diego, USA, Madeline EndresUniversity of Michigan, USA, Benjamin CosmanUniversity of California at San Diego, USA, Westley WeimerUniversity of Michigan, USA, Ranjit JhalaUniversity of California at San Diego, USA
pldi-2020-papers08:40 - 09:00
Talk
Chandrakana NandiUniversity of Washington, USA, Max WillseyUniversity of Washington, USA, Adam AndersonUniversity of Washington, USA, James R. WilcoxCertora, USA, Eva DarulovaMPI-SWS, Germany, Dan GrossmanUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle
pldi-2020-ask-me-anything
09:00 - 09:20: Ask Me Anything - Session 2 at Ask Me Anything live stream
Chair(s): Peter MüllerETH Zurich
pldi-2020-ask-me-anything09:00 - 09:20
Live Q&A
Byron CookAmazon and University College London
pldi-2020-papers
09:20 - 10:20: PLDI Research Papers - Memory Management at PLDI Research Papers live stream
Chair(s): Ting CaoMicrosoft Research

YouTube lightning session video

pldi-2020-papers09:20 - 09:40
Talk
Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Tobias WrigstadUppsala University, Sweden
pldi-2020-papers09:40 - 10:00
Talk
Jeehoon KangKAIST, Jaehwang JungKAIST, South Korea
pldi-2020-papers10:00 - 10:20
Talk
Brian SuchyNorthwestern University, USA, Simone CampanoniNorthwestern University, USA, Nikos HardavellasNorthwestern University, USA, Peter DindaNorthwestern University, USA
pldi-2020-ask-me-anything
10:20 - 10:40: Ask Me Anything - Session 3 at Ask Me Anything live stream
Chair(s): Adrian SampsonCornell University, USA
pldi-2020-ask-me-anything10:20 - 10:40
Live Q&A
Margaret MartonosiPrinceton University and NSF
pldi-2020-sigplan-cares
10:40 - 11:10: SIGPLAN CARES - SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link) at SIGPLAN Cares
pldi-2020-papers
pldi-2020-papers10:40 - 11:00
Talk
Siddharth KrishnaMicrosoft Research, Cambridge, Nisarg PatelNew York University, USA, Dennis ShashaNew York University, USA, Thomas WiesNew York University, USA
pldi-2020-papers11:00 - 11:20
Talk
Jacob R. LorchMicrosoft Research, USA, Yixuan ChenUniversity of Michigan, USA / Yale University, USA, Manos KapritsosUniversity of Michigan, USA, Bryan ParnoCarnegie Mellon University, USA, Shaz QadeerNovi, USA, Upamanyu SharmaUniversity of Michigan, USA, James R. WilcoxCertora, USA, Xueyuan ZhaoCarnegie Mellon University, USA
DOI
pldi-2020-papers11:20 - 11:40
Talk
Ori LahavTel Aviv University, Israel, Udi BokerIDC Herzliya, Israel
pldi-2020-papers11:40 - 12:00
Talk
Bernhard KraglIST Austria, Constantin EneaUniversity of Paris Diderot, France, Thomas A. HenzingerIST Austria, Austria, Suha Orhun MutluergilIRIF, France / University of Paris, France / CNRS, France, Shaz QadeerNovi, USA
pldi-2020-ask-me-anything
12:00 - 12:30: Ask Me Anything - Session 4 at Ask Me Anything live stream
Chair(s): Michael HicksUniversity of Maryland
pldi-2020-ask-me-anything12:00 - 12:30
Live Q&A
pldi-2020-ask-me-anything
12:30 - 13:00: Ask Me Anything - Session 5 at Ask Me Anything live stream
Chair(s): John RegehrUniversity of Utah
pldi-2020-ask-me-anything12:30 - 13:00
Live Q&A
Bjarne StroustrupMorgan Stanley and Columbia University
pldi-2020-papers
13:00 - 14:00: PLDI Research Papers - Language Implementation at PLDI Research Papers live stream
Chair(s): Chris SeatonShopify

YouTube lightning session video

pldi-2020-papers13:00 - 13:20
Talk
Matthew FlattUniversity of Utah, USA, R. Kent DybvigCisco Systems, USA
pldi-2020-papers13:20 - 13:40
Talk
Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA
pldi-2020-papers13:40 - 14:00
Talk
Kavon FarvardinUniversity of Chicago, USA, John ReppyUniversity of Chicago, USA
pldi-2020-ask-me-anything
14:00 - 14:20: Ask Me Anything - Session 6 at Ask Me Anything live stream
Chair(s): Emery BergerUniversity of Massachusetts Amherst
pldi-2020-ask-me-anything14:00 - 14:20
Live Q&A
Michelle StroutUniversity of Arizona
pldi-2020-papers
pldi-2020-papers14:20 - 14:40
Talk
Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland
pldi-2020-papers14:40 - 15:00
Talk
Sangeeta ChowdharyRutgers University, USA, Jay P. LimRutgers University, USA, Santosh NagarakatteRutgers University, USA
pldi-2020-papers15:00 - 15:20
Talk
Jake RoemerOhio State University, USA, Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA
pldi-2020-papers15:20 - 15:40
Talk
Boqin QinBeijing University of Posts and Telecommunications, Pennsylvania State University, Yilun ChenPurdue University, USA, Zeming YuPennsylvania State University, USA, Linhai SongPennsylvania State University, USA, Yiying ZhangUniversity of California at San Diego, USA
pldi-2020-Student-Research-Competition
pldi-2020-ask-me-anything
15:40 - 16:00: Ask Me Anything - Session 7 at Ask Me Anything live stream
Chair(s): Derek DreyerMPI-SWS
pldi-2020-ask-me-anything15:40 - 16:00
Live Q&A
pldi-2020-papers
16:00 - 17:00: PLDI Research Papers - Security at PLDI Research Papers live stream
Chair(s): Tony HoskingAustralian National University / Data61

YouTube lightning session video

pldi-2020-papers16:00 - 16:20
Talk
Fraser BrownStanford University, USA, John RennerUniversity of California at San Diego, USA, Andres NötzliStanford University, USA, Sorin LernerUniversity of California at San Diego, USA, Hovav ShachamUniversity of Texas at Austin, USA, Deian StefanUniversity of California at San Diego, USA
pldi-2020-papers16:20 - 16:40
Talk
Gregory J. DuckNational University of Singapore, Singapore, Xiang GaoNational University of Singapore, Singapore, Abhik RoychoudhuryNational University of Singapore, Singapore
pldi-2020-papers16:40 - 17:00
Talk
Chris PorterGeorgia Institute of Technology, USA, Girish MururuGeorgia Institute of Technology, USA, Prithayan BaruaGeorgia Institute of Technology, USA, Santosh PandeGeorgia Institute of Technology, USA

Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-papers
04:50 - 05:00: PLDI Research Papers - Welcome! at PLDI Research Papers live stream
Chair(s): Alastair DonaldsonImperial College London
pldi-2020-papers
05:00 - 06:00: PLDI Research Papers - Concurrency at PLDI Research Papers live stream
Chair(s): Tyler SorensenImperial College London

YouTube lightning session video

pldi-2020-papers05:00 - 05:20
Talk
Conrad WattUniversity of Cambridge, UK, Christopher PulteUniversity of Cambridge, UK, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Guillaume BarbierENS Rennes, France, Stephen DolanUniversity of Cambridge, UK, Shaked FlurGoogle, Jean Pichon-PharabodUniversity of Cambridge, UK, Shu-yu GuoBloomberg, USA
Pre-print
pldi-2020-papers05:20 - 05:40
Talk
Sung-Hwan LeeSeoul National University, South Korea, Minki ChoSeoul National University, South Korea, Anton PodkopaevMPI-SWS, NRU HSE, JetBrains Research, Soham ChakrabortyIIT Delhi, India, Chung-Kil HurSeoul National University, South Korea, Ori LahavTel Aviv University, Israel, Viktor VafeiadisMPI-SWS, Germany
pldi-2020-papers05:40 - 06:00
Talk
Michal FriedmanTechnion, Israel, Naama Ben-DavidCarnegie Mellon University, USA, Yuanhao WeiCarnegie Mellon University, USA, Guy E. BlellochCarnegie Mellon University, USA, Erez PetrankTechnion, Israel
pldi-2020-sponsors
06:00 - 07:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors06:00 - 07:00
Talk
Leonardo De MouraMicrosoft Research, n.n., Sebastian UllrichKIT, Germany
pldi-2020-papers
pldi-2020-papers06:20 - 06:40
Talk
Fabian RitterSaarland University, Germany, Sebastian HackSaarland University, Germany
pldi-2020-papers06:40 - 07:00
Talk
Zhenwei WuNational University of Defense Technology, China / University of Manchester, UK, Kai LuNational University of Defense Technology, China, Andrew NisbetUniversity of Manchester, UK, Wenzhe ZhangNational University of Defense Technology, China, Mikel LujánUniversity of Manchester, UK
pldi-2020-papers07:00 - 07:20
Talk
Youwei ZhuoUniversity of Southern California, USA, Jingji ChenUniversity of Southern California, USA, Qinyi LuoUniversity of Southern California, USA, Yanzhi WangNortheastern University, USA, Hailong YangBeihang University, China, Depei QianBeihang University, China, Xuehai QianUniversity of Southern California, USA
pldi-2020-papers07:20 - 07:40
Talk
Sotiris ApostolakisPrinceton University, USA, Ziyang XuPrinceton University, USA, Zujun TanPrinceton University, USA, Greg ChanPrinceton University, USA, Simone CampanoniNorthwestern University, USA, David I. AugustPrinceton University, USA
DOI Pre-print Media Attached
pldi-2020-sponsors
07:40 - 08:00: Sponsors - GitHub meeting at Sponsors

Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting.

pldi-2020-Student-Research-Competition
08:00 - 09:00: Student Research Competition - Student Research Competition Talks at SRC

YouTube lightning session video

pldi-2020-ask-me-anything
09:00 - 09:20: Ask Me Anything - Session 8 at Ask Me Anything live stream
Chair(s): John WickersonImperial College London
pldi-2020-ask-me-anything09:00 - 09:20
Live Q&A
Peter W. O'HearnFacebook and University College London
pldi-2020-papers
09:20 - 10:20: PLDI Research Papers - Type Systems at PLDI Research Papers live stream
Chair(s): Arjun GuhaNortheastern University

YouTube lightning session video

pldi-2020-papers09:20 - 09:40
Talk
Rachit NigamCornell University, USA, Sachille AtapattuCornell University, USA, Samuel ThomasCornell University, USA, Zhijing LiCornell University, USA, Theodore BauerCornell University, USA, Yuwei YeCornell University, USA, Apurva KotiCornell University, USA, Adrian SampsonCornell University, USA, Zhiru ZhangCornell University, USA
pldi-2020-papers09:40 - 10:00
Talk
David DurstStanford University, USA, Matthew FeldmanStanford University, USA, Dillon HuffStanford University, USA, David AkeleyUniversity of California at Los Angeles, USA, Ross DalyStanford University, USA, Gilbert Louis BernsteinUniversity of California at Berkeley, USA, Marco PatrignaniStanford University, USA / CISPA, Germany, Kayvon FatahalianStanford University, USA, Pat HanrahanStanford University, USA
pldi-2020-papers10:00 - 10:20
Talk
Frank EmrichUniversity of Edinburgh, UK, Sam LindleyHeriot-Watt University, UK / The University of Edinburgh, UK / Imperial College London, UK, Jan StolarekUniversity of Edinburgh, UK, James CheneyUniversity of Edinburgh, UK, Jonathan CoatesUniversity of Edinburgh, UK
pldi-2020-ask-me-anything
10:20 - 10:40: Ask Me Anything - Session 9 at Ask Me Anything live stream
Chair(s): Kathleen FisherTufts University, USA
pldi-2020-ask-me-anything10:20 - 10:40
Live Q&A
Alex AikenStanford University, USA
pldi-2020-papers
10:40 - 11:40: PLDI Research Papers - Machine Learning II at PLDI Research Papers live stream
Chair(s): Ke WangVisa Research

YouTube lightning session video

pldi-2020-papers10:40 - 11:00
Talk
Samuel DrewsUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA
pldi-2020-papers11:00 - 11:20
Talk
Muhammad UsmanUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Marko VasicUniversity of Texas at Austin, USA, Kaiyuan WangGoogle, USA, Haris VikaloUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin, USA
pldi-2020-papers11:20 - 11:40
Talk
Jingxuan HeETH Zurich, Switzerland, Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
pldi-2020-sponsors
11:40 - 12:00: Sponsors - GitHub meeting at Sponsors

Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting.

pldi-2020-papers
11:40 - 13:00: PLDI Research Papers - PLDI Business Meeting at Business Meeting live stream

The agenda for the business meeting will include:

  • General Chair’s report
  • Program Chair’s report + Distinguished Paper awards
  • Artifiact Evaluation Chairs’ report + Distinguished Artifact Award
  • Plans for PLDI 2021
  • A report on the State of SIGPLAN
pldi-2020-papers11:40 - 13:00
Talk
pldi-2020-sponsors
12:00 - 13:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors12:00 - 13:00
Talk
Tom Ball, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research
pldi-2020-papers
13:00 - 14:00: PLDI Research Papers - Code Generation at PLDI Research Papers live stream
Chair(s): Fan LongUniversity of Toronto

YouTube lightning session video

pldi-2020-papers13:00 - 13:20
Talk
Stephen ChouMassachusetts Institute of Technology, USA, Fredrik KjolstadStanford University, Saman AmarasingheMassachusetts Institute of Technology, USA
Pre-print
pldi-2020-papers13:20 - 13:40
Talk
Ankush PhuliaIIT Delhi, India, Vaibhav BhageeIIT Delhi, India, Sorav BansalIIT Delhi, India
pldi-2020-papers13:40 - 14:00
Talk
Rodrigo C. O. RochaUniversity of Edinburgh, UK, Pavlos PetoumenosUniversity of Manchester, UK, Zheng WangUniversity of Leeds, UK, Murray ColeUniversity of Edinburgh, UK, Hugh LeatherUniversity of Edinburgh, UK
pldi-2020-ask-me-anything
14:00 - 14:20: Ask Me Anything - Session 10 at Ask Me Anything live stream
Chair(s): Stephen KellUniversity of Kent
pldi-2020-ask-me-anything14:00 - 14:20
Live Q&A
Richard P. GabrielDream Songs, Inc. & HPI
pldi-2020-papers
14:20 - 15:40: PLDI Research Papers - Language Design I at PLDI Research Papers live stream
Chair(s): Adrian SampsonCornell University, USA

YouTube lightning session video

pldi-2020-papers14:20 - 14:40
Talk
Benjamin BichselETH Zurich, Switzerland, Maximilian BaaderETH Zurich, Switzerland, Timon GehrETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
pldi-2020-papers14:40 - 15:00
Talk
Thomas BourgeatMassachusetts Institute of Technology, USA, Clément Pit-ClaudelMassachusetts Institute of Technology, USA, Adam ChlipalaMassachusetts Institute of Technology, ArvindMassachusetts Institute of Technology, USA
pldi-2020-papers15:00 - 15:20
Talk
Fabian SchuikiETH Zurich, Switzerland, Andreas KurthETH Zurich, Switzerland, Tobias GrosserETH Zurich, Switzerland, Luca BeniniETH Zurich, Switzerland
Link to publication Pre-print
pldi-2020-papers15:20 - 15:40
Talk
Shaopeng ZhuUniversity of Maryland, USA, Shih-Han HungUniversity of Maryland, USA, Shouvanik ChakrabartiUniversity of Maryland, USA, Xiaodi WuUniversity of Maryland, USA
pldi-2020-ask-me-anything
15:40 - 16:00: Ask Me Anything - Session 11 at Ask Me Anything live stream
Chair(s): Michelle StroutUniversity of Arizona
pldi-2020-ask-me-anything15:40 - 16:00
Live Q&A
Kathleen FisherTufts University, USA
pldi-2020-papers
pldi-2020-papers16:00 - 16:20
Talk
Qiaochu ChenUniversity of Texas at Austin, USA, Xinyu WangUniversity of Michigan at Ann Arbor, USA, Xi YeUniversity of Texas at Austin, USA, Greg DurrettUniversity of Texas at Austin, USA, Isil DilligUniversity of Texas at Austin, USA
pldi-2020-papers16:20 - 16:40
Talk
DongKwon LeeSeoul National University, South Korea, Woosuk LeeHanyang University, South Korea, Hakjoo OhKorea University, South Korea, Kwangkeun YiSeoul National University, South Korea
pldi-2020-papers16:40 - 17:00
Talk
Pepe VilaIMDEA Software Institute, Spain, Pierre GantyIMDEA Software Institute, Spain, Marco GuarnieriIMDEA Software Institute, Spain, Boris KöpfMicrosoft Research, n.n.
pldi-2020-sigplan-cares
17:00 - 17:30: SIGPLAN CARES - SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link) at SIGPLAN Cares

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

pldi-2020-papers
04:50 - 05:00: PLDI Research Papers - Welcome! at PLDI Research Papers live stream
Chair(s): Alastair DonaldsonImperial College London
pldi-2020-papers
05:00 - 06:00: PLDI Research Papers - Probabilistic Programming at PLDI Research Papers live stream
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign

YouTube lightning session video

pldi-2020-papers05:00 - 05:20
Talk
Jianhui ChenTsinghua University, China, Fei HeTsinghua University, China
pldi-2020-papers05:20 - 05:40
Talk
Timon GehrETH Zurich, Switzerland, Samuel SteffenETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland
pldi-2020-papers05:40 - 06:00
Talk
Guillaume BaudartIBM Research, Louis MandelIBM Research, Eric AtkinsonMassachusetts Institute of Technology, USA, Benjamin ShermanMassachusetts Institute of Technology, USA, Marc PouzetÉcole normale supérieure, Michael CarbinMassachusetts Institute of Technology, USA
Pre-print
pldi-2020-papers
06:20 - 07:40: PLDI Research Papers - Parsing, Debugging, and Code Search at PLDI Research Papers live stream
Chair(s): Dan BarowyWilliams College

YouTube lightning session video

pldi-2020-papers06:20 - 06:40
Talk
Grzegorz HermanJagiellonian University, Poland
pldi-2020-papers06:40 - 07:00
Talk
Romain EdelmannEPFL, Switzerland, Jad HamzaEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
pldi-2020-papers07:00 - 07:20
Talk
Yuanbo LiGeorgia Institute of Technology, USA, Shuo DingGeorgia Institute of Technology, USA, Qirun ZhangGeorgia Institute of Technology, USA, Davide ItalianoApple, USA
pldi-2020-papers07:20 - 07:40
Talk
Varot PremtoonMassachusetts Institute of Technology, USA, James KoppelMassachusetts Institute of Technology, USA, Armando Solar-LezamaMassachusetts Institute of Technology, USA
pldi-2020-papers
08:00 - 09:00: PLDI Research Papers - Synthesis III at PLDI Research Papers live stream
Chair(s): Santosh NagarakatteRutgers University, USA

YouTube lightning session video

pldi-2020-papers08:00 - 08:20
Talk
Qinheping HuUniversity of Wisconsin-Madison, USA, John CyphertUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA, Thomas RepsUniversity of Wisconsin-Madison, USA
pldi-2020-papers08:20 - 08:40
Paper
Ruyi JiPeking University, China, Jingjing LiangPeking University, China, Yingfei XiongPeking University, China, Lu ZhangPeking University, China, Zhenjiang HuPeking University, China
Pre-print
pldi-2020-papers08:40 - 09:00
Talk
Kangjing HuangPurdue University, USA, Xiaokang QiuPurdue University, USA, Peiyuan ShenPurdue University, USA, Yanjun WangPurdue University, USA
pldi-2020-papers
09:20 - 10:20: PLDI Research Papers - Smart Contracts at PLDI Research Papers live stream
Chair(s): Ilya SergeyYale-NUS College and National University of Singapore

YouTube lightning session video

pldi-2020-papers09:20 - 09:40
Talk
Ao LiUniversity of Toronto, Canada, Jemin Andrew ChoiUniversity of Toronto, Canada, Fan LongUniversity of Toronto, Canada
pldi-2020-papers09:40 - 10:00
Talk
Lexi BrentInternational Computer Science Institute, USA / University of Sydney, Australia, Neville GrechUniversity of Athens, Greece, Sifis LagouvardosUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
pldi-2020-papers10:00 - 10:20
Talk
Sidi Mohamed BeillahiIRIF - Université de Paris, Gabriela CiocarlieSRI International, Michael EmmiAmazon Web Services, Constantin EneaUniversity of Paris Diderot, France
pldi-2020-ask-me-anything
10:20 - 10:40: Ask Me Anything - Session 13 at Ask Me Anything live stream
Chair(s): Emina TorlakUniversity of Washington
pldi-2020-ask-me-anything10:20 - 10:40
Live Q&A
Isil DilligUniversity of Texas at Austin, USA
pldi-2020-papers
10:40 - 12:00: PLDI Research Papers - Verification II at PLDI Research Papers live stream
Chair(s): Manu SridharanUniversity of California Riverside

YouTube lightning session video

pldi-2020-papers10:40 - 11:00
Talk
Sandeep DasguptaUniversity of Illinois at Urbana-Champaign, USA, Sushant DineshUniversity of Illinois at Urbana-Champaign, USA, Deepan VenkateshUniversity of Illinois at Urbana-Champaign, USA, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, USA, Christopher W. FletcherUniversity of Illinois at Urbana-Champaign, USA
pldi-2020-papers11:00 - 11:20
Talk
Krishnendu ChatterjeeIST Austria, Austria, Hongfei FuShanghai Jiao Tong University, China, Amir Kafshdar GoharshadyIST Austria, Austria, Ehsan Kafshdar GoharshadyFerdowsi University of Mashhad, Iran
pldi-2020-papers11:20 - 11:40
Talk
Jason BreckUniversity of Wisconsin-Madison, USA, John CyphertUniversity of Wisconsin-Madison, USA, Zachary KincaidPrinceton University, USA, Thomas RepsUniversity of Wisconsin-Madison, USA
pldi-2020-papers11:40 - 12:00
Talk
Jason R. KoenigStanford University, USA, Oded PadonStanford University, USA, Neil ImmermanUniversity of Massachusetts at Amherst, USA, Alex AikenStanford University, USA
pldi-2020-ask-me-anything
12:00 - 12:30: Ask Me Anything - Session 14 at Ask Me Anything live stream
Chair(s): Cristian CadarImperial College London
pldi-2020-ask-me-anything12:00 - 12:30
Live Q&A
pldi-2020-ask-me-anything
12:30 - 13:00: Ask Me Anything - Session 15 at Ask Me Anything live stream
Chair(s): Laurence TrattKing's College London
pldi-2020-ask-me-anything12:30 - 13:00
Live Q&A
Doug LeaState University of New York (SUNY) Oswego
pldi-2020-papers
13:00 - 14:00: PLDI Research Papers - Symbolic Execution at PLDI Research Papers live stream
Chair(s): Qirun ZhangGeorgia Institute of Technology, USA

YouTube lightning session video

pldi-2020-papers13:00 - 13:20
Talk
Sunjay CauligiUniversity of California at San Diego, USA, Craig DisselkoenUniversity of California at San Diego, USA, Klaus v. GleissenthallUniversity of California at San Diego, USA, Dean TullsenUniversity of California at San Diego, USA, Deian StefanUniversity of California at San Diego, USA, Tamara RezkInria, France, Gilles BartheMPI for Security and Privacy, Germany / IMDEA Software Institute, Spain
pldi-2020-papers13:20 - 13:40
Talk
José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK, Philippa GardnerImperial College London, UK
DOI
pldi-2020-papers13:40 - 14:00
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Yu-Fang ChenAcademia Sinica, Taiwan, Bui Phi DiepUppsala University, Sweden, Julian DolbyIBM Research, USA, Petr JankůBrno University of Technology, Czechia, Hsin-Hung LinAcademia Sinica, Taiwan, Lukáš HolíkBrno University of Technology, Czechia, Wei-Cheng WuUniversity of Southern California, USA
pldi-2020-ask-me-anything
14:00 - 14:20: Ask Me Anything - Session 16 at Ask Me Anything live stream
Chair(s): Jan VitekNortheastern University
pldi-2020-ask-me-anything14:00 - 14:20
Live Q&A
pldi-2020-papers
14:20 - 15:40: PLDI Research Papers - Language Design II at PLDI Research Papers live stream
Chair(s): Mike DoddsGalois, Inc.

YouTube lightning session video

pldi-2020-papers14:20 - 14:40
Talk
Gérard BerryCollège de France, France, Manuel SerranoInria, France
pldi-2020-papers14:40 - 15:00
Talk
Roshan DathathriUniversity of Texas at Austin, USA, Blagovesta KostovaEPFL, Switzerland, Olli SaarikiviMicrosoft Research, Redmond, Wei DaiMicrosoft Research, n.n., Kim LaineMicrosoft Research, Redmond, Madan MusuvathiMicrosoft Research
pldi-2020-papers15:00 - 15:20
Talk
pldi-2020-papers15:20 - 15:40
Talk
Stefan K. MullerCarnegie Mellon University, USA, Kyle SingerWashington University in St. Louis, USA, Noah GoldsteinWashington University in St. Louis, USA, Umut A. AcarCarnegie Mellon University, USA, Kunal AgrawalWashington University in St. Louis, USA, I-Ting Angelina LeeWashington University in St. Louis, USA
pldi-2020-papers
16:00 - 17:00: PLDI Research Papers - Static Analysis at PLDI Research Papers live stream
Chair(s): Julian DolbyIBM Research, USA

YouTube lightning session video

pldi-2020-papers16:00 - 16:20
Talk
Auguste OlivryInria, France, Julien LangouUniversity of Colorado at Denver, USA, Louis-Noël PouchetColorado State University, USA, P. SadayappanUniversity of Utah, USA, Fabrice RastelloInria, France
pldi-2020-papers16:20 - 16:40
Talk
Yuanbo LiGeorgia Institute of Technology, USA, Qirun ZhangGeorgia Institute of Technology, USA, Thomas RepsUniversity of Wisconsin-Madison, USA
pldi-2020-papers16:40 - 17:00
Talk
Anastasios AntoniadisUniversity of Athens, Greece, Nikos FilippakisCERN, Switzerland, Paddy KrishnanOracle Labs, Australia, Raghavendra RameshConsenSys, Australia, Nicholas AllenOracle Labs, Australia, Yannis SmaragdakisUniversity of Athens, Greece
Pre-print
pldi-2020-sponsors
17:00 - 18:00: Sponsors - Microsoft meeting at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

pldi-2020-sponsors17:00 - 18:00
Talk
Margus VeanesMicrosoft Research, Caleb StanfordUniversity of Pennsylvania

Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:00153045
Design Space Exploration tutorial live stream
PLMW live stream
Quantum tutorial live stream
REMS/DeepSpec live stream
SOAP live stream
08:15 - 08:30
08:45 - 09:00
10:40 - 10:56
11:28 - 11:44
Sponsors

Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Room4:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
ISMM live stream
12:00 - 13:00
17:00 - 17:10
Infer Practitioners live stream
MAPL live stream
PLMW live stream
Programming for Autonomy tutorial live stream
REMS/DeepSpec live stream
Sponsors
Spoofax tutorial live stream

Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Ask Me Anything live stream
PLDI Research Papers live stream
Sponsors

Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Ask Me Anything live stream
Business Meeting live stream
PLDI Research Papers live stream
Sponsors
06:00 - 07:00

Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

Room5:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Ask Me Anything live stream
PLDI Research Papers live stream
Sponsors
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)
Detailed Event Calendar (ical)