ISSTA 2019 (series) /
ISSTA 2019 Program
Filter
Conference Dates
Conference Dates are in time zone (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 15 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:30 Day opening | Kuldeep S. MeelNational University of Singapore | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: Workshop – TAV-CPS/IoT - Session 1 -Automated Software Testing of CPS-IoT at Meeting Room 8 | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:20 Talk | Yunho KimKAIST | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Stochastic Model Checking at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Talk | Toshiaki AokiJAIST | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Talk | Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 14:55 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:55 - 15:10 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:10 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Model Checking at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: Workshop – TAV-CPS/IoT - Session 3 - Concurrency and Security of CPS-IoT at Meeting Room 8 | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | Valerio TerragniUniversità della Svizzera Italiana | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:40 Talk | Yan CaiInstitute of Software, Chinese Academy of Sciences | |||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:20 - 17:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Software Model Checking (Tools Sessions) at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
Tue 16 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| 09:00 - 10:30 Talk | Abhik RoychoudhuryNational University of Singapore | |||||||||||||||||||||||||||||||||||||||||
| 09:00 - 09:10 Talk | Dongmei ZhangMicrosoft Research, China | |||||||||||||||||||||||||||||||||||||||||
| 09:10 - 09:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 10:30 Talk | Zhi JinPeking University | |||||||||||||||||||||||||||||||||||||||||
09:00 - 10:00: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 09:00 - 10:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:30 - 09:46 Day opening | ||||||||||||||||||||||||||||||||||||||||||
| 09:46 - 10:02 Doctoral symposium paper | Chao PengUniversity of Edinburgh, UK | |||||||||||||||||||||||||||||||||||||||||
| 10:02 - 10:18 Doctoral symposium paper | Sungho LeeKAIST, South Korea | |||||||||||||||||||||||||||||||||||||||||
| 10:18 - 10:35 Doctoral symposium paper | Tang WenshengThe Hong Kong University of Science and Technology | |||||||||||||||||||||||||||||||||||||||||
10:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1.5 - Conformance Testing at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 12:30 Talk | Yingfei XiongPeking University | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:20 Doctoral symposium paper | Christoph LaaberUniversity of Zurich DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 11:40 Doctoral symposium paper | Miguel IsabelComplutense University of Madrid | |||||||||||||||||||||||||||||||||||||||||
| 11:40 - 12:00 Doctoral symposium paper | Giovanni GranoUniversity of Zurich DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Abhik RoychoudhuryNational University of Singapore | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | Andreas ZellerCISPA Helmholtz Center for Information Security | |||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Tegawendé F. BissyandéSnT, University of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Zhi JinPeking University, Andreas ZellerCISPA Helmholtz Center for Information Security, Tegawendé F. BissyandéSnT, University of Luxembourg, Yong XuMicrosoft, China | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 12:00 - 12:30 Talk | Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:30 Talk | Qingwei LinMicrosoft Research, China | |||||||||||||||||||||||||||||||||||||||||
| 14:30 - 15:00 Talk | Justin DingMicrosoft Research Asia | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | Shin Hwei TanSouthern University of Science and Technology, Justin DingMicrosoft Research Asia, Bei Chen, Yun Zou | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:20 Doctoral symposium paper | Patrick Kwaku KudjoJiangsu University | |||||||||||||||||||||||||||||||||||||||||
| 14:20 - 14:40 Doctoral symposium paper | Xiaoqin FuWashington State University | |||||||||||||||||||||||||||||||||||||||||
| 14:40 - 15:00 Doctoral symposium paper | Michaël MeraCISPA, Germany | |||||||||||||||||||||||||||||||||||||||||
| 15:00 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Invited Talk at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:00 Talk | Maxime CordySnT, University of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:30 Talk | Andreas ZellerCISPA Helmholtz Center for Information Security | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Jie M. ZhangUniversity College London, UK, Alessandra GorlaIMDEA Software Institute, Qi Chen, Shizhao Sun | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | Alessandra GorlaIMDEA Software Institute | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Broader Approaches at Meeting Room 4 | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
Wed 17 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| 09:00 - 09:15 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 09:15 - 10:30 Talk | Nadia AlshahwanFacebook, Andrea CianconeFacebook, Mark HarmanFacebook and University College London, Yue JiaUniversity College London, Ke MaoFacebook, Alexandru MargineanUniversity College London, UK, Alexander MolsFacebook, Hila PelegTechnion, Israel, Federica SarroUniversity College London, UK, Ilya ZorinFacebook | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: Technical Papers - Program Repair at Grand Ballroom Chair(s): Yingfei XiongPeking University | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:22 Talk | Xiang GaoNational University of Singapore, Sergey MechtaevUniversity College London, Abhik RoychoudhuryNational University of Singapore | |||||||||||||||||||||||||||||||||||||||||
| 11:22 - 11:45 Talk | Ali GhanbariThe University of Texas at Dallas, Samuel BentonThe University of Texas at Dallas, Lingming Zhang Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | Kui Liu, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Dongsun KimFuriosa.ai, Tegawendé F. BissyandéSnT, University of Luxembourg Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Yiling LouPeking University, China, Junjie ChenPeking University, Lingming Zhang, Dan HaoPeking University, Lu ZhangPeking University | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: Technical Papers - Mobile App Testing at Grand Ballroom Chair(s): Xiaoyin WangUniversity of Texas at San Antonio, USA | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:22 Talk | Jiexin ZhangUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK, Stephan A. KollmannUniversity of Cambridge DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:22 - 14:45 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:07 Talk | Pingfan KongInterdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Li LiMonash University, Australia, Jun GaoUniversity of Luxembourg, SnT, Tegawendé F. BissyandéSnT, University of Luxembourg, Jacques KleinUniversity of Luxembourg, SnT | |||||||||||||||||||||||||||||||||||||||||
| 15:07 - 15:30 Talk | Jiaqi GuoXi'an Jiaotong University, Shuyue LiXi'an Jiaotong University, Jian-Guang LouMicrosoft Research, Zijiang YangWestern Michigan University, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:10 Talk | Cong WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua University, Jiaguang Sun | |||||||||||||||||||||||||||||||||||||||||
| 16:10 - 16:20 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:30 Talk | Li ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua University | |||||||||||||||||||||||||||||||||||||||||
| 16:30 - 16:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:40 - 16:50 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:00 Talk | Linjie PanInstitute of Software, Chinese Academy of Sciences, Baoquan Cui, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Xutong Ma, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:10 Talk | Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley | |||||||||||||||||||||||||||||||||||||||||
| 17:10 - 17:20 Talk | Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach | |||||||||||||||||||||||||||||||||||||||||
| 17:20 - 17:30 Talk | Yuying LiState Key Laboratory for Novel Software Technology, Nanjing University, Rui HaoNanjing University, China, Yang FengUniversity of California, Irvine, James JonesUniversity of California, Irvine, Xiaofang Zhang, Zhenyu ChenNanjing University | |||||||||||||||||||||||||||||||||||||||||
Thu 18 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| 09:00 - 10:00 Talk | Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:07 Awards | Dongmei ZhangMicrosoft Research, China | |||||||||||||||||||||||||||||||||||||||||
| 10:07 - 10:14 Awards | Anders MøllerAarhus University | |||||||||||||||||||||||||||||||||||||||||
| 10:14 - 10:21 Awards | ||||||||||||||||||||||||||||||||||||||||||
| 10:21 - 10:28 Awards | ||||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: Technical Papers - Regression Testing at Grand Ballroom Chair(s): Dan HaoPeking University | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:22 Talk | Wing LamUniversity of Illinois at Urbana-Champaign, Patrice GodefroidMicrosoft Research, Suman NathMicrosoft Corporation, Anirudh SanthiarIndian Institute of Science, Suresh Thummalapenta | |||||||||||||||||||||||||||||||||||||||||
| 11:22 - 11:45 Talk | August ShiUniversity of Illinois at Urbana-Champaign, Jonathan BellGeorge Mason University, Darko MarinovUniversity of Illinois at Urbana-Champaign Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Mojdeh Golagha, Constantin LehnhoffTechnical University of Munich, Alexander Pretschner, Hermann IlmbergerBMW | |||||||||||||||||||||||||||||||||||||||||
14:00 - 15:30: Technical Papers - Testing and Machine Learning at Grand Ballroom Chair(s): Hongyu ZhangThe University of Newcastle | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:22 Talk | Xiaofei XieNanyang Technological University, Lei MaKyushu University, Felix Juefei-XuCarnegie Mellon University, Minhui Xue, Hongxu ChenNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Bo LiUIUC, Jianxiong YinNVIDIA AI Tech Centre, Simon SeeNVIDIA AI Tech Centre | |||||||||||||||||||||||||||||||||||||||||
| 14:22 - 14:45 Talk | Maxime CordySnT, University of Luxembourg, Steve Mullerunaffiliated, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:07 Talk | Xia LiUniversity of Texas at Dallas, USA, Wei LiSouthern University of Science and Technology, Yuqun ZhangSouthern University of Science and Technology, Lingming Zhang | |||||||||||||||||||||||||||||||||||||||||
| 15:07 - 15:30 Talk | Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM DOI Pre-print Media Attached File Attached | |||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: Technical Papers - APIs and Symbolic Execution at Grand Ballroom Chair(s): Moonzoo KimKAIST | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:22 Talk | Maria KechagiaUniversity College London, Xavier DevroeyDelft University of Technology, Annibale PanichellaDeflt University of Technology, Georgios GousiosTU Delft, Arie van DeursenDelft University of Technology DOI Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 16:22 - 16:45 Talk | Mattia FazziniGeorgia Institute of Technology, Qi XinGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:07 Talk | Haipeng CaiWashington State University Pullman, Ziyi Zhang, Li LiMonash University, Australia, Xiaoqin FuWashington State University Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 17:07 - 17:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
Fri 19 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| 09:00 - 10:00 Talk | Adam KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 10:15 Talk | Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity of Texas at Austin | |||||||||||||||||||||||||||||||||||||||||
11:00 - 12:30: Technical Papers - Static Analysis and Debugging at Grand Ballroom Chair(s): Arie van DeursenDelft University of Technology | ||||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:22 Talk | Christian KlingerUniversity of Texas, Austin, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys Diligence Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 11:22 - 11:45 Talk | Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Mira MeziniTU Darmstadt, Germany Pre-print File Attached | |||||||||||||||||||||||||||||||||||||||||
| 11:45 - 12:07 Talk | DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 12:07 - 12:30 Talk | Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:22 Talk | Xue Qin, Hao ZhongShanghai Jiao Tong University, Xiaoyin WangUniversity of Texas at San Antonio, USA | |||||||||||||||||||||||||||||||||||||||||
| 14:22 - 14:45 Talk | Christian DegottCISPA Helmholtz Center for Information Security, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security Pre-print Media Attached | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:07 Talk | Thomas D. WhiteThe University of Sheffield, Gordon FraserUniversity of Passau, Guy J. BrownThe University of Sheffield | |||||||||||||||||||||||||||||||||||||||||
| 15:07 - 15:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
16:00 - 17:30: Technical Papers - Potpourri at Grand Ballroom Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:22 Talk | Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
| 16:22 - 16:45 Talk | Zhe ChenNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Shuanglong KanNanjing University of Aeronautics and Astronautics, Ju QianNanjing University of Aeronautics and Astronautics, Jingling XueUNSW Sydney | |||||||||||||||||||||||||||||||||||||||||
| 16:45 - 17:07 Talk | Elvira Albert, Maria Garcia de la BandaMonash University, Miguel Gómez-ZamalloaComplutense University of Madrid, Miguel IsabelComplutense University of Madrid, Peter J. StuckeyMonash University | |||||||||||||||||||||||||||||||||||||||||
| 17:07 - 17:30 Talk | Aashish Kolluri, Ivica NikolicNational University Of Singapore, Ilya SergeyYale-NUS College and National University of Singapore, Aquinas Hobor, Prateek SaxenaNational University Of Singapore | |||||||||||||||||||||||||||||||||||||||||
Mon 15 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 16 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 17 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Thu 18 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 19 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 | 18:00 | 30 | 19:00 | 30 | 20:00 | 30 | 21:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 15 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Function Room B | 10:00 - 12:00 | 14:00 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Meeting Room 4 | 10:30 - 11:00 | 14:30 - 15:00 | 15:30 - 16:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Meeting Room 8 | 12:00 - 12:30 | 14:00 - 14:20 | 15:10 - 15:30 | 17:00 - 17:20 | 17:20 - 17:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 16 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Function Room B | 09:00 - 09:10 | 09:30 - 10:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Meeting Room 2 | 09:30 - 09:46 | 15:00 - 15:30 | 16:00 - 17:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Meeting Room 4 | 09:00 - 10:00 | 10:30 - 11:00 | 15:30 - 16:00 | 16:00 - 16:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Meeting Room 8 | 09:00 - 10:30 | 11:00 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Valley Cafe | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 17 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Grand Ballroom | 09:00 - 09:15 | 10:30 - 11:00 | 11:00 - 11:22 | 15:30 - 16:00 | 17:30 - 20:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Valley Cafe | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Thu 18 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | 17:00 | 15 | 30 | 45 | 18:00 | 15 | 30 | 45 | 19:00 | 15 | 30 | 45 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Grand Ballroom | 10:00 - 10:07 | 10:07 - 10:14 | 10:14 - 10:21 | 10:21 - 10:28 | 10:30 - 11:00 | 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Valley Cafe | 12:30 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Fri 19 Jul Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change
| Room | 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Grand Ballroom | 10:00 - 10:15 | 10:30 - 11:00 | 15:30 - 16:00 | 16:00 - 16:22 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Valley Cafe | 12:30 - 14: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