Filter
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 15 Jun (GMT-07:00) Pacific Time (US & Canada) change
| 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 | |||||||||||||||||||||||||||||||||||||||||
Tue 16 Jun (GMT-07:00) Pacific Time (US & Canada) change
05:00 - 07:00: Infer Practitioners 2020 - Session 1 at Infer 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 - 09:00: Tutorials - Tutorial: Declarative Language Definition at Tutorial: Declarative Language Definition | ||||||||||||||||||||||||||||||||||||||||||
| 05:00 - 09:00 Tutorial | Eelco VisserDelft University of Technology | |||||||||||||||||||||||||||||||||||||||||
07:00 - 09:00: Infer Practitioners 2020 - Session 2 at Infer Chair(s): Nikos GorogiannisFacebook and Middlesex University London | ||||||||||||||||||||||||||||||||||||||||||
| 07:00 - 07:45 Talk | Pavle SuboticAmazon | |||||||||||||||||||||||||||||||||||||||||
| 07:45 - 08:30 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 | |||||||||||||||||||||||||||||||||||||||||
| 08:30 - 09:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 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:45 Talk | Jules VillardFacebook London | |||||||||||||||||||||||||||||||||||||||||
| 09:45 - 10:30 Live Q&A | Dulma ChurchillFacebook London, Ezgi ÇiçekFacebook London, Nikos GorogiannisFacebook and Middlesex University London, Jules VillardFacebook London | |||||||||||||||||||||||||||||||||||||||||
| 10:30 - 11:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 10:20 - 10:40 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:00 Full-paper | Shihao SongDrexel University, Adarsha BalajiDrexel University, Anup DasDrexel University, Nagarajan KandasamyDrexel University, James ShacklefordDrexel University | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:20 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Full-paper | Jinhua CuiHuazhong University of Science and Technology, Junwei LiuHuazhong University of Science and Technology, Jianhang HuangXi'an Jiaotong University, Haoran ZhuHuazhong University of Science and Technology, Laurence T. YangHuazhong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Full-paper | Stefano CeredaPolitecnico di Milano, Gianluca PalermoPolitecnico di Milano, Paolo CremonesiPolitecnico di Milano, Stefano DoniAkamas | |||||||||||||||||||||||||||||||||||||||||
| 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 - 11:45 Talk | Stephen MagillMuse Dev | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:30 - 13:00 Coffee break | ||||||||||||||||||||||||||||||||||||||||||
| 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 Talk | Alex AikenStanford University, USA | |||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:20 Full-paper | Xiaoyu HeInstitute of Information Engineering, Chinese Academy of Sciences & School of Cyber Security, University of Chinese Academy of Sciences, Erick BaumanUniversity of Texas at Dallas, Feng LiKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Wei HuoInstitute of Information Engineering, Chinese Academy of Sciences, Wei ZouKey Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China | |||||||||||||||||||||||||||||||||||||||||
| 13:20 - 13:40 Full-paper | Gautier BerthouUniv Lyon, INSA Lyon, Inria, CITI, Pierre-Evariste DagandLIP6/CNRS , Delphine DemangeUniv Rennes, Inria, CNRS, IRISA, Rémi OudinSorbonne University — LIP6, Tanguy Risset | |||||||||||||||||||||||||||||||||||||||||
| 13:40 - 14:00 Full-paper | Ze ZhangUniversity of Michigan, Sunghyun ParkUniversity of Michigan, Scott MahlkeUniversity of Michigan | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Rishabh SinghGoogle Brain | |||||||||||||||||||||||||||||||||||||||||
| 14:10 - 14:30 Full-paper | Björn ForsbergETH Zurich, Maxim MattheeuwsETH Zurich, Andreas KurthETH Zurich, Switzerland, Andrea MarongiuUniversity of Modena and Reggio Emilia, Luca BeniniETH Zurich, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 14:50 Full-paper | ||||||||||||||||||||||||||||||||||||||||||
| 14:50 - 15:10 Full-paper | Hugues CasséUniversity of Toulouse, Zhenyu BaiUniversity of Toulouse, Thomas CarleUniversity of Toulouse, Marianne De MichielUniversity of Toulouse, Christine RochangeUniversity of Toulouse | |||||||||||||||||||||||||||||||||||||||||
| 15:20 - 15:32 Short-paper | Chanyoung OhUniversity of Seoul, Gunju ParkUniversity of Seoul, Sumin KimUniversity of Seoul, Dohee KimUniversity of Seoul, Youngmin YiUniversity of Seoul | |||||||||||||||||||||||||||||||||||||||||
| 15:32 - 15:44 Short-paper | Nazanin FarahpourUniversity of California, Los Angeles (UCLA), Zhenman FangSimon Fraser University, Glenn ReinmanUCLA | |||||||||||||||||||||||||||||||||||||||||
| 15:44 - 15:56 Short-paper | Alexa VanHattumCornell University, Rachit NigamCornell University, USA, Vincent T. LeeFacebook, James BornholtUniversity of Texas at Austin, Adrian SampsonCornell University, USA | |||||||||||||||||||||||||||||||||||||||||
| 15:56 - 16:08 Short-paper | ||||||||||||||||||||||||||||||||||||||||||
| 16:08 - 16:20 Short-paper | Nadja HeitmannTU Munich, Sangyoung MarkTU Berlin, Samarjit ChakrabortyThe University of North Carolina at Chapel Hill | |||||||||||||||||||||||||||||||||||||||||
| 15:30 - 16:00 Talk | Armando Solar-LezamaMassachusetts Institute of Technology, USA | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | Lujing CenMIT CSAIL, Ryan MarcusMIT CSAIL / Intel Labs, Hongzi MaoMIT CSAIL, Justin GottschlichIntel Labs / Penn, Mohammad AlizadehMIT CSAIL, Tim KraskaMIT CSAIL | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Swarat ChaudhuriRice University | |||||||||||||||||||||||||||||||||||||||||
Wed 17 Jun (GMT-07:00) Pacific Time (US & Canada) change
| 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: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 Live Q&A | Simon Peyton JonesMicrosoft, UK | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Byron CookAmazon and University College London | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Margaret MartonosiPrinceton University and NSF | |||||||||||||||||||||||||||||||||||||||||
10:40 - 11:10: SIGPLAN CARES - SIGPLAN CARES Zoom Conversation (See #cares thread on slack for zoom link) at SIGPLAN Cares | ||||||||||||||||||||||||||||||||||||||||||
| 10:40 - 11:00 Talk | Siddharth KrishnaMicrosoft Research, USA, 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 QadeerCalibra, USA, Upamanyu SharmaUniversity of Michigan, USA, James R. WilcoxCertora, USA, Xueyuan ZhaoCarnegie Mellon University, USA | |||||||||||||||||||||||||||||||||||||||||
| 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 QadeerCalibra, USA | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Live Q&A | Kathryn S McKinleyGoogle | |||||||||||||||||||||||||||||||||||||||||
| 12:30 - 13:00 Live Q&A | Bjarne StroustrupMorgan Stanley and Columbia University | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Michelle StroutUniversity of Arizona | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Felix KlockMozilla | |||||||||||||||||||||||||||||||||||||||||
| 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 (GMT-07:00) Pacific Time (US & Canada) change
| 05:00 - 05:20 Talk | Conrad WattUniversity of Cambridge, UK, Christopher PulteUniversity of Cambridge, UK, Anton PodkopaevNational Research University Higher School of Economics, Russia / MPI-SWS, Germany, Guillaume BarbierENS Rennes, France, Stephen DolanUniversity of Cambridge, UK, Shaked FlurUniversity of Cambridge, UK, Jean Pichon-PharabodUniversity of Cambridge, UK, Shu-yu GuoBloomberg, USA | |||||||||||||||||||||||||||||||||||||||||
| 05:20 - 05:40 Talk | Sung-Hwan LeeSeoul National University, South Korea, Minki ChoSeoul National University, South Korea, Anton PodkopaevNational Research University Higher School of Economics, Russia / MPI-SWS, Germany, 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: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 | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:20 Live Q&A | Peter W. O'HearnFacebook and University College London | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Alex AikenStanford University, USA | |||||||||||||||||||||||||||||||||||||||||
| 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 | |||||||||||||||||||||||||||||||||||||||||
| 13:00 - 13:20 Talk | Stephen ChouMassachusetts Institute of Technology, USA, Fredrik KjolstadStanford University, USA, 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 Edinburgh, UK, Zheng WangUniversity of Leeds, UK, Murray ColeUniversity of Edinburgh, UK, Hugh LeatherUniversity of Edinburgh, UK | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Live Q&A | Richard P. GabrielDream Songs, Inc. & HPI | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Kathleen FisherTufts University, USA | |||||||||||||||||||||||||||||||||||||||||
| 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 thread on slack for zoom link) at SIGPLAN Cares | ||||||||||||||||||||||||||||||||||||||||||
Fri 19 Jun (GMT-07:00) Pacific Time (US & Canada) change
| 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 - 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 - 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:00 - 09:20 Live Q&A | Isil DilligUniversity of Texas at Austin, USA | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Martin VechevETH Zurich, Switzerland | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Chris LattnerSiFive | |||||||||||||||||||||||||||||||||||||||||
| 12:30 - 13:00 Live Q&A | Doug LeaState University of New York (SUNY) Oswego | |||||||||||||||||||||||||||||||||||||||||
| 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, Portugal / Instituto Superior Técnico, University of Lisbon, Portugal / Imperial College London, UK, Petar MaksimovićImperial College London, UK, Sacha-Élie AyounImperial College London, UK, Philippa GardnerImperial College London, UK | |||||||||||||||||||||||||||||||||||||||||
| 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 Live Q&A | Guy L. Steele Jr.Oracle Labs | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Talk | Roshan DathathriUniversity of Texas at Austin, USA, Blagovesta KostovaEPFL, Switzerland, Olli SaarikiviMicrosoft Research, n.n., 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 - 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 | |||||||||||||||||||||||||||||||||||||||||
This program is tentative and subject to change.
Mon 15 Jun (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 (GMT-07:00) Pacific Time (US & Canada) change
Wed 17 Jun (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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Thu 18 Jun (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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 19 Jun (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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
This program is tentative and subject to change.
Mon 15 Jun (GMT-07:00) Pacific Time (US & Canada) change
| Room | 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 | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 16 Jun (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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Infer | 04:30 - 05:00 | 05:00 - 05:45 | 05:45 - 06:30 | 06:30 - 07:00 | 08:30 - 09:00 | 09:00 - 09:45 | 09:45 - 10:30 | 10:30 - 11:00 | 11:00 - 11:45 | 11:45 - 12:30 | 12:30 - 13:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| LCTES | 15:56 - 16:08 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| MAPL | 08:30 - 09:30 | 13:00 - 14:00 | 14:00 - 14:30 | 14:30 - 15:00 | 15:30 - 16:00 | 16:00 - 16:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 17 Jun (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-Webinar | 05:00 - 05:20 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Thu 18 Jun (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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 19 Jun (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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| AMA-Webinar | 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