ISSTA 2020 (series) /
ISSTA 2020 Program
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
Sat 18 Jul Times are displayed in time zone: Tijuana, Baja California change
Sat 18 Jul
Times are displayed in time zone: Tijuana, Baja California change
07:40 - 08:40 | Summer SchoolSummer School at Zoom 2 Chair(s): Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
07:40 60mTalk | Talk by Nadia Alshahwan (Facebook) Summer School | ||
09:00 - 13:00 | Doctoral SymposiumDoctoral Symposium at Zoom Registered participants should join via the Zoom link distributed in Slack. | ||
09:00 60mKeynote | Keynote by Claire Le Goues -- Do what I mean, not what I say: An Introduction to Automatic Program Repair for Early-Career Researchers Doctoral Symposium | ||
10:00 20mDay opening | Introductions & Plans Doctoral Symposium | ||
10:20 20mDoctoral symposium paper | Feng Xue: Automated Mobile Apps Testing from Visual Perspective Doctoral Symposium | ||
10:40 20mDoctoral symposium paper | Luis Gustavo Araujo Rodriguez: Program-aware fuzzing for MQTT applications Doctoral Symposium | ||
11:00 40mKeynote | Keynote by Muneera Bano -- PhD: The transformational journey of my life Doctoral Symposium | ||
11:40 20mDoctoral symposium paper | João Choma: Using search-based meta-heuristics to support the identification of infeasible testing requirements Doctoral Symposium | ||
12:00 60mMeeting | Break-outs / Discussion & Wrap up Doctoral Symposium | ||
09:00 - 10:00 | Summer SchoolSummer School at Zoom 2 Chair(s): Jaco GeldenhuysUniversity of Stellenbosch, South Africa, Marcel BöhmeMonash University Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
09:00 60mTalk | Talk by Claire Le Goues (CMU) Summer School | ||
11:40 - 12:40 | Summer SchoolSummer School at Zoom 2 Chair(s): Sarfraz KhurshidUniversity of Texas at Austin, USA Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
11:40 60mTalk | Talk by Alex Orso (Georgia Tech) Summer School | ||
13:00 - 14:00 | Summer SchoolSummer School at Zoom 2 Chair(s): Milos GligoricThe University of Texas at Austin Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
13:00 60mTalk | Talk by Somesh Jha (Wisconsin) Summer School | ||
Sun 19 Jul Times are displayed in time zone: Tijuana, Baja California change
Sun 19 Jul
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 12:30 | TAV-CPS/IoT WorkshopTAV-CPS/IoT at Zoom Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
09:00 60mKeynote | Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems TAV-CPS/IoT | ||
10:00 30mTalk | Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design TAV-CPS/IoT | ||
10:30 30mTalk | Efficient Testing of Cyber-Physical Systems TAV-CPS/IoT | ||
11:00 30mTalk | Formal Verification of Discrete Event Modeling TAV-CPS/IoT | ||
11:30 60mMeeting | Panel Discussion TAV-CPS/IoT | ||
09:00 - 12:00 | |||
09:00 30mTalk | Neville Grech -- Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities WoSCA Neville GrechUniversity of Athens, Greece | ||
09:30 30mTalk | Ákos Hajdu -- SMT-Based Effective Formalization of Reference Types in Solidity WoSCA Ákos HajduBudapest University of Technology and Economics | ||
10:00 30mTalk | Arthur Scott Wesley -- Verification of Parameterized Smart Contracts WoSCA | ||
10:30 15mBreak | Break WoSCA | ||
10:45 30mTalk | Gustavo Grieco -- Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts WoSCA Gustavo GriecoTrail of Bits | ||
11:15 30mTalk | Shuvendu K. Lahiri & Diego Garbervetsky -- VeriSol: Bringing Formal Verification to Solidity Smart Contract Developers WoSCA Shuvendu LahiriMicrosoft Research, Diego GarbervetskyUniversity of Buenos Aires and CONICET, Argentina | ||
11:45 15mMeeting | Rump WoSCA | ||
Mon 20 Jul Times are displayed in time zone: Tijuana, Baja California change
Mon 20 Jul
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 10:30 | Welcome & KeynoteKeynote at Zoom Chair(s): Sarfraz KhurshidUniversity of Texas at Austin, USA Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
09:00 30mDay opening | Opening Keynote | ||
09:30 60mKeynote | Keynote by Prof. Barbara Liskov: Reflections on Programming Methodology Keynote | ||
10:50 - 11:50 | FUZZINGTechnical Papers at Zoom Chair(s): Rody KerstenSynopsys, Inc. Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
10:50 20mTalk | WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats Technical Papers Andrea FioraldiSapienza University Rome, Daniele Cono D'EliaSapienza University of Rome, Emilio CoppaSapienza University of Rome, Italy DOI Pre-print Media Attached | ||
11:10 20mTalk | Active Fuzzing for Testing and Securing Cyber-Physical Systems Technical Papers Yuqi ChenSingapore Management University, Bohan Xuan, Chris PoskittSingapore Management University, Jun SunSingapore Management University, Fan Zhang DOI Pre-print Media Attached | ||
11:30 20mTalk | Learning Input Tokens for Effective Fuzzing Technical Papers Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security Link to publication DOI | ||
12:10 - 13:10 | SYMBOLIC EXECUTION AND CONSTRAINT SOLVINGTechnical Papers at Zoom Chair(s): Marcelo d'AmorimFederal University of Pernambuco Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
12:10 20mTalk | Fast Bit-Vector Satisfiability Technical Papers Peisen YaoHKUST, Qingkai ShiThe Hong Kong University of Science and Technology, Heqing Huang, Charles ZhangThe Hong Kong University of Science and Technology DOI | ||
12:30 20mTalk | Relocatable Addressing Model for Symbolic Execution Technical Papers DOI Pre-print Media Attached | ||
12:50 20mTalk | Running Symbolic Execution Forever Technical Papers Frank BusseImperial College London, Martin NowackImperial College London, Cristian CadarImperial College London DOI Pre-print Media Attached | ||
13:30 - 14:30 | REPAIR AND DEBUGTechnical Papers at Zoom Chair(s): Xuan Bach D. LeThe University of Melbourne Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
13:30 20mTalk | Can Automated Program Repair Refine Fault Localization? A Unified Debugging Approach Technical Papers Yiling LouPeking University, China, Ali GhanbariThe University of Texas at Dallas, Xia LiKennesaw State University, Lingming ZhangThe University of Texas at Dallas, Haotian ZhangAnt Financial, Dan HaoPeking University, Lu ZhangPeking University, China DOI Pre-print Media Attached | ||
13:50 20mTalk | Automated Repair of Feature Interaction Failures in Automated Driving Systems Technical Papers 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 DOI Pre-print | ||
14:10 20mTalk | CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair Technical Papers Thibaud Lutellier, Viet Hung PhamUniversity of Waterloo, Lawrence Pang, Yitong Li, Moshi Wei, Lin TanPurdue University DOI Media Attached | ||
14:50 - 15:50 | MOBILE APPS Technical Papers at Zoom Chair(s): Elena ShermanBoise State University Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
14:50 20mTalk | Detecting and Diagnosing Energy Issues for Mobile Applications Technical Papers Xueliang LiShenzhen University, Yuming YangShenzhen University, Yepang LiuSouthern University of Science and Technology, John P. GallagherRoskilde University, Kaishun WuShenzhen University DOI Media Attached | ||
15:10 20mTalk | Automated Classification of Actions in Bug Reports of Mobile Apps Technical Papers Hui LiuBeijing Institute of Technology, Mingzhu ShenBeijing Institute of Technology, Jiahao Jin, Yanjie JiangBeijing Institute of Technology DOI Media Attached | ||
15:30 20mTalk | Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps Technical Papers 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 Link to publication DOI Pre-print Media Attached | ||
Tue 21 Jul Times are displayed in time zone: Tijuana, Baja California change
Tue 21 Jul
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 10:30 | Awards & KeynoteKeynote at Zoom Chair(s): Alex OrsoGeorgia Institute of Technology Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
09:00 30mAwards | Awards Keynote | ||
09:30 60mKeynote | Retrospective Impact Paper Award Keynote by Prof. Gregg Rothermel Keynote | ||
10:50 - 11:50 | MACHINE LEARNING IITechnical Papers at Zoom Chair(s): Baishakhi RayColumbia University, New York Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
10:50 20mTalk | Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning Libraries Technical Papers Link to publication DOI Pre-print Media Attached | ||
11:10 20mTalk | Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models Technical Papers DOI Media Attached | ||
11:30 20mTalk | Detecting Flaky Tests in Probabilistic and Machine Learning Applications Technical Papers Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, August ShiThe University of Texas at Austin, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa MisailovicUniversity of Illinois at Urbana-Champaign DOI Media Attached | ||
12:10 - 13:10 | BUG LOCALIZATION AND TEST ISOLATION Technical Papers at Zoom Chair(s): Mattia FazziniUniversity of Minnesota Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
12:10 20mTalk | Scaffle: Bug Localization on Millions of Files Technical Papers Michael PradelUniversity of Stuttgart, Vijayaraghavan MuraliFacebook, Inc., Rebecca QianFacebook, Inc., Mateusz MachalicaFacebook, Inc., Erik Meijer, Satish ChandraFacebook DOI Media Attached | ||
12:30 20mTalk | Abstracting Failure-Inducing Inputs Technical Papers 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 DOI Pre-print Media Attached | ||
12:50 20mTalk | Debugging the Performance of Maven’s Test Isolation: Experience Report Technical Papers Pengyu NieThe University of Texas at Austin, Ahmet CelikFacebook, Matthew Coley, Aleksandar Milicevic, Jonathan BellNortheastern University, Milos GligoricThe University of Texas at Austin DOI | ||
13:30 - 14:30 | SECURITYTechnical Papers at Zoom Chair(s): Lucas BangHarvey Mudd College Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
13:30 20mTalk | Feedback-Driven Side-Channel Analysis for Networked Applications Technical Papers Ismet Burak KadronUniversity of California at Santa Barbara, Nico RosnerAmazon Web Services, Tevfik BultanUniversity of California, Santa Barbara DOI | ||
13:50 20mTalk | Scalable Analysis of Interaction Threats in IoT Systems Technical Papers Mohannad Alhanahnah, Clay StevensUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA DOI Pre-print Media Attached | ||
14:10 20mTalk | DeepSQLi: Deep Semantic Learning for Testing SQL Injection Technical Papers DOI Pre-print | ||
14:50 - 15:50 | REGRESSION TESTINGTechnical Papers at Zoom Chair(s): Alex OrsoGeorgia Institute of Technology Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
14:50 20mTalk | Dependent-Test-Aware Regression Testing Techniques Technical Papers Wing LamUniversity of Illinois at Urbana-Champaign, August ShiThe University of Texas at Austin, Reed Oei, Sai ZhangGoogle Cloud, Michael D. ErnstUniversity of Washington, USA, Tao XiePeking University DOI Media Attached | ||
15:10 20mTalk | Differential Regression Testing for REST APIs Technical Papers Patrice GodefroidMicrosoft Research, Daniel LehmannUniversity of Stuttgart, Marina PolishchukMicrosoft DOI Media Attached | ||
15:30 20mTalk | Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization Technical Papers Qianyang Peng, August ShiThe University of Texas at Austin, Lingming ZhangThe University of Texas at Dallas DOI | ||
16:10 - 17:10 | CHALLENGING DOMAINSTechnical Papers at Zoom Chair(s): Yi LiNanyang Technological University, Singapore Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
16:10 20mTalk | Intermittently Failing Tests in the Embedded Systems Domain Technical Papers Per Erik StrandbergWestermo Network Technologies AB, Thomas Ostrand, Elaine WeyukerMälardalen University, Wasif AfzalMälardalen University, Daniel SundmarkMälardalen University DOI Pre-print Media Attached | ||
16:30 20mTalk | Feasible and Stressful Trajectory Generation for Mobile Robots Technical Papers Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia, Matthew B DwyerUniversity of Virginia DOI | ||
16:50 20mTalk | Detecting Cache-Related Bugs in Spark Applications Technical Papers 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 DOI | ||
Wed 22 Jul Times are displayed in time zone: Tijuana, Baja California change
Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 10:30 | Preview & KeynoteKeynote at Zoom Chair(s): Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
09:00 30mDay opening | ISSTA 2021 Preview Keynote | ||
09:30 60mKeynote | Impact Paper Award Keynote by Prof. Gordon Fraser and Prof. Andreas Zeller Keynote | ||
10:50 - 11:50 | BINARY ANALYSISTechnical Papers at Zoom Chair(s): Junaid Haroon SiddiquiLahore University of Management Sciences Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
10:50 20mTalk | Patch Based Vulnerability Matching for Binary Programs Technical Papers Yifei Xu, Zhengzi Xu, Bihuan ChenFudan University, Fu Song, Yang LiuNanyang Technological University, Singapore, Ting LiuXi'an Jiaotong University DOI Media Attached | ||
11:10 20mTalk | Identifying Java Calls in Native Code via Binary Scanning Technical Papers George FourtounisUniversity of Athens, Leonidas TriantafyllouUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece DOI Media Attached | ||
11:30 20mTalk | An Empirical Study on ARM Disassembly Tools Technical Papers Muhui Jiang, Yajin ZhouZhejiang University, Xiapu LuoThe Hong Kong Polytechnic University, Ruoyu Wang, Yang LiuNanyang Technological University, Singapore, Kui Ren DOI | ||
12:10 - 13:10 | STATIC ANALYSIS AND SEARCH-BASED TESTINGTechnical Papers at Zoom Chair(s): Daniel KroeningUniversity of Oxford Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
12:10 20mTalk | How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug Injection Technical Papers DOI Media Attached | ||
12:30 20mTalk | A Programming Model for Semi-implicit Parallelization of Static Analyses Technical Papers 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 DOI | ||
12:50 20mTalk | Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing Technical Papers 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 DOI Pre-print Media Attached | ||
13:30 - 14:30 | BUILD TESTINGTechnical Papers at Zoom Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
13:30 20mTalk | Scalable Build Service System with Smart Scheduling Service Technical Papers DOI Media Attached | ||
13:50 20mTalk | Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph Technical Papers 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 DOI Media Attached | ||
14:10 20mTalk | How Far We Have Come: Testing Decompilation Correctness of C Decompilers Technical Papers DOI Media Attached | ||
14:50 - 16:10 | NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTIONTechnical Papers at Zoom Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
14:50 20mTalk | Discovering Discrepancies in Numerical Libraries Technical Papers Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis DOI Media Attached | ||
15:10 20mTalk | Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues Technical Papers DOI Media Attached | ||
15:30 20mTalk | Functional Code Clone Detection with Syntax and Semantics Fusion Learning Technical Papers Chunrong FangNanjing University, Zixi LiuNanjing University, Yangyang Shi, Jeff HuangTexas A&M University, Qingkai ShiThe Hong Kong University of Science and Technology DOI Media Attached | ||
15:50 20mTalk | Learning to Detect Table Clones in Spreadsheets Technical Papers 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 DOI Media Attached | ||
16:30 - 17:33 | TOOL DEMOTool Demonstration at Zoom Chair(s): Owolabi LegunsenCornell University Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack. | ||
16:30 7mTalk | CPSDebug: A Tool for Failure Explanation Tool Demonstration Ezio BartocciTechnische Universität Wien, Niveditha ManjunathVienna University of Technology, Leonardo MarianiUniversity of Milano Bicocca, Cristinel MateisAIT Austrian Institute of Technology GmbH, Dejan NickovicAustrian Institute of Technology, Fabrizio PastoreUniversity of Luxembourg | ||
16:37 7mTalk | Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph Tool Demonstration | ||
16:44 7mTalk | EShield: Protect Smart Contracts against Reverse Engineering Tool Demonstration Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen | ||
16:51 7mTalk | Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts Tool Demonstration Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University | ||
16:58 7mTalk | FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks Tool Demonstration Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA | ||
17:05 7mTalk | ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity Tool Demonstration Ali GhanbariThe University of Texas at Dallas Pre-print | ||
17:12 7mTalk | ProFL: A Fault Localization Framework for Prolog Tool Demonstration George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington | ||
17:19 7mTalk | TauJud: Test Augmentation of Machine Learning in Judicial Documents Tool Demonstration Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University | ||
17:26 7mTalk | Test Recommendation System Based on Slicing Coverage Filtering Tool Demonstration Ruixiang QianState Key Laboratory for Novel Software Technology, Nanjing University, Yuan ZhaoState Key Laboratory for Novel Software Technology, Nanjing University, Duo MenState Key Laboratory for Novel Software Technology, Nanjing University, Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University DOI | ||
Sat 18 Jul Times are displayed in time zone: Tijuana, Baja California change
Sat 18 Jul
Times are displayed in time zone: Tijuana, Baja California change
| Room | 7:00 | 30 | 8:00 | 30 | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sun 19 Jul Times are displayed in time zone: Tijuana, Baja California change
Sun 19 Jul
Times are displayed in time zone: Tijuana, Baja California change
| Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Mon 20 Jul Times are displayed in time zone: Tijuana, Baja California change
Mon 20 Jul
Times are displayed in time zone: Tijuana, Baja California 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tue 21 Jul Times are displayed in time zone: Tijuana, Baja California change
Tue 21 Jul
Times are displayed in time zone: Tijuana, Baja California 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Sat 18 Jul Times are displayed in time zone: Tijuana, Baja California change
Sat 18 Jul
Times are displayed in time zone: Tijuana, Baja California change
| Room | 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Zoom | ISSTA Doctoral Symposium Introductions & Plans 10:00 - 10:20 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Zoom 2 | ISSTA Summer School Talk by Claire Le Goues (CMU) 09:00 - 10:00 | ISSTA Summer School Talk by Alex Orso (Georgia Tech) 11:40 - 12:40 | ISSTA Summer School Talk by Somesh Jha (Wisconsin) 13:00 - 14:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Sun 19 Jul Times are displayed in time zone: Tijuana, Baja California change
Sun 19 Jul
Times are displayed in time zone: Tijuana, Baja California change
| Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Zoom | ISSTA TAV-CPS/IoT Panel Discussion 11:30 - 12:30 | |||||||||||||||||||||||||||||||||||||||||||||||
| Zoom 2 | ISSTA WoSCA Break 10:30 - 10:45 | ISSTA WoSCA Rump 11:45 - 12:00 | ||||||||||||||||||||||||||||||||||||||||||||||
Mon 20 Jul Times are displayed in time zone: Tijuana, Baja California change
Mon 20 Jul
Times are displayed in time zone: Tijuana, Baja California 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Zoom | ISSTA Keynote Opening 09:00 - 09:30 | ISSTA Technical Papers Fast Bit-Vector Satisfiability 12:10 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Tue 21 Jul Times are displayed in time zone: Tijuana, Baja California change
Tue 21 Jul
Times are displayed in time zone: Tijuana, Baja California 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Zoom | ISSTA Keynote Awards 09:00 - 09:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Wed 22 Jul Times are displayed in time zone: Tijuana, Baja California change
Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Zoom | ISSTA Keynote ISSTA 2021 Preview 09:00 - 09:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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