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
Mon 15 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| 05:00 - 06:00 Talk | Peter W. O'HearnFacebook and University College London Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 05:00 - 05:15 Talk | File Attached | |||||||||||||||||||||||||||||||||||||||||
| 05:15 - 05:55 Talk | Joseph TassarottiBoston College | |||||||||||||||||||||||||||||||||||||||||
| 06:05 - 06:45 Talk | Ji-Yong ShinYale University | |||||||||||||||||||||||||||||||||||||||||
| 06:00 - 07:30 Tutorial | Frank MuellerNorth Carolina State University, USA | |||||||||||||||||||||||||||||||||||||||||
| 06: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 | |||||||||||||||||||||||||||||||||||||||||
| 06: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 | |||||||||||||||||||||||||||||||||||||||||
| 07:13 - 07:40 Talk | Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université Media Attached | |||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 08:00 Talk | Eran YahavTechnion | |||||||||||||||||||||||||||||||||||||||||
| 08:00 - 09:00 Talk | Alastair DonaldsonImperial College London | |||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
| 08:00 - 08:15 Other | Bernhard ScholzUniversity of Sydney, Australia Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:15 - 08:30 Other | Yannis SmaragdakisUniversity of Athens, Greece Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 08:45 Other | Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 08:45 - 09:00 Other | Media Attached | |||||||||||||||||||||||||||||||||||||||||
08:00 - 12:00: Tutorials - Tutorial: Design Space Exploration at Design Space Exploration tutorial live stream | ||||||||||||||||||||||||||||||||||||||||||
| 08:00 - 12:00 Tutorial | Matthew FeldmanStanford University, USA, Artur SouzaUniversidade Federal de Minas Gerais (UFMG), Luigi NardiLund University and Stanford University, Kunle OlukotunStanford University | |||||||||||||||||||||||||||||||||||||||||
| 09: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 | |||||||||||||||||||||||||||||||||||||||||
| 09:50 - 10:30 Talk | Andrew AppelPrinceton | |||||||||||||||||||||||||||||||||||||||||
| 09:20 - 10:20 Talk | Media Attached | |||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 11:00 Talk | Ranjit JhalaUniversity of California at San Diego, USA | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Live Q&A | Alexandra SilvaUniversity College London, Stephen FreundWilliams College, Madan MusuvathiMicrosoft Research, Loris D'AntoniUniversity of Wisconsin-Madison, USA | |||||||||||||||||||||||||||||||||||||||||
| 10:40 - 10:56 Other | Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 10:56 - 11:12 Other | Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:12 - 11:28 Other | Linghui LuoPaderborn University, Germany Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:28 - 11:44 Other | Julian DolbyIBM Research, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:44 - 12:00 Other | ||||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
Tue 16 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| 05: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 | |||||||||||||||||||||||||||||||||||||||||
| 05:50 - 06:30 Talk | Steven Keuchel, Georgy LukyanovNewcastle University, UK, Dominique DevrieseVrije Universiteit Brussel File Attached | |||||||||||||||||||||||||||||||||||||||||
05:00 - 07:00: Infer Practitioners 2020 - Session 1 at Infer Practitioners live stream Chair(s): Dulma ChurchillFacebook London | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 05:45 Talk | Boris YakobowskiAdaCore | |||||||||||||||||||||||||||||||||||||||||
| 05:45 - 06:30 Talk | Ezgi ÇiçekFacebook London | |||||||||||||||||||||||||||||||||||||||||
| 06:30 - 07:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 05:30 Talk | Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay | |||||||||||||||||||||||||||||||||||||||||
| 05:30 - 06:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 06:00 - 06:30 Talk | Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University | |||||||||||||||||||||||||||||||||||||||||
| 06:30 - 07:00 Talk | Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden | |||||||||||||||||||||||||||||||||||||||||
05:00 - 09:00: Tutorials - Tutorial: Declarative Language Definition at Spoofax tutorial live stream | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 09:00 Tutorial | Eelco VisserDelft University of Technology Media Attached | |||||||||||||||||||||||||||||||||||||||||
05:00 - 09:00: Tutorials - Tutorial: Programming for Autonomy at Programming for Autonomy tutorial live stream | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 09:00 Tutorial | ||||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 08:00 Talk | Michael CarbinMassachusetts Institute of Technology, USA | |||||||||||||||||||||||||||||||||||||||||
| 08:00 - 09:00 Talk | Amal AhmedNortheastern University, USA | |||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
07:00 - 09:00: Infer Practitioners 2020 - Session 2 at Infer Practitioners live stream Chair(s): Nikos GorogiannisFacebook and Middlesex University London | ||||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
| 07:45 - 08:30 Talk | Pavle SuboticAmazon | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
07:00 - 09:00: ISMM 2020 - Session 2A at ISMM live stream Chair(s): Stefano MarkidisKTH Royal Institute of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 07:30 - 08:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 08: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 | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
08:00 - 10:00: MAPL - Graph Neural Networks for Program Reasoning at MAPL live stream Chair(s): Ke WangVisa Research | ||||||||||||||||||||||||||||||||||||||||||
| 08:00 - 08:30 Talk | Elizabeth DinellaUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:30 Tutorial | Yizhou SunUCLA | |||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Isil DilligUniversity of Texas at Austin, USA | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:40 Talk | Yannick ZakowskiUniversity of Pennsylvania | |||||||||||||||||||||||||||||||||||||||||
| 09:50 - 10:30 Talk | Adam ChlipalaMassachusetts Institute of Technology, Andres Erbsen, Sam GruetterMassachusetts Institute of Technology, Joonwon ChoiMassachusetts Institute of Technology, USA | |||||||||||||||||||||||||||||||||||||||||
09:00 - 11:00: ISMM 2020 - Session 1B (Repeat of Session 1A) at ISMM live stream Chair(s): Ian RogersGoogle, USA | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:00 Talk | Aman BansalIIT Bombay, India, Saksham GoelIndian Institute of Technology, Bombay, Preey ShahIIT Bombay, India, Amitabha SanyalIIT Bombay, Prasanna KumarIIT Bombay | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Talk | Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Jesper WilhelmssonOracle, Hanna NyblomKTH, Tobias WrigstadUppsala University, Sweden | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Shihao SongDrexel University, Anup DasDrexel University, Onur MutluETH Zurich, Nagarajan KandasamyDrexel University | |||||||||||||||||||||||||||||||||||||||||
09:00 - 11:00: Infer Practitioners 2020 - Session 3 at Infer Practitioners live stream Chair(s): Ezgi ÇiçekFacebook London | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:45 Talk | Shao Kun DengMicrosoft Corporation, Matthew JinMicrosoft Corporation, Xiaoyu LiuMicrosoft Corporation, Xin ShiMicrosoft Corporation, Neel SundaresanMicrosoft Corporation | |||||||||||||||||||||||||||||||||||||||||
| 09:45 - 10:30 Talk | Stephen MagillMuse Dev | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Live Q&A | Dulma ChurchillFacebook London, Ezgi ÇiçekFacebook London, Nikos GorogiannisFacebook and Middlesex University London, Jules VillardFacebook London | |||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 11:00 Talk | Emery BergerUniversity of Massachusetts Amherst | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Live Q&A | Fredrik KjolstadStanford University, Jean YangCarnegie Mellon University, Chandrakana NandiUniversity of Washington, USA, Eva DarulovaMPI-SWS, Germany | |||||||||||||||||||||||||||||||||||||||||
10:30 - 11:30: MAPL - Deep Learning and Program Verification at MAPL live stream Chair(s): Xujie SiMcGill University, Canada | ||||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Talk | Guy KatzHebrew University | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
11:00 - 13:00: ISMM 2020 - Keynote & Social Hour at ISMM live stream Chair(s): Chen DingUniversity of Rochester, Martin MaasGoogle Research | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:00 Talk | Richard JonesUniversity of Kent | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 13:00 Social Event | ||||||||||||||||||||||||||||||||||||||||||
11:30 - 12:30: MAPL - Compilers for Deep Learning Frameworks at MAPL live stream Chair(s): Charles SuttonGoogle Research | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Ruizhe ZhaoImperial College London, Wayne LukImperial College London, Chao XiongCorerain Technologies, Xinyu NiuCorerain Technologies, Kuen Hung TsoiCorerain Technologies | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Momoko HattoriThe University of Tokyo, Shimpei SawadaPreferred Networks, Shinichiro HamajiPreferred Networks, Masahiro SakaiPreferred Networks, Shunsuke ShimizuPreferred Networks | |||||||||||||||||||||||||||||||||||||||||
13:00 - 14:00: MAPL - Keynote Talk at MAPL live stream Chair(s): Justin GottschlichIntel Labs / Penn | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 14:00 Talk | Alex AikenStanford University, USA | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:00: MAPL - Formal Methods and Reinforcement Learning at MAPL live stream Chair(s): Aws AlbarghouthiUniversity of Wisconsin-Madison, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Swarat ChaudhuriRice University | |||||||||||||||||||||||||||||||||||||||||
15:00 - 17:00: ISMM 2020 - Session 2B (Repeat of Session 2A) at ISMM live stream Chair(s): Po-An TsaiNVIDIA | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Armando Solar-LezamaMassachusetts Institute of Technology, USA | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Rishabh SinghGoogle Brain | |||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
| 18:00 - 19:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
Wed 17 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
04:45 - 05:00: PLDI Research Papers - Welcome! at PLDI Research Papers live stream Chair(s): Alastair DonaldsonImperial College London | ||||||||||||||||||||||||||||||||||||||||||
05:00 - 06:00: PLDI Research Papers - Machine Learning I at PLDI Research Papers live stream Chair(s): Antonio FilieriImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 05:20 Talk | Miltiadis AllamanisMicrosoft Research, Earl T. BarrUniversity College London, UK, Soline DucoussoENSTA Paris, France, Zheng GaoUniversity College London, UK | |||||||||||||||||||||||||||||||||||||||||
| 05:20 - 05:40 Talk | Jianan YaoColumbia University, USA, Gabriel RyanColumbia University, USA, Justin WongColumbia University, USA, Suman JanaColumbia University, USA, Ronghui GuColumbia University, USA | |||||||||||||||||||||||||||||||||||||||||
| 05:40 - 06:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
| 06:00 - 07:00 Talk | Aymeric FromherzCarnegie Mellon University, Jonathan ProtzenkoMicrosoft Research, Redmond, Tahina RamananandroMicrosoft Research, n.n., Nikhil SwamyMicrosoft Research | |||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 06:20 - 06:40 Talk | Nick GiannarakisPrinceton University, USA, Devon LoehrPrinceton University, USA, Ryan BeckettMicrosoft Research, USA, David WalkerPrinceton University, USA | |||||||||||||||||||||||||||||||||||||||||
| 06: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 | |||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
07:40 - 08:00: Ask Me Anything - Session 1 at Ask Me Anything live stream Chair(s): Benjamin C. PierceUniversity of Pennsylvania | ||||||||||||||||||||||||||||||||||||||||||
| 07:40 - 08:00 Live Q&A | Simon Peyton JonesMicrosoft, UK | |||||||||||||||||||||||||||||||||||||||||
08:00 - 09:00: PLDI Research Papers - Synthesis I at PLDI Research Papers live stream Chair(s): James BornholtUniversity of Texas at Austin | ||||||||||||||||||||||||||||||||||||||||||
| 08: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 | |||||||||||||||||||||||||||||||||||||||||
| 08: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 | |||||||||||||||||||||||||||||||||||||||||
| 08: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, USA | |||||||||||||||||||||||||||||||||||||||||
09:00 - 09:20: Ask Me Anything - Session 2 at Ask Me Anything live stream Chair(s): Peter MüllerETH Zurich | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:20 Live Q&A | Byron CookAmazon and University College London | |||||||||||||||||||||||||||||||||||||||||
09:20 - 10:20: PLDI Research Papers - Memory Management at PLDI Research Papers live stream Chair(s): Ting CaoMicrosoft Research | ||||||||||||||||||||||||||||||||||||||||||
| 09:20 - 09:40 Talk | Albert Mingkun YangUppsala University, Sweden, Erik ÖsterlundOracle, Sweden, Tobias WrigstadUppsala University, Sweden | |||||||||||||||||||||||||||||||||||||||||
| 09:40 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:20 Talk | Brian SuchyNorthwestern University, USA, Simone CampanoniNorthwestern University, USA, Nikos HardavellasNorthwestern University, USA, Peter DindaNorthwestern University, USA | |||||||||||||||||||||||||||||||||||||||||
10:20 - 10:40: Ask Me Anything - Session 3 at Ask Me Anything live stream Chair(s): Adrian SampsonCornell University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:40 Live Q&A | Margaret MartonosiPrinceton University and NSF | |||||||||||||||||||||||||||||||||||||||||
10:40 - 11:10: SIGPLAN CARES - SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link) at SIGPLAN Cares | ||||||||||||||||||||||||||||||||||||||||||
10:40 - 12:00: PLDI Research Papers - Verification I at PLDI Research Papers live stream Chair(s): Stephen FreundWilliams College | ||||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:00 Talk | Siddharth KrishnaMicrosoft Research, Cambridge, Nisarg PatelNew York University, USA, Dennis ShashaNew York University, USA, Thomas WiesNew York University, USA | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | Bernhard KraglIST Austria, 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 | |||||||||||||||||||||||||||||||||||||||||
12:00 - 12:30: Ask Me Anything - Session 4 at Ask Me Anything live stream Chair(s): Michael HicksUniversity of Maryland | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Live Q&A | Kathryn S McKinleyGoogle | |||||||||||||||||||||||||||||||||||||||||
12:30 - 13:00: Ask Me Anything - Session 5 at Ask Me Anything live stream Chair(s): John RegehrUniversity of Utah | ||||||||||||||||||||||||||||||||||||||||||
| 12:30 - 13:00 Live Q&A | Bjarne StroustrupMorgan Stanley and Columbia University | |||||||||||||||||||||||||||||||||||||||||
13:00 - 14:00: PLDI Research Papers - Language Implementation at PLDI Research Papers live stream Chair(s): Chris SeatonShopify | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
| 13:40 - 14:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:20: Ask Me Anything - Session 6 at Ask Me Anything live stream Chair(s): Emery BergerUniversity of Massachusetts Amherst | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Live Q&A | Michelle StroutUniversity of Arizona | |||||||||||||||||||||||||||||||||||||||||
14:20 - 15:40: PLDI Research Papers - Bug Finding at PLDI Research Papers live stream Chair(s): Hans-J. BoehmGoogle | ||||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Talk | Sangeeta ChowdharyRutgers University, USA, Jay P. LimRutgers University, USA, Santosh NagarakatteRutgers University, USA | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:20 Talk | Jake RoemerOhio State University, USA, Kaan GençOhio State University, USA, Michael D. BondOhio State University, USA | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:40 Talk | Boqin QinPennsylvania State University, USA, Yilun ChenPurdue University, USA, Zeming YuPennsylvania State University, USA, Linhai SongPennsylvania State University, USA, Yiying ZhangUniversity of California at San Diego, USA | |||||||||||||||||||||||||||||||||||||||||
15:40 - 16:00: Ask Me Anything - Session 7 at Ask Me Anything live stream Chair(s): Derek DreyerMPI-SWS | ||||||||||||||||||||||||||||||||||||||||||
| 15:40 - 16:00 Live Q&A | Felix KlockMozilla | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:00: PLDI Research Papers - Security at PLDI Research Papers live stream Chair(s): Tony HoskingAustralian National University / Data61 | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:40 Talk | Gregory J. DuckNational University of Singapore, Singapore, Xiang GaoNational University of Singapore, Singapore, Abhik RoychoudhuryNational University of Singapore, Singapore | |||||||||||||||||||||||||||||||||||||||||
| 16: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
Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
04:50 - 05:00: PLDI Research Papers - Welcome! at PLDI Research Papers live stream Chair(s): Alastair DonaldsonImperial College London | ||||||||||||||||||||||||||||||||||||||||||
05:00 - 06:00: PLDI Research Papers - Concurrency at PLDI Research Papers live stream Chair(s): Tyler SorensenImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 05: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 | |||||||||||||||||||||||||||||||||||||||||
| 05: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 | |||||||||||||||||||||||||||||||||||||||||
| 05: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 | |||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
| 06:00 - 07:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
06:20 - 07:40: PLDI Research Papers - Performance at PLDI Research Papers live stream Chair(s): Fredrik KjolstadStanford University | ||||||||||||||||||||||||||||||||||||||||||
| 06:20 - 06:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 06: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 | |||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
09:00 - 09:20: Ask Me Anything - Session 8 at Ask Me Anything live stream Chair(s): John WickersonImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:20 Live Q&A | Peter W. O'HearnFacebook and University College London | |||||||||||||||||||||||||||||||||||||||||
09:20 - 10:20: PLDI Research Papers - Type Systems at PLDI Research Papers live stream Chair(s): Arjun GuhaNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 09: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 | |||||||||||||||||||||||||||||||||||||||||
| 09: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 | |||||||||||||||||||||||||||||||||||||||||
| 10: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 | |||||||||||||||||||||||||||||||||||||||||
10:20 - 10:40: Ask Me Anything - Session 9 at Ask Me Anything live stream Chair(s): Kathleen FisherTufts University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:40 Live Q&A | Alex AikenStanford University, USA | |||||||||||||||||||||||||||||||||||||||||
10:40 - 11:40: PLDI Research Papers - Machine Learning II at PLDI Research Papers live stream Chair(s): Ke WangVisa Research | ||||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:00 Talk | Samuel DrewsUniversity of Wisconsin-Madison, USA, Aws AlbarghouthiUniversity of Wisconsin-Madison, USA, Loris D'AntoniUniversity of Wisconsin-Madison, USA | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | Jingxuan HeETH Zurich, Switzerland, Gagandeep SinghETH Zurich, Switzerland, Markus PüschelETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland | |||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
11:40 - 13:00: PLDI Research Papers - PLDI Business Meeting at Business Meeting live stream The agenda for the business meeting will include:
| ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 13:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 13:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
13:00 - 14:00: PLDI Research Papers - Code Generation at PLDI Research Papers live stream Chair(s): Fan LongUniversity of Toronto | ||||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:20 Talk | Stephen ChouMassachusetts Institute of Technology, USA, Fredrik KjolstadStanford University, Saman AmarasingheMassachusetts Institute of Technology, USA Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 13:20 - 13:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:20: Ask Me Anything - Session 10 at Ask Me Anything live stream Chair(s): Stephen KellUniversity of Kent | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Live Q&A | Richard P. GabrielDream Songs, Inc. & HPI | |||||||||||||||||||||||||||||||||||||||||
14:20 - 15:40: PLDI Research Papers - Language Design I at PLDI Research Papers live stream Chair(s): Adrian SampsonCornell University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Benjamin BichselETH Zurich, Switzerland, Maximilian BaaderETH Zurich, Switzerland, Timon GehrETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
15:40 - 16:00: Ask Me Anything - Session 11 at Ask Me Anything live stream Chair(s): Michelle StroutUniversity of Arizona | ||||||||||||||||||||||||||||||||||||||||||
| 15:40 - 16:00 Live Q&A | Kathleen FisherTufts University, USA | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:00: PLDI Research Papers - Synthesis II at PLDI Research Papers live stream Chair(s): Phitchaya Mangpo PhothilimthanaGoogle | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16: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. | |||||||||||||||||||||||||||||||||||||||||
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
Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
04:50 - 05:00: PLDI Research Papers - Welcome! at PLDI Research Papers live stream Chair(s): Alastair DonaldsonImperial College London | ||||||||||||||||||||||||||||||||||||||||||
05:00 - 06:00: PLDI Research Papers - Probabilistic Programming at PLDI Research Papers live stream Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 05:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 05:20 - 05:40 Talk | Timon GehrETH Zurich, Switzerland, Samuel SteffenETH Zurich, Switzerland, Martin VechevETH Zurich, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 05: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 | |||||||||||||||||||||||||||||||||||||||||
06:20 - 07:40: PLDI Research Papers - Parsing, Debugging, and Code Search at PLDI Research Papers live stream Chair(s): Dan BarowyWilliams College | ||||||||||||||||||||||||||||||||||||||||||
| 06:20 - 06:40 Talk | Grzegorz HermanJagiellonian University, Poland | |||||||||||||||||||||||||||||||||||||||||
| 06:40 - 07:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 07: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 | |||||||||||||||||||||||||||||||||||||||||
| 07:20 - 07:40 Talk | Varot PremtoonMassachusetts Institute of Technology, USA, James KoppelMassachusetts Institute of Technology, USA, Armando Solar-LezamaMassachusetts Institute of Technology, USA | |||||||||||||||||||||||||||||||||||||||||
08:00 - 09:00: PLDI Research Papers - Synthesis III at PLDI Research Papers live stream Chair(s): Santosh NagarakatteRutgers University, USA | ||||||||||||||||||||||||||||||||||||||||||
| 08: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 | |||||||||||||||||||||||||||||||||||||||||
| 08: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 | |||||||||||||||||||||||||||||||||||||||||
| 08:40 - 09:00 Talk | Kangjing HuangPurdue University, USA, Xiaokang QiuPurdue University, USA, Peiyuan ShenPurdue University, USA, Yanjun WangPurdue University, USA | |||||||||||||||||||||||||||||||||||||||||
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 | ||||||||||||||||||||||||||||||||||||||||||
| 09:20 - 09:40 Talk | Ao LiUniversity of Toronto, Canada, Jemin Andrew ChoiUniversity of Toronto, Canada, Fan LongUniversity of Toronto, Canada | |||||||||||||||||||||||||||||||||||||||||
| 09: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 | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:20 Talk | Sidi Mohamed BeillahiIRIF - Université de Paris, Gabriela CiocarlieSRI International, Michael EmmiAmazon Web Services, Constantin EneaUniversity of Paris Diderot, France | |||||||||||||||||||||||||||||||||||||||||
10:20 - 10:40: Ask Me Anything - Session 13 at Ask Me Anything live stream Chair(s): Emina TorlakUniversity of Washington | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:40 Live Q&A | Isil DilligUniversity of Texas at Austin, USA | |||||||||||||||||||||||||||||||||||||||||
10:40 - 12:00: PLDI Research Papers - Verification II at PLDI Research Papers live stream Chair(s): Manu SridharanUniversity of California Riverside | ||||||||||||||||||||||||||||||||||||||||||
| 10: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 | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11: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 | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | Jason R. KoenigStanford University, USA, Oded PadonStanford University, USA, Neil ImmermanUniversity of Massachusetts at Amherst, USA, Alex AikenStanford University, USA | |||||||||||||||||||||||||||||||||||||||||
12:00 - 12:30: Ask Me Anything - Session 14 at Ask Me Anything live stream Chair(s): Cristian CadarImperial College London | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Live Q&A | Chris LattnerSiFive | |||||||||||||||||||||||||||||||||||||||||
12:30 - 13:00: Ask Me Anything - Session 15 at Ask Me Anything live stream Chair(s): Laurence TrattKing's College London | ||||||||||||||||||||||||||||||||||||||||||
| 12:30 - 13:00 Live Q&A | Doug LeaState University of New York (SUNY) Oswego | |||||||||||||||||||||||||||||||||||||||||
13:00 - 14:00: PLDI Research Papers - Symbolic Execution at PLDI Research Papers live stream Chair(s): Qirun ZhangGeorgia Institute of Technology, USA | ||||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
| 13: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 | |||||||||||||||||||||||||||||||||||||||||
14:00 - 14:20: Ask Me Anything - Session 16 at Ask Me Anything live stream Chair(s): Jan VitekNortheastern University | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Live Q&A | Guy L. Steele Jr.Oracle Labs | |||||||||||||||||||||||||||||||||||||||||
14:20 - 15:40: PLDI Research Papers - Language Design II at PLDI Research Papers live stream Chair(s): Mike DoddsGalois, Inc. | ||||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14: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 | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:20 Talk | Hans-J. BoehmGoogle | |||||||||||||||||||||||||||||||||||||||||
| 15: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 | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:00: PLDI Research Papers - Static Analysis at PLDI Research Papers live stream Chair(s): Julian DolbyIBM Research, USA | ||||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:40 Talk | Yuanbo LiGeorgia Institute of Technology, USA, Qirun ZhangGeorgia Institute of Technology, USA, Thomas RepsUniversity of Wisconsin-Madison, USA | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
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. | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 18:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
Mon 15 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 16 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 3:00 | 30 | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 17 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Thu 18 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 19 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 4:00 | 30 | 5:00 | 30 | 6:00 | 30 | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 15 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Mon 15 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| PLMW live stream | 10:00 - 11:00 | 11:00 - 12:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| REMS/DeepSpec live stream | 05:00 - 05:15 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| SOAP live stream | 05:00 - 06:00 | 06:20 - 06:46 | 08:00 - 08:15 | 08:15 - 08:30 | 08:30 - 08:45 | 08:45 - 09:00 | 10:40 - 10:56 | 10:56 - 11:12 | 11:12 - 11:28 | 11:28 - 11:44 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 16 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 4:00 | 15 | 30 | 45 | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ISMM live stream | 04:30 - 05:00 | 05:30 - 06:00 | 07:00 - 07:30 | 09:00 - 09:30 | 11:00 - 12:00 | 12:00 - 13:00 | 16:30 - 17:00 | 17:00 - 17:10 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Infer Practitioners live stream | 05:45 - 06:30 | 06:30 - 07:00 | 08:30 - 09:00 | 10:30 - 11:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| MAPL live stream | 13:00 - 14:00 | 14:00 - 14:30 | 14:30 - 15:00 | 16:00 - 16:30 | 16:30 - 17:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| PLMW live stream | 11:00 - 12:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 17 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Wed 17 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| PLDI Research Papers live stream | 05:00 - 05:20 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Thu 18 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Thu 18 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Sponsors | 06:00 - 07:00 | 12:00 - 13:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Fri 19 Jun Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
Fri 19 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change
| Room | 5:00 | 15 | 30 | 45 | 6:00 | 15 | 30 | 45 | 7:00 | 15 | 30 | 45 | 8:00 | 15 | 30 | 45 | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Ask Me Anything live stream | 12:30 - 13:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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