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