Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online

Conference Dates
Conference Dates are in time zone (GMT+02:00) Brussels, Copenhagen, Madrid, Paris, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your 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

Conference Day
Mon 12 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 17:00
Workshop sessionsWorkshops at Workshops
17:00 - 18:30
Summer SchoolSummer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
17:00
90m
Talk
Who is Afraid of the Turnstile?
Summer School
S: Andreas RossbergDfinity Stiftung
19:00 - 20:30
Summer SchoolSummer School at Summer School
Chair(s): Frank TipNortheastern University
19:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
Summer School
S: Claire Le GouesCarnegie Mellon University

Conference Day
Tue 13 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30
Summer SchoolSummer School at Summer School
Chair(s): Frank TipNortheastern University
00:00
90m
Talk
Foundations of Software Testing
Summer School
S: Marcel BöhmeMonash University, Australia
02:00 - 03:30
Summer SchoolSummer School at Summer School
Chair(s): Frank TipNortheastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
Summer School
S: Satish ChandraFacebook, USA
08:00 - 09:30
Summer SchoolSummer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
08:00
90m
Talk
Who is Afraid of the Turnstile?
Summer School
S: Andreas RossbergDfinity Stiftung
10:00 - 11:30
Summer SchoolSummer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
Summer School
S: Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:00 - 17:00
Workshop sessionsWorkshops at Workshops
14:00 - 14:15
14:00
3m
Talk
Welcome Talk
Doctoral Symposium

14:15 - 15:15
14:15
60m
Talk
Keynote
Doctoral Symposium
A: Mary Lou SoffaUniversity of Virginia
15:30 - 17:30
Student Presentations Session 1Doctoral Symposium at Doctoral Symposium
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

15:30
30m
Talk
Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
Doctoral Symposium
A: Zhouxian JianBeijing Jiaotong University
16:00
30m
Talk
JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
Doctoral Symposium
16:30
30m
Talk
AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
Doctoral Symposium
A: Ben WangHohai University
17:00
30m
Talk
Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
Doctoral Symposium
A: Haibo ChenJiangsu University
18:30 - 19:15
19:15 - 20:15
20:30 - 22:30
Student presentations Session 2Doctoral Symposium at Doctoral Symposium
Chair(s): Wei LeIowa State University

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

20:30
30m
Talk
Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
Doctoral Symposium
A: Andrei LascuImperial College London
21:00
30m
Talk
Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
Doctoral Symposium
A: Tan LiangPhilipps-Universität Marburg
21:30
30m
Talk
Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
Doctoral Symposium
A: Luigi Libero Lucio Starace Federico II University of Naples
22:00
30m
Talk
Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
Doctoral Symposium
A: Fabian Bauer-MarquartUniversität Konstanz

Conference Day
Wed 14 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30
Summer SchoolSummer School at Summer School
Chair(s): Frank TipNortheastern University
00:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
Summer School
S: Claire Le GouesCarnegie Mellon University
02:00 - 03:30
Summer SchoolSummer School at Summer School
Chair(s): Frank TipNortheastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
Summer School
S: Satish ChandraFacebook, USA
08:00 - 09:30
Summer SchoolSummer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
08:00
90m
Talk
Foundations of Software Testing
Summer School
S: Marcel BöhmeMonash University, Australia
10:00 - 11:30
Summer SchoolSummer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
Summer School
S: Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00 - 17:20
Opening Session (time band 1)ECOOP and ISSTA Opening at Opening
17:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders MøllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
18:20 - 19:20
Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Sam Tobin-HochstadtIndiana University
18:20
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish TondwalkarUniversity of California, San Diego, Matthew KolosickUniversity of California, San Diego, Ranjit JhalaUniversity of California at San Diego
18:40
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van AntwerpenDelft University of Technology, Eelco VisserDelft University of Technology
19:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin BradyUniversity of St Andrews, UK
18:20 - 19:20
Session 1 (time band 1) Web ApplicationsISSTA Technical Papers at ISSTA 1
Chair(s): Xusheng XiaoCase Western Reserve University
18:20
20m
Talk
Identifying Privacy Weaknesses from Multi-party Trigger-action Integration Platforms
ISSTA Technical Papers
Kulani Tharaka MahadewaNational University of Singapore, Yanjun ZhangThe University of Queensland, Guangdong BaiThe University of Queensland, Lei BuNanjing University, Zhiqiang ZuoNanjing University, Dileepa FernandoNational University of Singapore, Zhenkai LiangNational University of Singapore, Jin Song DongNational University of Singapore
18:40
20m
Talk
WebEvo: TamingWeb Application Evolution via Detecting Semantic Structure Change
ISSTA Technical Papers
Fei ShaoCase Western Reserve University, Rui XuCase Western Reserve University, Wasif HaqueThe University of Texas at Dallas, Jingwei XuPeking University, Ying ZhangPeking University, Wei YangUniversity of Texas at Dallas, Yanfang YeCase Western Reserve University, Xusheng XiaoCase Western Reserve University
19:00
20m
Talk
Modular Call Graph Construction for Security Scanning of Node.js Applications
ISSTA Technical Papers
Benjamin Barslev NielsenAarhus University, Martin Toldam TorpAarhus University, Anders MøllerAarhus University
18:20 - 19:20
Session 2 (time band 1) Testing Deep Learning Systems 1ISSTA Technical Papers at ISSTA 2
18:20
20m
Talk
Attack as Defense: Characterizing Adversarial Examples using Robustness
ISSTA Technical Papers
Zhe ZhaoShanghaiTech University, Guangke ChenShanghaiTech University, Jingyi WangZhejiang University, Yiwei YangShanghaiTech University, Fu SongShanghaiTech University, Jun SunSingapore Management University
18:40
20m
Talk
Exposing Previously Undetectable Faults in Deep Neural Networks
ISSTA Technical Papers
Isaac DunnUniversity of Oxford, Hadrien PougetUniversity of Oxford, Daniel KroeningAmazon, Inc., Tom MelhamUniversity of Oxford
Pre-print
19:00
20m
Talk
DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
ISSTA Technical Papers
Nargiz HumbatovaUniversità della Svizzera Italiana (USI), Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland
18:20 - 19:00
Posters (time band 1)Posters at Posters
18:40 - 19:40
19:20 - 20:20
Modular Programming / Types (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Alexander J. SummersUniversity of British Columbia
19:20
20m
Talk
Compositional ProgrammingTOPLAS Journal-First
ECOOP Technical Papers
Weixin ZhangUniversity of Bristol, UK, Yaozhu SunUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
19:40
20m
Talk
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers
Jan BessaiTechnical University Dortmund, George HeinemanWPI, Boris DüdderUniversity of Copenhagen
20:00
20m
Talk
A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First
ECOOP Technical Papers
Mingqi Xue, Bruno C. d. S. OliveiraUniversity of Hong Kong
DOI
19:20 - 20:20
Session 3 (time band 1) Android Application TestingISSTA Technical Papers at ISSTA 1
Chair(s): Alex OrsoGeorgia Institute of Technology
19:20
20m
Talk
Demystifying VM-based Packers for Android Apps
ISSTA Technical Papers
Lei XueThe Hong Kong Polytechnic University, Yuxiao YanXi'an Jiao Tong University, Luyi YanThe Hong Kong Polytechnic University, Muhui JiangThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Dinghao WuPennsylvania State University, Yajin ZhouZhejiang University, Zhiqiang LinThe Ohio State University
19:40
20m
Talk
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
ISSTA Technical Papers
Wenyu WangUniversity of Illinois at Urbana-Champaign, Wing LamUniversity of Illinois at Urbana-Champaign, Tao XiePeking University
20:00
20m
Talk
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
ISSTA Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Ali MohebbiUSI Università della Svizzera Italiana, Mauro PezzeUSI Lugano, Switzerland, Valerio TerragniThe University of Auckland
19:20 - 20:00
Session 4 (time band 1) Testing Deep Learning Systems 2ISSTA Technical Papers at ISSTA 2
Chair(s): Sebastian ElbaumUniversity of Virginia
19:20
20m
Talk
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
ISSTA Technical Papers
Tahereh ZohdinasabSoftware Institute - USI, Vincenzo RiccioUSI Lugano, Switzerland, Alessio GambiUniversity of Passau, Paolo TonellaUSI Lugano, Switzerland
19:40
20m
Talk
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper)
ISSTA Technical Papers
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa, Thomas StifterIEE S.A., Jun WangPost Luxembourg

Conference Day
Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 00:20
Opening Session (time band 2)ECOOP and ISSTA Opening at Opening
00:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders MøllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
01:20 - 02:20
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
01:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco ServettoVictoria University Wellington, New Zealand, Elena ZuccaUniversity of Genova
01:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime BuyseUber ATCP, Remi DelmasUber ATCP, Youssef HamadiUber Elevate
02:00
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
01:20 - 02:20
Session 5 (time band 2) Android Application Analysis and TestingISSTA Technical Papers at ISSTA 1
01:20
20m
Talk
GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
ISSTA Technical Papers
Tongtong XuNanjing University, Minxue PanNanjing University, China, Yu PeiThe Hong Kong Polytechnic University, Guiyin LiNanjing University, Xia ZengTencent, China, Tian ZhangNanjing University, Yuetang DengTencent, Inc., Xuandong LiNanjing University
01:40
20m
Talk
Understanding and Finding System Setting-Related Defects in Android Apps
ISSTA Technical Papers
Jingling SunEast China Normal University, China, Ting SuEast China Normal University, China, Junxin LiEast China Normal University, Zhen DongNational University of Singapore, Geguang PuEast China Normal University, Tao XiePeking University, Zhendong SuETH Zurich
02:00
20m
Talk
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
ISSTA Technical Papers
Yueming WuHuazhong University of Science and Technology, Deqing ZouHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, Xiang LiHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology
01:20 - 02:20
Session 6 (time band 2) FuzzingISSTA Technical Papers at ISSTA 2
Chair(s): Lingming ZhangUniversity of Illinois at Urbana-Champaign
01:20
20m
Talk
Seed Selection for Successful Fuzzing
ISSTA Technical Papers
Adrian HerreraANU / DSTG, Hendra GunadiAutralian National University, Shane MagrathDSTG, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Mathias PayerEPFL, Tony HoskingAustralian National University / Data61
01:40
20m
Talk
Gramatron: Effective Grammar-aware Fuzzing
ISSTA Technical Papers
Prashast SrivastavaPurdue University, Mathias PayerEPFL
02:00
20m
Talk
QFuzz: Quantitative Fuzzing for Side Channels
ISSTA Technical Papers
Yannic NollerNational University of Singapore, Saeid Tizpaz-NiariUniversity of Texas at El Paso
Pre-print
02:40 - 03:20
Types (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner DietlUniversity of Waterloo
02:40
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia YeThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuejing HuangThe University of Hong Kong
03:00
20m
Talk
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers
Anish TondwalkarUniversity of California, San Diego, Matthew KolosickUniversity of California, San Diego, Ranjit JhalaUniversity of California at San Diego
02:40 - 03:20
Session 7 (time band 2) Data Processing Application AnalysisISSTA Technical Papers at ISSTA 1
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
02:40
20m
Talk
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
ISSTA Technical Papers
Yingjun LyuAmazon, Sasha VolokhUniversity of Southern California, William G.J. HalfondUniversity of Southern California, Omer TrippAmazon
03:00
20m
Talk
Semantic Table Structure Identification in Spreadsheets
ISSTA Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Xiao LvMicrosoft Research, Haoyu DongMicrosoft Research, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Shi HanMicrosoft Research Asia, Dongmei ZhangMicrosoft Research, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan YeInstitute of Software at Chinese Academy of Sciences
02:40 - 03:20
Session 8 (time band 2) Dynamic AnalysisISSTA Technical Papers at ISSTA 2
Chair(s): Luís PinaUniversity of Illinois at Chicago
02:40
20m
Talk
Runtime Detection of Memory Errors with Smart Status
ISSTA Technical Papers
Zhe ChenNanjing University of Aeronautics and Astronautics, Chong WangNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Yulei SuiUniversity of Technology Sydney, Jingling XueUNSW Sydney
03:00
20m
Talk
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
ISSTA Technical Papers
Binfa GuiNanjing University of Science and Technology, Wei SongNanjing University of Science and Technology, Jeff HuangTexas A&M University
03:20 - 04:00
Posters (time band 2)Posters at Posters
08:00 - 09:00
Potpourri (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Viktor KunčakEPFL, Switzerland
08:00
20m
Talk
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers
Wenjia YeThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuejing HuangThe University of Hong Kong
08:20
20m
Talk
Lambda-based object-oriented programmingPearl
ECOOP Technical Papers
Marco ServettoVictoria University Wellington, New Zealand, Elena ZuccaUniversity of Genova
08:40
20m
Talk
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
ECOOP Technical Papers
Maxime BuyseUber ATCP, Remi DelmasUber ATCP, Youssef HamadiUber Elevate
08:00 - 09:20
Session 9 (time band 3) Testing Deep Learning Systems 3ISSTA Technical Papers at ISSTA 1
08:00
20m
Talk
Efficient White-box Fairness Testing through Gradient Search
ISSTA Technical Papers
Lingfeng ZhangEast China Normal University, Yueling ZhangSingapore Management University, Min ZhangEast China Normal University
08:20
20m
Talk
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
ISSTA Technical Papers
Zixi Liu, Yang FengNanjing University, Zhenyu ChenNanjing University
08:40
20m
Talk
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
ISSTA Technical Papers
Quan ZhangTsinghua University, Yifeng DingTsinghua University, Yongqiang TianUniversity of Waterloo; The Hong Kong University of Science and Technology;, Jianmin GuoTsinghua University, Min YuanWeBank, Yu JiangTsinghua University
09:00
20m
Talk
ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection
ISSTA Technical Papers
Yuanchun LiMicrosoft Research, Ziqi ZhangPeking University, China, Bingyan LiuPeking University, Ziyue YangMicrosoft Research, Yunxin LiuMicrosoft Research
08:00 - 09:20
Session 10 (time band 3) Fuzzing and Runtime AnalysisISSTA Technical Papers at ISSTA 2
08:00
20m
Talk
Runtime Detection of Memory Errors with Smart Status
ISSTA Technical Papers
Zhe ChenNanjing University of Aeronautics and Astronautics, Chong WangNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Yulei SuiUniversity of Technology Sydney, Jingling XueUNSW Sydney
08:20
20m
Talk
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
ISSTA Technical Papers
Binfa GuiNanjing University of Science and Technology, Wei SongNanjing University of Science and Technology, Jeff HuangTexas A&M University
08:40
20m
Talk
Seed Selection for Successful Fuzzing
ISSTA Technical Papers
Adrian HerreraANU / DSTG, Hendra GunadiAutralian National University, Shane MagrathDSTG, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Mathias PayerEPFL, Tony HoskingAustralian National University / Data61
09:00
20m
Talk
QFuzz: Quantitative Fuzzing for Side Channels
ISSTA Technical Papers
Yannic NollerNational University of Singapore, Saeid Tizpaz-NiariUniversity of Texas at El Paso
Pre-print
09:20 - 10:20
09:40 - 11:20
Session 11 (time band 3) Testing Deep Learning Systems 4ISSTA Technical Papers at ISSTA 1
Chair(s): Mauro PezzeUSI Lugano, Switzerland
09:40
20m
Talk
Attack as Defense: Characterizing Adversarial Examples using Robustness
ISSTA Technical Papers
Zhe ZhaoShanghaiTech University, Guangke ChenShanghaiTech University, Jingyi WangZhejiang University, Yiwei YangShanghaiTech University, Fu SongShanghaiTech University, Jun SunSingapore Management University
10:00
20m
Talk
Exposing Previously Undetectable Faults in Deep Neural Networks
ISSTA Technical Papers
Isaac DunnUniversity of Oxford, Hadrien PougetUniversity of Oxford, Daniel KroeningAmazon, Inc., Tom MelhamUniversity of Oxford
Pre-print
10:20
20m
Talk
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper)
ISSTA Technical Papers
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa, Thomas StifterIEE S.A., Jun WangPost Luxembourg
10:40
20m
Talk
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
ISSTA Technical Papers
Tahereh ZohdinasabSoftware Institute - USI, Vincenzo RiccioUSI Lugano, Switzerland, Alessio GambiUniversity of Passau, Paolo TonellaUSI Lugano, Switzerland
11:00
20m
Talk
DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
ISSTA Technical Papers
Nargiz HumbatovaUniversità della Svizzera Italiana (USI), Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland
09:40 - 11:20
Session 12 (time band 3) Symbolic Execution 1ISSTA Technical Papers at ISSTA 2
Chair(s): Sébastien BardinCEA LIST, University Paris-Saclay
09:40
20m
Talk
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
ISSTA Technical Papers
Peisen YaoThe Hong Kong University of Science and Technology, Heqing HuangThe Hong Kong University of Science and Technology, Tang WenshengThe Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangThe Hong Kong University of Science and Technology
10:00
20m
Talk
Boosting Symbolic Execution via Constraint Solving Time Prediction: An Experience Report
ISSTA Technical Papers
Sicheng LuoFudan University, Hui XuFudan University, China, Yanxiang BiFudan University, Yangfan ZhouFudan University, Xin WangFudan University, China
10:20
20m
Talk
Synthesize Solving Strategy for Symbolic Execution
ISSTA Technical Papers
Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Zehua ChenNational University of Defense Technology, Ziqi ShuaiNational University of Defense Technology, Guofeng ZhangCollege of Computer, National University of Defense Technology, Weiyu PanNational University of Defense Technology, Changsha, China, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
10:40
20m
Talk
Type and Interval aware Array Constraint Solving for Symbolic Execution
ISSTA Technical Papers
Ziqi ShuaiNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Yufeng ZhangHunan University, Jun SunSingapore Management University, Ji WangNational University of Defense Technology
11:00
20m
Talk
Grammar-Agnostic Symbolic Execution by Token Symbolization
ISSTA Technical Papers
Weiyu PanNational University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Guofeng ZhangCollege of Computer, National University of Defense Technology, Yunlai LuoCollege of Computer, National University of Defense Technology, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
10:20 - 11:20
Modular Programming / Types (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Eelco VisserDelft University of Technology
10:20
20m
Talk
A Dependently Typed Calculus with Polymorphic SubtypingSCICO Journal-First
ECOOP Technical Papers
Mingqi Xue, Bruno C. d. S. OliveiraUniversity of Hong Kong
DOI
10:40
20m
Talk
Compositional ProgrammingTOPLAS Journal-First
ECOOP Technical Papers
Weixin ZhangUniversity of Bristol, UK, Yaozhu SunUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
11:00
20m
Talk
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers
Jan BessaiTechnical University Dortmund, George HeinemanWPI, Boris DüdderUniversity of Copenhagen
11:20 - 12:00
Posters (time band 3)Posters at Posters
17:00 - 18:00
Keynote - Dahl-Nygaard Senior Prize (time band 1)ECOOP Keynotes at Keynote
17:00
60m
Keynote
Dahl-Nygaard Senior Prize
ECOOP Keynotes

18:00 - 18:40
19:00 - 20:00
Program Analysis (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Uday P. KhedkerIndian Institute of Technology (IIT) Bombay
19:00
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
ECOOP Technical Papers
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannTechnical University Dortmund, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
19:20
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
19:40
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam EstepCarnegie Mellon University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderJane Street, Joshua SunshineCarnegie Mellon University
Pre-print
19:00 - 20:00
Multiparty Programming and Session Types (time band 1)ECOOP Technical Papers at ECOOP 2
Chair(s): Mira MeziniTU Darmstadt, Germany
19:00
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesPearl
ECOOP Technical Papers
Saverio GiallorenzoAlma Mater Studiorum - Università di Bologna, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark, David RichterTechnische Universität Darmstadt, Guido SalvaneschiUniversity of St. Gallen, Pascal WeisenburgerUniversity of St. Gallen
19:20
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul HarveyRakuten Mobile Innovation Studio, Simon FowlerUniversity of Glasgow, Ornela DardhaUniversity of Glasgow, Simon J. GayUniversity of Glasgow, UK
Pre-print
19:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo BurlòGSSI, Adrian FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark
19:00 - 20:20
Session 13 (time band 1) Machine Learning and TestingISSTA Technical Papers at ISSTA 1
Chair(s): August ShiThe University of Texas at Austin
19:00
20m
Talk
Interval Constraint-Based Mutation Testing of Numerical Specifications
ISSTA Technical Papers
Clothilde JeangoudouxMPI-SWS, Eva DarulovaMPI-SWS, Christoph LauterUniversity of Alaska Anchorage and Sorbonne University
19:20
20m
Talk
Predoo: Precision Testing of Deep Learning Operators
ISSTA Technical Papers
Xufan ZhangNanjing University, Ning SunNanjing University, Chunrong FangNanjing University, Jiawei LiuNanjing University, Jia LiuState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Dong ChaiI&V Dept of Kirin Solution Dept, HS, Huawei, Jiang WangI&V Dept of Kirin Solution Dept, HS, Huawei, Zhenyu ChenNanjing University
19:40
20m
Talk
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
ISSTA Technical Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Jeeva SelvamUniversity of Illinois, Urbana-Champaign, Aryaman JainUniversity of Illinois, Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
20:00
20m
Talk
Deep Just-in-Time Defect Prediction: How Far Are We?
ISSTA Technical Papers
Zhengran ZengSouthern University of Science and Technology, Yuqun Zhang, Haotian ZhangAnt Group, Lingming ZhangUIUC
19:00 - 20:20
Session 14 (time band 1) Configuration and Dependency ISSTA Technical Papers at ISSTA 2
Chair(s): Jonathan BellNortheastern University
19:00
20m
Talk
Fixing Dependency Errors for Python Build Reproducibility
ISSTA Technical Papers
Suchita MukherjeeUniversity of California, Davis, Abigail AlmanzaUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
19:20
20m
Talk
Test-Case Prioritization for Configuration Testing
ISSTA Technical Papers
Runxiang ChengUniversity of Illinois at Urbana-Champaign, Lingming ZhangUIUC, Darko MarinovUniversity of Illinois at Urbana-Champaign, Tianyin XuUniversity of Illinois Urbana-Champaign
19:40
20m
Talk
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
ISSTA Technical Papers
Austin MordahlThe University of Texas at Dallas, Shiyi WeiThe University of Texas at Dallas
20:00
20m
Talk
Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
ISSTA Technical Papers
Wang LiNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Yuanliang ZhangNational University of Defense Technology, Teng WangNational University of Defense Technology, China, Erci XuNational University of Defense Technology, Ji WangNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China

Conference Day
Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:00
Keynote - Dahl-Nygaard Senior Prize (time band 2)ECOOP Keynotes at Keynote
00:00
60m
Keynote
Dahl-Nygaard Senior Prize
ECOOP Keynotes

01:00 - 01:40
02:00 - 03:20
Program Analysis / Runtimes (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner DietlUniversity of Waterloo
02:00
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam EstepCarnegie Mellon University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderJane Street, Joshua SunshineCarnegie Mellon University
Pre-print
02:20
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University, USA
02:40
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
03:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie HeUniversity of New South Wales, Jingbo LuUNSW Sydney, Yaoqing GaoHuawei Canada, Jingling XueUNSW Sydney
02:00 - 03:20
Session 15 (time band 2) Testing Deep Learning Systems 5ISSTA Technical Papers at ISSTA 1
02:00
20m
Talk
Efficient White-box Fairness Testing through Gradient Search
ISSTA Technical Papers
Lingfeng ZhangEast China Normal University, Yueling ZhangSingapore Management University, Min ZhangEast China Normal University
02:20
20m
Talk
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
ISSTA Technical Papers
Zixi Liu, Yang FengNanjing University, Zhenyu ChenNanjing University
02:40
20m
Talk
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
ISSTA Technical Papers
Quan ZhangTsinghua University, Yifeng DingTsinghua University, Yongqiang TianUniversity of Waterloo; The Hong Kong University of Science and Technology;, Jianmin GuoTsinghua University, Min YuanWeBank, Yu JiangTsinghua University
03:00
20m
Talk
ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection
ISSTA Technical Papers
Yuanchun LiMicrosoft Research, Ziqi ZhangPeking University, China, Bingyan LiuPeking University, Ziyue YangMicrosoft Research, Yunxin LiuMicrosoft Research
02:00 - 03:20
Session 16 (time band 2) Symbolic Execution 2ISSTA Technical Papers at ISSTA 2
02:00
20m
Talk
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
ISSTA Technical Papers
Peisen YaoThe Hong Kong University of Science and Technology, Heqing HuangThe Hong Kong University of Science and Technology, Tang WenshengThe Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangThe Hong Kong University of Science and Technology
02:20
20m
Talk
Synthesize Solving Strategy for Symbolic Execution
ISSTA Technical Papers
Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Zehua ChenNational University of Defense Technology, Ziqi ShuaiNational University of Defense Technology, Guofeng ZhangCollege of Computer, National University of Defense Technology, Weiyu PanNational University of Defense Technology, Changsha, China, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
02:40
20m
Talk
Type and Interval aware Array Constraint Solving for Symbolic Execution
ISSTA Technical Papers
Ziqi ShuaiNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Yufeng ZhangHunan University, Jun SunSingapore Management University, Ji WangNational University of Defense Technology
03:00
20m
Talk
Grammar-Agnostic Symbolic Execution by Token Symbolization
ISSTA Technical Papers
Weiyu PanNational University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Guofeng ZhangCollege of Computer, National University of Defense Technology, Yunlai LuoCollege of Computer, National University of Defense Technology, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
08:00 - 09:00
Empirical Studies / Parallelism (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): Hakjoo OhKorea University
08:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr MajCzech Technical University, Konrad SiekCzech Technical University in Prague, Jan VitekNortheastern University / Czech Technical University, Alexander KovalenkoCzech Technical University in Prague
08:20
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.
08:40
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong GuShanghai Jiao Tong University, China, Sunghun KimHong Kong University of Science and Technology, Yo-Sub HanYonsei University, Hongyu ZhangUniversity of Newcastle, Australia
08:00 - 09:00
Session 17 (time band 3) Testing 1ISSTA Technical Papers at ISSTA 1
08:00
20m
Talk
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
ISSTA Technical Papers
Daniel ElsnerTechnical University of Munich, Florian HauerTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Silke ReimerIVU Traffic Technologies
08:20
20m
Talk
Toward Optimal MC/DC Test Case Generation
ISSTA Technical Papers
Sangharatna GodboleyNational Institute of Technology Warangal, India, Joxan JaffarNational University of Singapore, Rasool MagharehHuawei Heterogeneous Compiler Lab, Canada, Arpita DuttaNational University of Singapore
08:40
20m
Talk
Log-based Slicing for System-level Test Cases
ISSTA Technical Papers
Salma MessaoudiUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Annibale PanichellaDelft University of Technology, Domenico BianculliUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa
08:00 - 09:00
Session 18 (time band 3) Binary AnalysisISSTA Technical Papers at ISSTA 2
08:00
20m
Talk
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
ISSTA Technical Papers
Shisong QinInstitute for Network Science and Cyberspace of Tsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Kaixiang ChenInstitute for Network Science and Cyberspace of Tsinghua University, Zheming LiInstitute for Network Science and Cyberspace of Tsinghua University
08:20
20m
Talk
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
ISSTA Technical Papers
Ming YuanTsinghua University, Yeseop LeeTsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Yun LiTsinghua University, Yan CaiInstitute of Software, Chinese Academy of Sciences, Bodong ZhaoTsinghua University
08:40
20m
Talk
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
ISSTA Technical Papers
Han GaoUniversity of Science and Technology of China, Shaoyin ChengUniversity of Science and Technology of China, Yinxing Xue, Weiming ZhangUniversity of Science and Technology of China
09:00 - 09:40
10:00 - 11:20
Types / Program Analysis (time band 3)ECOOP Technical Papers at ECOOP 1
Chair(s): George FourtounisUniversity of Athens
10:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie HeUniversity of New South Wales, Jingbo LuUNSW Sydney, Yaoqing GaoHuawei Canada, Jingling XueUNSW Sydney
10:20
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
ECOOP Technical Papers
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannTechnical University Dortmund, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
10:40
20m
Talk
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers
Hendrik van AntwerpenDelft University of Technology, Eelco VisserDelft University of Technology
11:00
20m
Talk
Idris 2: Quantitative Type Theory in Practice
ECOOP Technical Papers
Edwin BradyUniversity of St Andrews, UK
10:00 - 11:20
Session 19 (time band 3) Testing Miscellaneous Systems ISSTA Technical Papers at ISSTA 1
10:00
20m
Talk
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
ISSTA Technical Papers
Meng RenTsinghua University, Zijing YinTsinghua University, Fuchen MaTsinghua University, Zhenyang XuUniversity of Waterloo, Yu JiangTsinghua University, Chengnian SunUniversity of Waterloo, Huizhong LiWeBank, Yan CaiInstitute of Software, Chinese Academy of Sciences
10:20
20m
Talk
Interval Constraint-Based Mutation Testing of Numerical Specifications
ISSTA Technical Papers
Clothilde JeangoudouxMPI-SWS, Eva DarulovaMPI-SWS, Christoph LauterUniversity of Alaska Anchorage and Sorbonne University
10:40
20m
Talk
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
ISSTA Technical Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Jeeva SelvamUniversity of Illinois, Urbana-Champaign, Aryaman JainUniversity of Illinois, Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:00
20m
Talk
Predoo: Precision Testing of Deep Learning Operators
ISSTA Technical Papers
Xufan ZhangNanjing University, Ning SunNanjing University, Chunrong FangNanjing University, Jiawei LiuNanjing University, Jia LiuState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Dong ChaiI&V Dept of Kirin Solution Dept, HS, Huawei, Jiang WangI&V Dept of Kirin Solution Dept, HS, Huawei, Zhenyu ChenNanjing University
10:00 - 11:20
Session 20 (time band 3) Android Application Testing 2ISSTA Technical Papers at ISSTA 2
10:00
20m
Talk
GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
ISSTA Technical Papers
Tongtong XuNanjing University, Minxue PanNanjing University, China, Yu PeiThe Hong Kong Polytechnic University, Guiyin LiNanjing University, Xia ZengTencent, China, Tian ZhangNanjing University, Yuetang DengTencent, Inc., Xuandong LiNanjing University
10:20
20m
Talk
Understanding and Finding System Setting-Related Defects in Android Apps
ISSTA Technical Papers
Jingling SunEast China Normal University, China, Ting SuEast China Normal University, China, Junxin LiEast China Normal University, Zhen DongNational University of Singapore, Geguang PuEast China Normal University, Tao XiePeking University, Zhendong SuETH Zurich
10:40
20m
Talk
Demystifying VM-based Packers for Android Apps
ISSTA Technical Papers
Lei XueThe Hong Kong Polytechnic University, Yuxiao YanXi'an Jiao Tong University, Luyi YanThe Hong Kong Polytechnic University, Muhui JiangThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Dinghao WuPennsylvania State University, Yajin ZhouZhejiang University, Zhiqiang LinThe Ohio State University
11:00
20m
Talk
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
ISSTA Technical Papers
Yueming WuHuazhong University of Science and Technology, Deqing ZouHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, Xiang LiHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology
18:00 - 19:40
Session 21 (time band 1) Testing 2ISSTA Technical Papers at ISSTA 1
Chair(s): Rohan PadhyeCarnegie Mellon University
18:00
20m
Talk
Model-Based Testing of Networked Applications
ISSTA Technical Papers
Yishuai LiUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI Pre-print
18:20
20m
Talk
Validating Static Warnings via Testing Code Fragments
ISSTA Technical Papers
Ashwin Kallingal JoshyIowa State Univesity, Xueyuan ChenIowa State University, Benjamin SteenhoekIowa State University, Wei LeIowa State University
18:40
20m
Talk
Gramatron: Effective Grammar-aware Fuzzing
ISSTA Technical Papers
Prashast SrivastavaPurdue University, Mathias PayerEPFL
19:00
20m
Talk
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
ISSTA Technical Papers
Daniel ElsnerTechnical University of Munich, Florian HauerTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Silke ReimerIVU Traffic Technologies
19:20
20m
Talk
Log-based Slicing for System-level Test Cases
ISSTA Technical Papers
Salma MessaoudiUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Annibale PanichellaDelft University of Technology, Domenico BianculliUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa
18:00 - 19:40
Session 22 (time band 1) AnalysisISSTA Technical Papers at ISSTA 2
18:00
20m
Talk
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
ISSTA Technical Papers
Han GaoUniversity of Science and Technology of China, Shaoyin ChengUniversity of Science and Technology of China, Yinxing Xue, Weiming ZhangUniversity of Science and Technology of China
18:20
20m
Talk
Boosting Symbolic Execution via Constraint Solving Time Prediction: An Experience Report
ISSTA Technical Papers
Sicheng LuoFudan University, Hui XuFudan University, China, Yanxiang BiFudan University, Yangfan ZhouFudan University, Xin WangFudan University, China
18:40
20m
Talk
Finding Data Compatibility Bugs with JSON Subschema Checking
ISSTA Technical Papers
Andrew HabibSnT, University of Luxembourg, Avraham ShinnarIBM Research, Martin HirzelIBM Research, Michael PradelUniversity of Stuttgart
19:00
20m
Talk
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
ISSTA Technical Papers
Yingjun LyuAmazon, Sasha VolokhUniversity of Southern California, William G.J. HalfondUniversity of Southern California, Omer TrippAmazon
19:20
20m
Talk
Automated Patch Backporting in Linux (Experience Paper)
ISSTA Technical Papers
Ridwan Salihin ShariffdeenNational University of Singapore, Xiang GaoNational University of Singapore, Gregory J. DuckNational University of Singapore, Singapore, Shin Hwei TanSouthern University of Science and Technology, Julia LawallInria, Abhik RoychoudhuryNational University of Singapore
Pre-print
18:20 - 20:00
Potpourri (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Omer TrippAmazon
19:00
20m
Talk
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
ECOOP Technical Papers
Petr MajCzech Technical University, Konrad SiekCzech Technical University in Prague, Jan VitekNortheastern University / Czech Technical University, Alexander KovalenkoCzech Technical University in Prague
19:20
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu HaoOhio State University, Sufian LatifOhio State University, Hailong ZhangFordham University, Raef BassilyOhio State University, Atanas RountevOhio State University
19:40
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo BonifácioComputer Science Department - University of Brasília, Stefan KrügerIndependent Researcher, Krishna NarasimhanTU Darmstadt, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt, Germany
18:20 - 19:00
ECOOP Test of Time Award (time band 1)ECOOP Keynotes at Keynote
18:20
40m
Talk
ECOOP Test of Time Award
ECOOP Keynotes

19:00 - 20:00
Parallelism / Runtimes (time band 1)ECOOP Technical Papers at ECOOP 2
Chair(s): Colin GordonDrexel University
19:00
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University, USA
19:20
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad RauGeorgia Institute of Technology, Caleb VossGeorgia Institute of Technology, Vivek SarkarGeorgia Institute of Technology
19:40
20m
Talk
Enabling Additional Parallelism in Asynchronous JavaScript Applications
ECOOP Technical Papers
Ellen ArtecaNortheastern University, Frank TipNortheastern University, Max SchaeferGitHub, Inc.
20:00 - 21:00
Keynote - Dahl-Nygaard Junior Prize (time band 1)ECOOP Keynotes at Keynote
20:00
60m
Keynote
Dahl-Nygaard Junior Prize
ECOOP Keynotes

Conference Day
Sat 17 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

01:00 - 02:20
Potpourri (time band 2)ECOOP Technical Papers at ECOOP 1
01:00
20m
Talk
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers
Yu HaoOhio State University, Sufian LatifOhio State University, Hailong ZhangFordham University, Raef BassilyOhio State University, Atanas RountevOhio State University
01:20
20m
Talk
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
ECOOP Technical Papers
Xiaodong GuShanghai Jiao Tong University, China, Sunghun KimHong Kong University of Science and Technology, Yo-Sub HanYonsei University, Hongyu ZhangUniversity of Newcastle, Australia
01:40
20m
Talk
Linear Promises: Towards Safer Concurrent Programming
ECOOP Technical Papers
Ohad RauGeorgia Institute of Technology, Caleb VossGeorgia Institute of Technology, Vivek SarkarGeorgia Institute of Technology
02:00
20m
Talk
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers
Rodrigo BonifácioComputer Science Department - University of Brasília, Stefan KrügerIndependent Researcher, Krishna NarasimhanTU Darmstadt, Germany, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Mira MeziniTU Darmstadt, Germany
01:00 - 02:20
Session 23 (time band 2) Testing 3ISSTA Technical Papers at ISSTA 1
01:00
20m
Talk
Continuous Test Suite Failure Prediction
ISSTA Technical Papers
Cong PanBeihang University, China, Michael PradelUniversity of Stuttgart
01:20
20m
Talk
Toward Optimal MC/DC Test Case Generation
ISSTA Technical Papers
Sangharatna GodboleyNational Institute of Technology Warangal, India, Joxan JaffarNational University of Singapore, Rasool MagharehHuawei Heterogeneous Compiler Lab, Canada, Arpita DuttaNational University of Singapore
01:40
20m
Talk
Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
ISSTA Technical Papers
Wang LiNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Yuanliang ZhangNational University of Defense Technology, Teng WangNational University of Defense Technology, China, Erci XuNational University of Defense Technology, Ji WangNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China
02:00
20m
Talk
Test-Case Prioritization for Configuration Testing
ISSTA Technical Papers
Runxiang ChengUniversity of Illinois at Urbana-Champaign, Lingming ZhangUIUC, Darko MarinovUniversity of Illinois at Urbana-Champaign, Tianyin XuUniversity of Illinois Urbana-Champaign
01:00 - 02:20
Session 24 (time band 2) Bugs and Analysis 1 ISSTA Technical Papers at ISSTA 2
01:00
20m
Talk
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
ISSTA Technical Papers
Yicheng PanSchool of Electronics Engineering and Computer Science, Peking University, Meng MaNational Engineering Research Center for Software Engineering, Peking University, Xinrui JiangSchool of Electronics Engineering and Computer Science, Peking University, Ping WangNational Engineering Research Center for Software Engineering, Peking University
01:20
20m
Talk
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
ISSTA Technical Papers
Shisong QinInstitute for Network Science and Cyberspace of Tsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Kaixiang ChenInstitute for Network Science and Cyberspace of Tsinghua University, Zheming LiInstitute for Network Science and Cyberspace of Tsinghua University
01:40
20m
Talk
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
ISSTA Technical Papers
Ming YuanTsinghua University, Yeseop LeeTsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Yun LiTsinghua University, Yan CaiInstitute of Software, Chinese Academy of Sciences, Bodong ZhaoTsinghua University
02:00
20m
Talk
Fixing Dependency Errors for Python Build Reproducibility
ISSTA Technical Papers
Suchita MukherjeeUniversity of California, Davis, Abigail AlmanzaUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
02:20 - 03:20
Session 25 (time band 2) Testing 4ISSTA Technical Papers at ISSTA 1
02:20
20m
Talk
Validating Static Warnings via Testing Code Fragments
ISSTA Technical Papers
Ashwin Kallingal JoshyIowa State Univesity, Xueyuan ChenIowa State University, Benjamin SteenhoekIowa State University, Wei LeIowa State University
02:40
20m
Talk
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
ISSTA Technical Papers
Meng RenTsinghua University, Zijing YinTsinghua University, Fuchen MaTsinghua University, Zhenyang XuUniversity of Waterloo, Yu JiangTsinghua University, Chengnian SunUniversity of Waterloo, Huizhong LiWeBank, Yan CaiInstitute of Software, Chinese Academy of Sciences
03:00
20m
Talk
Model-Based Testing of Networked Applications
ISSTA Technical Papers
Yishuai LiUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
DOI Pre-print
02:20 - 03:20
Session 26 (time band 2) Android and Web Application TestingISSTA Technical Papers at ISSTA 2
02:20
20m
Talk
WebEvo: TamingWeb Application Evolution via Detecting Semantic Structure Change
ISSTA Technical Papers
Fei ShaoCase Western Reserve University, Rui XuCase Western Reserve University, Wasif HaqueThe University of Texas at Dallas, Jingwei XuPeking University, Ying ZhangPeking University, Wei YangUniversity of Texas at Dallas, Yanfang YeCase Western Reserve University, Xusheng XiaoCase Western Reserve University
02:40
20m
Talk
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
ISSTA Technical Papers
Austin MordahlThe University of Texas at Dallas, Shiyi WeiThe University of Texas at Dallas
03:00
20m
Talk
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
ISSTA Technical Papers
Wenyu WangUniversity of Illinois at Urbana-Champaign, Wing LamUniversity of Illinois at Urbana-Champaign, Tao XiePeking University
02:20 - 03:00
Dragon TestingSponsors at Sponsors

Research funding and job opportunities with Dragon Testing. Details to be revealed in the session.

03:00 - 04:00
Microsoft ResearchSponsors at Sponsors
08:00 - 10:00
Multiparty Programming and Session Types (time band 3)ECOOP Technical Papers at ECOOP 1
08:40
20m
Talk
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers
Christian Bartolo BurlòGSSI, Adrian FrancalanzaUniversity of Malta, Alceste ScalasTechnical University of Denmark
09:00
20m
Talk
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
ECOOP Technical Papers
Paul HarveyRakuten Mobile Innovation Studio, Simon FowlerUniversity of Glasgow, Ornela DardhaUniversity of Glasgow, Simon J. GayUniversity of Glasgow, UK
Pre-print
09:20
20m
Talk
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
ECOOP Technical Papers
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
09:40
20m
Talk
Multiparty Languages: the Choreographic and Multitier CasesPearl
ECOOP Technical Papers
Saverio GiallorenzoAlma Mater Studiorum - Università di Bologna, Fabrizio MontesiUniversity of Southern Denmark, Marco PeressottiUniversity of Southern Denmark, David RichterTechnische Universität Darmstadt, Guido SalvaneschiUniversity of St. Gallen, Pascal WeisenburgerUniversity of St. Gallen
08:00 - 09:20
Session 27 (time band 3) Testing and AnalysisISSTA Technical Papers at ISSTA 1
Chair(s): Michael PradelUniversity of Stuttgart
08:00
20m
Talk
Automated Patch Backporting in Linux (Experience Paper)
ISSTA Technical Papers
Ridwan Salihin ShariffdeenNational University of Singapore, Xiang GaoNational University of Singapore, Gregory J. DuckNational University of Singapore, Singapore, Shin Hwei TanSouthern University of Science and Technology, Julia LawallInria, Abhik RoychoudhuryNational University of Singapore
Pre-print
08:20
20m
Talk
Identifying Privacy Weaknesses from Multi-party Trigger-action Integration Platforms
ISSTA Technical Papers
Kulani Tharaka MahadewaNational University of Singapore, Yanjun ZhangThe University of Queensland, Guangdong BaiThe University of Queensland, Lei BuNanjing University, Zhiqiang ZuoNanjing University, Dileepa FernandoNational University of Singapore, Zhenkai LiangNational University of Singapore, Jin Song DongNational University of Singapore
08:40
20m
Talk
Modular Call Graph Construction for Security Scanning of Node.js Applications
ISSTA Technical Papers
Benjamin Barslev NielsenAarhus University, Martin Toldam TorpAarhus University, Anders MøllerAarhus University
09:00
20m
Talk
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
ISSTA Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Ali MohebbiUSI Università della Svizzera Italiana, Mauro PezzeUSI Lugano, Switzerland, Valerio TerragniThe University of Auckland
08:00 - 08:40
ECOOP Test of Time Award (time band 3)ECOOP Keynotes at Keynote
08:00
40m
Talk
ECOOP Test of Time Award
ECOOP Keynotes

09:00 - 09:40
Dragon TestingSponsors at Sponsors

Research funding and job opportunities with Dragon Testing. Details to be revealed in the session.

09:20 - 11:00
Session 28 (time band 3) Bugs and Analysis 2ISSTA Technical Papers at ISSTA 1
Chair(s): Mike PapadakisUniversity of Luxembourg, Luxembourg
09:20
20m
Talk
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
ISSTA Technical Papers
Yicheng PanSchool of Electronics Engineering and Computer Science, Peking University, Meng MaNational Engineering Research Center for Software Engineering, Peking University, Xinrui JiangSchool of Electronics Engineering and Computer Science, Peking University, Ping WangNational Engineering Research Center for Software Engineering, Peking University
09:40
20m
Talk
Finding Data Compatibility Bugs with JSON Subschema Checking
ISSTA Technical Papers
Andrew HabibSnT, University of Luxembourg, Avraham ShinnarIBM Research, Martin HirzelIBM Research, Michael PradelUniversity of Stuttgart
10:00
20m
Talk
Semantic Table Structure Identification in Spreadsheets
ISSTA Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Xiao LvMicrosoft Research, Haoyu DongMicrosoft Research, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Shi HanMicrosoft Research Asia, Dongmei ZhangMicrosoft Research, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan YeInstitute of Software at Chinese Academy of Sciences
10:20
20m
Talk
Deep Just-in-Time Defect Prediction: How Far Are We?
ISSTA Technical Papers
Zhengran ZengSouthern University of Science and Technology, Yuqun Zhang, Haotian ZhangAnt Group, Lingming ZhangUIUC
10:40
20m
Talk
Continuous Test Suite Failure Prediction
ISSTA Technical Papers
Cong PanBeihang University, China, Michael PradelUniversity of Stuttgart
10:00 - 11:00
Microsoft ResearchSponsors at Sponsors
11:00 - 12:00
Keynote - Dahl-Nygaard Junior Prize (time band 3)ECOOP Keynotes at Keynote
11:00
60m
Keynote
Dahl-Nygaard Junior Prize
ECOOP Keynotes