Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Filter
Conference Dates
Conference Dates are in time zone (GMT-07:00) Tijuana, Baja California, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 18 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-doctoral-symposium
09:00 - 13:00: Doctoral Symposium - Doctoral Symposium at Zoom
issta-2020-doctoral-symposium09:00 - 10:00
Keynote
issta-2020-doctoral-symposium10:00 - 10:20
Day opening
issta-2020-doctoral-symposium10:20 - 10:40
Doctoral symposium paper
issta-2020-doctoral-symposium10:40 - 11:00
Doctoral symposium paper
issta-2020-doctoral-symposium11:00 - 11:40
Keynote
issta-2020-doctoral-symposium11:40 - 12:00
Doctoral symposium paper
issta-2020-doctoral-symposium12:00 - 13:00
Meeting

Sun 19 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-tav-cps-iot
09:00 - 12:30: TAV-CPS/IoT - TAV-CPS/IoT Workshop at Zoom
issta-2020-tav-cps-iot09:00 - 10:00
Keynote
issta-2020-tav-cps-iot10:00 - 10:30
Talk
issta-2020-tav-cps-iot10:30 - 11:00
Talk
issta-2020-tav-cps-iot11:00 - 11:30
Talk
issta-2020-tav-cps-iot11:30 - 12:30
Meeting

Mon 20 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-keynote
09:00 - 10:30: Keynote - Welcome & Keynote at Zoom
issta-2020-keynote09:00 - 09:30
Day opening
issta-2020-keynote09:30 - 10:30
Talk
issta-2020-catering
10:30 - 10:50: Break - Mini Break at Zoom
issta-2020-papers
10:50 - 11:50: Technical Papers - FUZZING at Zoom
Chair(s): Rody KerstenSynopsys, Inc.
issta-2020-papers10:50 - 11:10
Talk
Andrea FioraldiSapienza University Rome, Daniele Cono D'EliaSapienza University of Rome, Emilio CoppaSapienza University of Rome, Italy
Pre-print
issta-2020-papers11:10 - 11:30
Talk
Yuqi ChenSingapore Management University, Bohan Xuan, Chris PoskittSingapore Management University, Jun SunSingapore Management University, Fan Zhang
DOI Pre-print
issta-2020-papers11:30 - 11:50
Talk
Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
issta-2020-catering
11:50 - 12:10: Break - Mini Break at Zoom
issta-2020-papers
12:10 - 13:10: Technical Papers - SYMBOLIC EXECUTION AND CONSTRAINT SOLVING at Zoom
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
issta-2020-papers12:10 - 12:30
Talk
Yao PeisenHKUST, Qingkai ShiThe Hong Kong University of Science and Technology, Heqing Huang, Charles ZhangThe Hong Kong University of Science and Technology
issta-2020-papers12:30 - 12:50
Talk
David TrabishTel Aviv University, Noam RinetzkyTel Aviv University
issta-2020-papers12:50 - 13:10
Talk
Frank BusseImperial College London, Martin NowackImperial College London, Cristian CadarImperial College London
Pre-print
issta-2020-catering
13:10 - 13:30: Break - Mini Break at Zoom
issta-2020-papers
13:30 - 14:30: Technical Papers - REPAIR AND DEBUG at Zoom
Chair(s): Xuan Bach D. LeThe University of Melbourne
issta-2020-papers13:30 - 13:50
Talk
Yiling LouPeking University, China, Ali GhanbariThe University of Texas at Dallas, Xia LiUniversity of Texas at Dallas, USA, Lingming ZhangThe University of Texas at Dallas, Haotian ZhangAnt Financial, Dan HaoPeking University, Lu ZhangPeking University, China
Pre-print
issta-2020-papers13:50 - 14:10
Talk
Raja Ben AbdessalemSnT Centre/University of Luxembourg, Annibale PanichellaDelft University of Technology, Shiva NejatiUniversity of Ottawa, Lionel C. BriandSnT Centre/University of Luxembourg, Thomas Stifter
issta-2020-papers14:10 - 14:30
Talk
Thibaud Lutellier, Viet Hung PhamUniversity of Waterloo, Lawrence Pang, Yitong Li, Moshi Wei, Lin TanPurdue University
issta-2020-catering
14:30 - 14:50: Break - Mini Break at Zoom
issta-2020-papers
14:50 - 15:50: Technical Papers - MOBILE APPS at Zoom
Chair(s): Elena ShermanBoise State University
issta-2020-papers14:50 - 15:10
Talk
Xueliang LiShenzhen University, Yuming YangShenzhen University, Yepang LiuSouthern University of Science and Technology, John P. GallagherRoskilde University, Kaishun WuShenzhen University
issta-2020-papers15:10 - 15:30
Talk
Hui LiuBeijing Institute of Technology, Mingzhu ShenBeijing Institute of Technology, Jiahao Jin, Yanjie JiangBeijing Institute of Technology
issta-2020-papers15:30 - 15:50
Talk
Oliviero RiganelliUniversity of Milano-Bicocca, Italy, Simone Paolo MottadelliUniversity of Milano-Bicocca, Claudio RotaUniversity of Milano-Bicocca, Daniela MicucciUniversity of Milano-Bicocca, Italy, Leonardo MarianiUniversity of Milano Bicocca
issta-2020-catering
15:50 - 16:10: Break - Mini Break at Zoom
issta-2020-papers
16:10 - 17:10: Technical Papers - MACHINE LEARNING I at Zoom
Chair(s): Divya GopinathNASA Ames (KBR Inc.)
issta-2020-papers16:10 - 16:30
Talk
Minxue PanNanjing University, An Huang, Guoxin Wang, Tian ZhangNanjing University, Xuandong LiNanjing University
issta-2020-papers16:30 - 16:50
Talk
Seokhyun LeeKorea University, South Korea, Sooyoung ChaKorea University, South Korea, Dain Lee, Hakjoo OhKorea University, South Korea
issta-2020-papers16:50 - 17:10
Talk
Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Xinyu Gao, Muhammed Kerem Kahraman, Chunrong FangNanjing University, Zhenyu ChenNanjing University

Tue 21 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-keynote
09:00 - 10:30: Keynote - Awards & Keynote at Zoom
issta-2020-keynote09:00 - 09:30
Awards
issta-2020-keynote09:30 - 10:30
Talk
issta-2020-catering
10:30 - 10:50: Break - Mini Break at Zoom
issta-2020-papers
10:50 - 11:50: Technical Papers - MACHINE LEARNING II at Zoom
Chair(s): Baishakhi RayColumbia University, New York
issta-2020-papers10:50 - 11:10
Talk
Saeid Tizpaz-NiariUniversity of Colorado Boulder, Pavol CernyTU Wien, Ashutosh Trivedi
Pre-print
issta-2020-papers11:10 - 11:30
Talk
Arnab SharmaUniversity of Paderborn, Heike WehrheimPaderborn University
issta-2020-papers11:30 - 11:50
Talk
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, August ShiUniversity of Illinois at Urbana-Champaign, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
issta-2020-catering
11:50 - 12:10: Break - Mini Break at Zoom
issta-2020-papers
12:10 - 13:10: Technical Papers - BUG LOCALIZATION AND TEST ISOLATION at Zoom
Chair(s): Tingting YuUniversity of Kentucky
issta-2020-papers12:10 - 12:30
Talk
Michael PradelUniversity of Stuttgart, Vijayaraghavan MuraliFacebook, Inc., Rebecca QianFacebook, Inc., Mateusz MachalicaFacebook, Inc., Erik Meijer, Satish ChandraFacebook
issta-2020-papers12:30 - 12:50
Talk
Rahul GopinathCISPA Helmholtz Center for Information Security, Alexander KampmannCISPA Helmholtz Center for Information Security, Nikolas HavrikovCISPA Helmholtz Center for Information Security, Ezekiel O. SoremekunCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
issta-2020-papers12:50 - 13:10
Talk
Pengyu Nie, Ahmet CelikFacebook, Matthew Coley, Aleksandar Milicevic, Jonathan BellGeorge Mason University, Milos GligoricThe University of Texas at Austin
issta-2020-catering
13:10 - 13:30: Break - Mini Break at Zoom
issta-2020-papers
13:30 - 14:30: Technical Papers - SECURITY at Zoom
Chair(s): Lucas BangHarvey Mudd College
issta-2020-papers13:30 - 13:50
Talk
Ismet Burak KadronUniversity of California at Santa Barbara, Nico RosnerAmazon Web Services, Tevfik BultanUniversity of California, Santa Barbara
issta-2020-papers13:50 - 14:10
Talk
Mohannad Alhanahnah, Clay StevensUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA
issta-2020-papers14:10 - 14:30
Talk
Muyang Liu, Ke LiUniversity of Exeter, Tao ChenLoughborough University
issta-2020-catering
14:30 - 14:50: Break - Mini Break at Zoom
issta-2020-papers
14:50 - 15:50: Technical Papers - REGRESSION TESTING at Zoom
Chair(s): Alex OrsoGeorgia Institute of Technology
issta-2020-papers14:50 - 15:10
Talk
Wing LamUniversity of Illinois at Urbana-Champaign, August ShiUniversity of Illinois at Urbana-Champaign, Reed Oei, Sai ZhangGoogle Cloud, Michael D. ErnstUniversity of Washington, USA, Tao XiePeking University
issta-2020-papers15:10 - 15:30
Talk
Patrice GodefroidMicrosoft Research, Daniel LehmannTU Darmstadt, Marina PolishchukMicrosoft
issta-2020-papers15:30 - 15:50
Talk
Qianyang Peng, August ShiUniversity of Illinois at Urbana-Champaign, Lingming ZhangThe University of Texas at Dallas
issta-2020-catering
15:50 - 16:10: Break - Mini Break at Zoom
issta-2020-papers
16:10 - 17:10: Technical Papers - CHALLENGING DOMAINS at Zoom
Chair(s): Yi LiNanyang Technological University
issta-2020-papers16:10 - 16:30
Talk
Per Erik StrandbergWestermo Network Technologies AB, Thomas Ostrand, Elaine WeyukerMälardalen University, Wasif AfzalMälardalen University, Daniel SundmarkMälardalen University
Pre-print
issta-2020-papers16:30 - 16:50
Talk
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia, Matthew DwyerUniversity of Virginia
issta-2020-papers16:50 - 17:10
Talk
Hui Li, Dong WangInstitute of software, Chinese academy of sciences, Tianze Huang, Yu GaoInstitute of Software, Chinese Academy of Sciences, China, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Lijie XuInstitute of Software, Chinese Academy of Sciences, Wei Wang, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hua Zhong

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-keynote
09:00 - 10:30: Keynote - Preview & Keynote at Zoom
issta-2020-keynote09:00 - 09:30
Day opening
issta-2020-keynote09:30 - 10:30
Talk
issta-2020-catering
10:30 - 10:50: Break - Mini Break at Zoom
issta-2020-papers
10:50 - 11:50: Technical Papers - BINARY ANALYSIS at Zoom
Chair(s): Junaid Haroon SiddiquiLahore University of Management Sciences
issta-2020-papers10:50 - 11:10
Talk
Yifei Xu, Zhengzi Xu, Bihuan ChenFudan University, Fu Song, Yang LiuNanyang Technological University, Singapore, Ting LiuXi'an Jiaotong University
issta-2020-papers11:10 - 11:30
Talk
George FourtounisUniversity of Athens, Leonidas TriantafyllouUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece
issta-2020-papers11:30 - 11:50
Talk
Muhui Jiang, Yajin ZhouZhejiang University, Xiapu Luo, Ruoyu Wang, Yang LiuNanyang Technological University, Singapore, Kui Ren
issta-2020-catering
11:50 - 12:10: Break - Mini Break at Zoom
issta-2020-papers
12:10 - 13:10: Technical Papers - STATIC ANALYSIS AND SEARCH-BASED TESTING at Zoom
Chair(s): Daniel KroeningUniversity of Oxford
issta-2020-papers12:10 - 12:30
Talk
Asem Ghaleb, Karthik PattabiramanUniversity of British Columbia
issta-2020-papers12:30 - 12:50
Talk
Dominik HelmTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Jan Thomas Kölzer, Philipp HallerKTH Royal Institute of Technology, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
issta-2020-papers12:50 - 13:10
Talk
Yun LinNational University of Singapore, Jun SunSingapore Management University, Gordon FraserUniversity of Passau, Ziheng Xiu, Ting LiuXi'an Jiaotong University, Jin Song DongNational University of Singapore
issta-2020-catering
13:10 - 13:30: Break - Mini Break at Zoom
issta-2020-papers
13:30 - 14:30: Technical Papers - BUILD TESTING at Zoom
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto
issta-2020-papers13:30 - 13:50
Talk
issta-2020-papers13:50 - 14:10
Talk
Gang FanHong Kong University of Science and Technology, Chengpeng WangThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Xiao XiaoSourcebrella Inc., Qingkai ShiThe Hong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
issta-2020-papers14:10 - 14:30
Talk
Zhibo Liu, Shuai WangHong Kong University of Science and Technology
issta-2020-catering
14:30 - 14:50: Break - Mini Break at Zoom
issta-2020-papers
14:50 - 16:10: Technical Papers - NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTION at Zoom
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
issta-2020-papers14:50 - 15:10
Talk
Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
issta-2020-papers15:10 - 15:30
Talk
Xiao HeUniversity of Science and Technology Beijing, China, Xingwei Wang, Jia Shi, Yi Liu
issta-2020-papers15:30 - 15:50
Talk
Chunrong FangNanjing University, Zixi LiuNanjing University, Yangyang Shi, Jeff HuangTexas A&M University, Qingkai ShiThe Hong Kong University of Science and Technology
issta-2020-papers15:50 - 16:10
Talk
Yakun ZhangInstitute of software, Chinese academy of sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Liang Xu, Zhiyong ZhouInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan Ye, Bo Yang
issta-2020-catering
16:10 - 16:30: Break - Mini Break at Zoom
issta-2020-tool-demonstration
16:30 - 17:33: Tool Demonstration - TOOL DEMO at Zoom

Sat 18 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:003010:003011:003012:003013:0030
Zoom

Sun 19 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:003010:003011:003012:0030
Zoom

Sun 19 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:00153045
Zoom

Mon 20 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zoom

Tue 21 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zoom
09:00 - 09:30

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Zoom
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
Session Calendar (ical)
Detailed Event Calendar (ical)