Write a Blog >>
VenueESEC/FSE 2020 will be held virtually
Room nameVirtual room 2
Floor0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 10 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Talk
Research Papers
Changjian ZhangCarnegie Mellon University, USA, David GarlanCarnegie Mellon University, USA, Eunsuk KangCarnegie Mellon University, USA
01:03 - 01:04
Talk
Research Papers
Juan ZhaiPurdue University, USA, Yu ShiPurdue University, USA, Minxue PanNanjing University, China, Guian ZhouNanjing University, China, Yongxiang LiuNanjing University, China, Chunrong FangNanjing University, China, Shiqing MaRutgers University, USA, Lin TanPurdue University, USA, Xiangyu ZhangPurdue University, USA
01:05 - 01:06
Talk
Research Papers
Mingxue ZhangChinese University of Hong Kong, China, Wei MengChinese University of Hong Kong, China
01:07 - 01:08
Talk
Tool Demos
Rebecca BrunnerBowling Green State University, USA, Robert DyerUniversity of Nebraska - Lincoln, Maria PaquinBoise State University, Elena ShermanBoise State University
01:09 - 01:10
Talk
Visions and Reflections
Haipeng CaiWashington State University, USA, Shiv Raj PantWashington State University, USA, Wen Li
01:11 - 01:12
Talk
Tool Demos
Konner MaciasUniversity of California at Los Angeles, USA, Mihir MathurUniversity of California, Los Angeles, Bobby BruceUniversity of California at Davis, USA, Tianyi ZhangHarvard University, USA, Miryung KimUniversity of California at Los Angeles, USA
01:13 - 01:30
Talk
Research Papers
01:30 - 01:35
Talk
Journal First
Karim AliUniversity of Alberta, Xiaoni LaiGoogle, Zhaoyi LuoMicrosoft, Ondřej LhotákUniversity of Waterloo, Julian DolbyIBM Research, USA, Frank TipNortheastern University
01:33 - 01:34
Talk
Industry Papers
Bennett MackenzieMcMaster University, Canada, Vera PantelicMcMaster University, Canada, Gordon MarksMcMaster University, Canada, Stephen Wynn-WilliamsMcMaster University, Canada, Gehan SelimMcMaster University, Canada, Mark LawfordMcMaster, Alan WassyngMcMaster University, Canada, Moustapha DiabFCA, USA, Feisel WeslatiFCA, USA
01:35 - 01:36
Talk
Tool Demos
Xiaoqin FuWashington State University, Haipeng CaiWashington State University, USA, Li LiMonash University, Australia
01:37 - 01:38
Talk
Research Papers
Bobby BruceUniversity of California at Davis, USA, Tianyi ZhangHarvard University, USA, Jaspreet AroraUniversity of California at Los Angeles, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA, Miryung KimUniversity of California at Los Angeles, USA
01:39 - 01:40
Talk
Research Papers
Sooyoung ChaKorea University, South Korea, Hakjoo OhKorea University, South Korea
01:41 - 02:00
Talk
Research Papers
08:00 - 08:30: Empirical in PracticePaper Presentations / Industry Papers / Journal First at Virtual room 2
08:00 - 08:02
Talk
Industry Papers
Shinobu SaitoNTT Software Innovation Center, IIMURA YukakoNTT, Japan, Emad AghayiGeorge Mason University, Thomas LaTozaGeorge Mason University, USA
08:03 - 08:04
Talk
Journal First
Vahid GarousiQueen's University Belfast, Görkem GirayIndependent Researcher, Eray TüzünBilkent University, Çağatay ÇatalWageningen University, Michael FeldererUniversity of Innsbruck
08:05 - 08:06
Talk
Industry Papers
Meng YanSchool of Big Data & Software Engineering, Chongqing University, Xin XiaMonash University, Yuanrui FanZhejiang University, David LoSingapore Management University, Ahmed E. HassanQueen's University, Xindong ZhangAlibaba Group
08:07 - 08:08
Talk
Industry Papers
He ZhangNanjing University, Huang HuangState Key Laboratory of Novel Software Technology, Software Institute, Nanjing University, Dong ShaoNanjing University, Xin Huang
08:09 - 08:10
Talk
Industry Papers
Lin ShiInstitute of Software at Chinese Academy of Sciences, China, Mingyang LiInstitute of Software at Chinese Academy of Sciences, China, Mingzhe XingISCAS, Yawen WangISCAS, Qing WangInstitute of Software, Chinese Academy of Sciences, Xinhua PengChina Merchants Bank, China, Weimin LiaoChina Merchants Bank, China, Guizhen PiChina Merchants Bank, China, Haiqing WangBeijing Software Cost Evaluation Technology Innovation Alliance, China
08:11 - 08:12
Talk
Paper Presentations
Orges CicoNorwegian University of Science and Technology
08:13 - 08:30
Talk
Paper Presentations
08:30 - 09:00: Developer Support 1Paper Presentations / Tool Demos / Research Papers at Virtual room 2
08:30 - 08:32
Talk
Tool Demos
Han Wang, Chunyang ChenMonash University, Australia, Zhenchang XingAustralian National University, Australia, John GrundyMonash University, Australia
08:33 - 08:34
Talk
Tool Demos
Lingfeng Bao Zhejiang University, Shengyi PanZhejiang University of Technology, China, Zhenchang XingAustralian National University, Australia, Xin XiaMonash University, David LoSingapore Management University, Xiaohu YangZhejiang University, China
08:35 - 08:36
Talk
Research Papers
Kaifeng HuangFudan University, China, Bihuan ChenFudan University, China, Bowen ShiFudan University, China, Ying WangFudan University, China, Congying XuFudan University, China, Xin PengFudan University, China
08:37 - 08:38
Talk
Tool Demos
Fangcheng QiuZhejiang University, China, Meng YanChongqing University, Xin XiaMonash University, Xinyu WangZhejiang University, Yuanrui FanZhejiang University, Ahmed E. HassanQueen's University, David LoSingapore Management University
08:39 - 08:40
Talk
Paper Presentations
Camila Mariane Costa SilvaUniversity of Canterbury
08:41 - 09:00
Talk
Paper Presentations
17:00 - 17:02
Talk
Research Papers
Jacob KrügerUniversity of Magdeburg, Germany, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
17:03 - 17:04
Talk
Research Papers
Ben HermannTechnical University Dortmund, Stefan WinterTU Darmstadt, Germany, Janet SiegmundTU Chemnitz, Germany
DOI Pre-print Media Attached
17:05 - 17:06
Talk
Research Papers
Umme Ayda MannanOregon State University, USA, Iftekhar AhmedUniversity of California at Irvine, USA, Carlos JensenOregon State University, USA, Anita SarmaOregon State University, USA
17:07 - 17:08
Talk
Research Papers
Massimiliano Di PentaUniversity of Sannio, Italy, Gabriele BavotaUSI Lugano, Switzerland, Fiorella ZampettiUniversity of Sannio, Italy
17:09 - 17:10
Talk
Journal First
Akond RahmanTennessee Tech University, Effat FarhanaNC State University, Laurie WilliamsNorth Carolina State University
Link to publication DOI Pre-print Media Attached
17:11 - 17:12
Talk
Research Papers
Dan Gopstein New York University, USA, Anne-Laure FayardNew York University, USA, Sven ApelSaarland University, Germany, Justin CapposNew York University, USA
Pre-print
17:13 - 17:30
Talk
Paper Presentations
17:30 - 17:32
Talk
Research Papers
Linda ErlenhovChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Francisco Gomes de Oliveira NetoChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Philipp LeitnerChalmers University of Technology, Sweden / University of Gothenburg, Sweden
17:33 - 17:34
Talk
Research Papers
Yvonne DittrichIT University of Copenhagen, Denmark, Christian Bo MichelsenIT University of Copenhagen, Paolo TellIT University of Copenhagen, Denmark, Pernille Lous, Allan Ebdrupn.n., n.n.
17:35 - 17:36
Talk
Industry Papers
Gvozden MarinkovicPlusPlus NT, Belgrade, Serbia, Nikola LukicUniversity of Southern California, Nenad MedvidovićUniversity of Southern California, USA
17:37 - 17:38
Talk
Research Papers
Hennie HuijgensDelft University of Technology, Netherlands, Ayushi RastogiDelft University of Technology, Netherlands, Ernst MuldersDelft University of Technology, Netherlands, Georgios GousiosDelft University of Technology, Netherlands, Arie van DeursenDelft University of Technology, Netherlands
17:39 - 17:40
Talk
Visions and Reflections
Vard AntinyanVolvo Car Group
17:41 - 17:42
Talk
Research Papers
Sergio GarciaChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Daniel StrüberRadboud University Nijmegen, Davide BrugaliUniversity of Bergamo, Italy, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Patrizio PelliccioneUniversity of L'Aquila and Chalmers | University of Gothenburg
Pre-print Media Attached
17:43 - 18:00
Talk
Paper Presentations

Wed 11 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Talk
Research Papers
Alex CummaudoApplied Artificial Intelligence Institute, Deakin University, Scott BarnettDeakin University, Australia, Rajesh VasaDeakin University, Australia, John GrundyMonash University, Australia, Mohamed AbdelrazekDeakin University, Australia
01:03 - 01:04
Talk
Industry Papers
Jiazhen GuFudan University, China, Jiaqi WenPeking University, China, Zijian WangFudan University, China, Pu ZhaoMicrosoft Research, China, Chuan LuoMicrosoft Research, China, Yu KangMicrosoft Research, China, Yangfan ZhouFudan University, China, Li YangMicrosoft Azure, USA, Jeffrey SunMicrosoft Azure, USA, Zhangwei XuMicrosoft, China, Bo QiaoMicrosoft Research, China, Liqun LiMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Dongmei ZhangMicrosoft Research, China
01:05 - 01:06
Talk
Industry Papers
Jiajun JiangTianjin University, China, Weihai LuPeking University, China, Junjie ChenTianjin University, China, Qingwei LinMicrosoft Research, China, Pu ZhaoMicrosoft Research, China, Yu KangMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Yingfei XiongPeking University, China, Feng GaoMicrosoft, China, Zhangwei XuMicrosoft, China, Yingnong DangMicrosoft, USA, Dongmei ZhangMicrosoft Research, China
01:07 - 01:08
Talk
Research Papers
Yujun ChenMicrosoft Research, China, Xian YangHong Kong Baptist University, China, Hang DongMicrosoft Research, China, Xiaoting HeChinese Academy of Sciences, China, Hongyu ZhangUniversity of Newcastle, Australia, Qingwei LinMicrosoft Research, China, Junjie ChenTianjin University, China, Pu ZhaoMicrosoft Research, China, Yu KangMicrosoft Research, China, Feng GaoMicrosoft, China, Zhangwei XuMicrosoft, China, Dongmei ZhangMicrosoft Research, China
01:09 - 01:10
Talk
Tool Demos
Anup K. KaliaIBM Research, USA, Jin XiaoIBM Research, USA, Chen LinIBM Research, USA, Saurabh SinhaIBM Research, John RofranoIBM Research, USA, Maja VukovicIBM Research, USA, Debasish BanerjeeIBM, n.n.
01:11 - 01:12
Talk
Tool Demos
Alex CummaudoApplied Artificial Intelligence Institute, Deakin University, Scott BarnettDeakin University, Australia, Rajesh VasaDeakin University, Australia, John GrundyMonash University, Australia
01:13 - 01:14
Talk
Industry Papers
Zhuangbin ChenChinese University of Hong Kong, China, Yu KangMicrosoft Research, China, Liqun LiMicrosoft Research, China, Xu ZhangMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Hui XuFudan University, China, Yangfan ZhouFudan University, China, Li YangMicrosoft Azure, USA, Jeffrey SunMicrosoft Azure, USA, Zhangwei XuMicrosoft, China, Yingnong DangMicrosoft, USA, Feng GaoMicrosoft, China, Pu ZhaoMicrosoft Research, China, Bo QiaoMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Dongmei ZhangMicrosoft Research, China, Michael LyuCUHK
01:15 - 01:30
Talk
Paper Presentations
01:30 - 02:00: Cloud / Services 2Paper Presentations / Research Papers / Industry Papers at Virtual room 2
01:30 - 01:32
Talk
Research Papers
Alan ChaIBM Research, USA, Erik WitternIBM, USA, Guillaume BaudartIBM Research, USA, James C. DavisVirginia Tech, USA, Louis MandelIBM Research, USA, Jim A. LaredoIBM Research, USA
01:33 - 01:34
Talk
Research Papers
Malik BouchetAmazon, USA, Byron CookAmazon, Bryant CutlerAmazon, USA, Anna DruzkinaAmazon, USA, Andrew GacekAmazon, USA, Liana HadareanAmazon, Ranjit JhalaAmazon, USA, Brad MarshallAmazon, USA, Dan PeeblesAmazon, USA, Neha RungtaAmazon Web Services, Cole SchlesingerAmazon, USA, Chriss StephensAmazon, USA, Carsten VarmingAmazon, USA, Andy WarfieldAmazon, USA
01:35 - 01:36
Talk
Research Papers
Jiazhen GuFudan University, China, Chuan LuoMicrosoft Research, China, Si QinMicrosoft Research, n.n., Bo QiaoMicrosoft Research, China, Qingwei LinMicrosoft Research, China, Hongyu ZhangUniversity of Newcastle, Australia, Ze LiMicrosoft, USA, Yingnong DangMicrosoft, USA, Shaowei CaiInstitute of Software at Chinese Academy of Sciences, China, Wei-Cheng WuUniversity of Southern California, USA, Yangfan ZhouFudan University, China, Murali ChintalapatiMicrosoft, n.n., Dongmei ZhangMicrosoft Research, China
01:37 - 01:38
Talk
Industry Papers
Xiaofeng GuoFudan University, China, Xin PengFudan University, China, Hanzhang WangeBay, Wanxue LieBay, USA, Huai JiangeBay, USA, Dan DingFudan University, China, Tao XiePeking University, USA, Liangfei SueBay, USA
01:39 - 01:40
Talk
Research Papers
Nengwen ZhaoTsinghua University, Junjie ChenTianjin University, China, Zhou WangBizSeer, China, Xiao PengBeijing University of Posts and Telecommunications, China, Gang WangChina EverBright Bank, Yong WuChina EverBright Bank, Fang ZhouChina EverBright Bank, Zhen FengEverBright Bank, China, Xiaohui NieEverBright Bank, China, Wenchi ZhangTsinghua University, China, Kaixin SuiBizSeer, Dan PeiBizSeer, China
01:41 - 01:42
Talk
Industry Papers
Jie WangPeking University, China / Ant Group, China / Alibaba Group, China, Yunguang WuAnt Group, China, Gang ZhouAnt Group, China, Yiming YuAnt Group, China, Zhenyu GuoAnt Group, China, Yingfei XiongPeking University, China
01:43 - 02:00
Talk
Paper Presentations
17:00 - 17:03
Talk
Paper Presentations
Zhendong WangUniversity of California, Irvine
17:03 - 17:07
Talk
Student Research Competition
Rozaliya AmirovaInnopolis University, Russia
17:07 - 17:11
Talk
Tool Demos
Kaan ÜnlüBilkent University, Barış ArdıçBilkent University, Turkey, Eray TüzünBilkent University
17:11 - 17:15
Talk
Industry Papers
Cem SürücüVolkswagen Financial Services, Germany / University of Magdeburg, Germany, Bianying SongVolkswagen Financial Services, Germany, Jacob KrügerUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany
17:15 - 17:18
Talk
Journal First
17:18 - 17:22
Talk
Journal First
William R. NicholsCarnegie Mellon University/Software Engineering Institute
17:22 - 17:26
Talk
Journal First
Zhendong WangUniversity of California, Irvine, Yang FengNanjing University, Yi WangCoCo Labs, USA, James JonesUniversity of California, Irvine, David RedmilesUniversity of California, Irvine
17:26 - 17:30
Talk
Paper Presentations
17:30 - 17:32
Talk
Research Papers
Jose CambroneroMassachusetts Institute of Technology, USA, Jürgen CitoVienna University of Technology, Austria / Massachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, USA
17:33 - 17:34
Talk
Visions and Reflections
Anh Nguyen-DucUniversity of South Eastern Norway, Pekka AbrahamssonUniversity of Jyväskylä
17:35 - 17:36
Talk
Research Papers
SiminChen University of Texas at Dallas, USA, Soroush BateniUniversity of Texas at Dallas, USA, Sampath GrandhiUniversity of Texas at Dallas, USA, Xiaodi LiUniversity of Texas at Dallas, USA, Cong LiuUniversity of Texas at Dallas, USA, Wei YangUniversity of Texas at Dallas, USA
17:37 - 17:38
Talk
Research Papers
Rangeet PanIowa State University, USA, Hridesh RajanIowa State University, USA
17:39 - 17:40
Talk
Student Research Competition
Joshua GisiNorth Dakota State University, USA
17:41 - 18:00
Talk
Paper Presentations

Thu 12 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:02
Long-paper
Research Papers
Yixue ZhaoUniversity of Southern California, USA, Justin ChenColumbia University, USA, Adriana SejfiaUniversity of Southern California, USA, Marcelo LaserUniversity of Southern California, USA, Jie M. ZhangUniversity College London, UK, Federica SarroUniversity College London, UK, Mark HarmanUniversity College London, UK, Nenad MedvidovićUniversity of Southern California, USA
DOI Pre-print Media Attached
01:03 - 01:04
Talk
Tool Demos
Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Shang-Wei LinNanyang Technological University, Singapore, Qiang YanWeBank, n.n.
Pre-print Media Attached
01:05 - 01:06
Talk
Research Papers
Jieshan ChenAustralian National University, Australia, Mulong XieAustralian National University, Australia, Zhenchang XingAustralian National University, Australia, Chunyang ChenMonash University, Australia, Xiwei XuData61 at CSIRO, Australia, Liming ZhuData61 at CSIRO, Australia / UNSW, Australia, Guoqiang LiShanghai Jiao Tong University, China
01:07 - 01:08
Talk
Tool Demos
Mulong XieAustralian National University, Australia, Sidong FengAustralian National University, Australia, Zhenchang XingAustralian National University, Australia, Jieshan ChenAustralian National University, Australia, Chunyang ChenMonash University, Australia
01:09 - 01:10
Talk
Industry Papers
Zhenyue LongChina Southern Power Grid, China, Guoquan WuInstitute of Software at Chinese Academy of Sciences, China, Xiaojiang ChenChina Southern Power Grid, China, Wei ChenInstitute of Software at Chinese Academy of Sciences, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences
01:11 - 01:30
Talk
Paper Presentations
01:30 - 01:32
Talk
Industry Papers
Linyi LiUniversity of Illinois at Urbana-Champaign, Zhenwen LiPeking University, China, Weijie ZhangTencent, China, Jun ZhouTencent, China, Pengcheng WangTencent, China, Jing WuTencent, China, Guanghua HeTencent, China, Xia ZengTencent, China, Yuetang DengTencent, Inc., Tao XiePeking University, USA
01:33 - 01:34
Talk
Tool Demos
Ali GhanbariThe University of Texas at Dallas, Andrian MarcusUniversity of Texas at Dallas
Pre-print
01:35 - 01:36
Talk
Journal First
Afsoon AfzalCarnegie Mellon University, Manish MotwaniUniversity of Massachusetts, Amherst, Kathryn StoleeNorth Carolina State University, Yuriy BrunUniversity of Massachusetts at Amherst, USA, Claire Le GouesCarnegie Mellon University
01:37 - 01:38
Talk
Tool Demos
Anthony PerumaRochester Institute of Technology, Khalid AlmalkiRochester Institute of Technology, USA, Christian NewmanRochester Institute of Technology, Mohamed Wiem MkaouerRochester Institute of Technology, Ali OuniETS Montreal, University of Quebec, Fabio PalombaUniversity of Salerno
DOI Pre-print Media Attached
01:39 - 01:40
Talk
Research Papers
Rahmadi TrimanandaUniversity of California at Irvine, USA, Seyed Amir Hossein AqajariUniversity of California at Irvine, USA, Jason ChuangUniversity of California at Irvine, USA, Brian DemskyUniversity of California at Irvine, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA, Shan LuUniversity of Chicago, USA
DOI Pre-print Media Attached
01:41 - 02:00
Talk
Paper Presentations
08:00 - 08:02
Talk
Research Papers
Fuyuan ZhangMPI-SWS, Germany, Sankalan Pal ChowdhuryMPI-SWS, Germany, Maria ChristakisMPI-SWS, Germany
08:03 - 08:04
Talk
Paper Presentations
Ján ČegiňFaculty of Informatics and Information Technologies Slovak Technical University
08:05 - 08:06
Talk
Journal First
Jie M. ZhangUniversity College London, UK, Mark HarmanUniversity College London, UK, Lei MaKyushu University, Yang LiuNanyang Technological University, Singapore
08:07 - 08:08
Talk
Research Papers
Shashij GuptaIIT Bombay, India, Pinjia HeETH Zurich, Switzerland, Clara MeisterETH Zurich, Switzerland, Zhendong SuETH Zurich, Switzerland
08:09 - 08:10
Talk
Research Papers
Vincenzo RiccioUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland
08:11 - 08:12
Talk
Tool Demos
Renjue LiInstitute of Software at Chinese Academy of Sciences, China, Jianlin LiInstitute of Software at Chinese Academy of Sciences, China, Cheng-Chao HuangInstitute of Intelligent Software, China, Pengfei YangInstitute of Software at Chinese Academy of Sciences, China, Xiaowei HuangUniversity of Liverpool, Lijun ZhangInstitute of Software, Chinese Academy of Sciences, Bai XueInstitute of Software at Chinese Academy of Sciences, China, Holger HermannsSaarland University
08:13 - 08:14
Talk
Visions and Reflections
Md Sohel AhmedNational Institute of Informatics, Japan, Fuyuki IshikawaNational Institute of Informatics, Mahito SugiyamaNational Institute of Informatics, Japan
08:15 - 08:30
Talk
Paper Presentations

Fri 13 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

01:00 - 01:30: Static AnalysisPaper Presentations / Tool Demos / Research Papers at Virtual room 2
01:00 - 01:02
Talk
Research Papers
Sahar BadihiUniversity of British Columbia, Canada, Faridah AkinotchoUniversity of British Columbia, Canada, Yi LiNanyang Technological University, Singapore, Julia RubinUniversity of British Columbia, Canada
Pre-print
01:03 - 01:04
Talk
Research Papers
Vaibhav SharmaAmazon Web Services, Soha HusseinUniversity of Minnesota, USA, and Ain Shams University, Cairo, Egypt, Michael WhalenAmazon Web Services and the University of Minnesota, Stephen McCamantUniversity of Minnesota, Willem VisserStellenbosch University
01:05 - 01:06
Talk
Tool Demos
Wen Li, Haipeng CaiWashington State University, USA, Yulei SuiUniversity of Technology Sydney, Australia, David ManzPacific Northwest National Laboratory, USA
01:07 - 01:08
Talk
Tool Demos
Daniil TiganovUniversity of Alberta, Canada, Jeff ChoUniversity of Alberta, Karim AliUniversity of Alberta, Julian DolbyIBM Research, USA
01:09 - 01:10
Talk
Research Papers
Yizhuo ZhaiUniversity of California at Riverside, USA, Yu HaoUniversity of California at Riverside, USA, Hang ZhangUniversity of California at Riverside, USA, Daimeng WangUniversity of California at Riverside, USA, Chengyu SongUniversity of California at Riverside, USA, Zhiyun QianUniversity of California at Riverside, USA, Mohsen LesaniUniversity of California at Riverside, USA, Srikanth KrishnamurthyUniversity of California at Riverside, USA, Paul YuU.S. Army Research Laboratory, USA
01:11 - 01:30
Talk
Paper Presentations
01:30 - 02:00: SAT and SynthesisPaper Presentations / Research Papers / Tool Demos at Virtual room 2
01:30 - 01:32
Talk
Tool Demos
Jiayi YangUniversity of Texas at Austin, USA, Wenxi WangUniversity of Texas at Austin, USA, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin, USA
01:32 - 01:34
Talk
Research Papers
Zifan NanNorth Carolina State University, USA, Hui GuanUniversity of Massachusetts at Amherst, USA, Xipeng ShenNorth Carolina State University, USA
01:35 - 01:36
Talk
Research Papers
Shivam HandaMassachusetts Institute of Technology, USA, Martin RinardMassachusetts Institute of Technology, USA
01:37 - 01:38
Talk
Tool Demos
Abtin MolaviHarvey Mudd College, USA, Mara DowningHarvey Mudd College, USA, Tommy SchneiderHarvey Mudd College, USA, Lucas BangHarvey Mudd College
01:39 - 01:40
Talk
Tool Demos
Xie Li, Yi LiNanyang Technological University, Singapore, Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao SunInstitute of Software at Chinese Academy of Sciences, China, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences
01:41 - 02:00
Talk
Paper Presentations
08:00 - 08:02
Talk
Research Papers
Yutian TangHong Kong Polytechnic University, China, Yulei SuiUniversity of Technology Sydney, Australia, Haoyu WangBeijing University of Posts and Telecommunications, China, Xiapu LuoHong Kong Polytechnic University, China, Hao ZhouHong Kong Polytechnic University, China, Zhou XuChongqing University, China
08:03 - 08:04
Talk
Research Papers
Jun GaoUniversity of Luxembourg, Luxembourg, Li LiMonash University, Australia, Pingfan KongUniversity of Luxembourg, Luxembourg, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, Luxembourg
08:05 - 08:06
Talk
Student Research Competition
Zamira KholmatovaInnopolis University, Russia
08:07 - 08:08
Talk
Journal First
Li LiMonash University, Australia, Tegawendé F. BissyandéUniversity of Luxembourg, Luxembourg, Jacques KleinUniversity of Luxembourg, Luxembourg
08:09 - 08:10
Talk
Research Papers
Linjie PanInstitute of Software at Chinese Academy of Sciences, China, Baoquan CuiInstitute of Software at Chinese Academy of Sciences, China, Hao LiuBeijing University of Technology, China, Jiwei YanInstitute of Software at Chinese Academy of Sciences, China, Siqi WangBeijing University of Technology, China, Jun YanInstitute of Software at Chinese Academy of Sciences, China, Jian ZhangInstitute of Software at Chinese Academy of Sciences, China
08:11 - 08:30
Talk
Paper Presentations

Tue 10 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Virtual room 2

Wed 11 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Virtual room 2

Thu 12 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:00153045
Virtual room 2

Fri 13 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:00153045
Virtual room 2