ISSTA 2023
Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States
co-located with ECOOP and ISSTA 2023
ECOOP and ISSTA 2023 (series) / ISSTA 2023 (series) / Seattle /

Room information: Bezos Seminar Room (Gates G04)

VenueSeattle
Room nameBezos Seminar Room (Gates G04)
Floor0
Room numberGates G04
Capacity40
Room InformationNo extra information available
Program

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

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:30 - 10:00
Welcome and KeynoteDEBT at Bezos Seminar Room (Gates G04)
08:30
15m
Day opening
Welcome
DEBT
Christophe Scholliers Universiteit Gent, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
08:45
75m
Keynote
Language-Based Debugging
DEBT
Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print
10:30 - 12:00
Research Papers DEBT at Bezos Seminar Room (Gates G04)
10:30
30m
Talk
Using Object-Sequence Diagrams for Debugging
DEBT
Ole Lehrmann Madsen Aarhus University
Link to publication
11:00
30m
Talk
Debugging Video Games: A Systematic Mapping
DEBT
Adrien Vanègue Inria, Valentin Bourcier INRIA, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Steven Costiou INRIA Lille
Link to publication
11:30
30m
Keynote
Searching for Justice in Programming Language Design
DEBT
Amy Ko University of Washington
13:30 - 15:00
Demo Session & WIPDEBT at Bezos Seminar Room (Gates G04)
13:30
30m
Talk
Symbolic Debugging with Gillian
DEBT
Nat Karmios Imperial College London, Sacha-Élie Ayoun Imperial College London, Philippa Gardner Imperial College London
DOI
14:00
30m
Talk
Demo: Debugging Constraint Devices with EDWARD
DEBT
Tom Lauwaerts Universiteit Gent, Belgium, Carlos Rojas Castillo Vrije Universiteit Brussel, Christophe Scholliers Universiteit Gent, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel
Link to publication
14:30
30m
Talk
Program State Visualizer with User-Defined Representation Conversion
DEBT
Rifqi Adlan Apriyadi Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology
Link to publication
15:30 - 17:00
ClosingDEBT at Bezos Seminar Room (Gates G04)
15:30
60m
Day closing
Discussion
DEBT
Christophe Scholliers Universiteit Gent, Belgium, Elisa Gonzalez Boix Vrije Universiteit Brussel

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
ISSTA Online 3: Empirical StudiesTechnical Papers at Bezos Seminar Room (Gates G04)
Chair(s): Jordan Samhi University of Luxembourg
15:30
10m
Talk
Understanding Breaking Changes in the Wild
Technical Papers
Dhanushka Jayasuriya University of Auckland, Valerio Terragni University of Auckland, Jens Dietrich Victoria University of Wellington, Samuel Ou University of Auckland, Kelly Blincoe University of Auckland
DOI
15:40
10m
Talk
LiResolver: License Incompatibility Resolution for Open Source Software
Technical Papers
Sihan Xu Nankai University, Ya Gao Nankai University, Lingling Fan Nankai University, Linyu Li Nankai University, Xiangrui Cai Nankai University, Zheli Liu Nankai University
DOI
15:50
10m
Talk
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software
Technical Papers
Chao Li Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Boxiang Wang Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Zhixuan Wang Xidian University, Tingting Yu Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Yunsong Jiang Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Mengfei Yang China Academy of Space Technology
DOI
16:00
10m
Talk
An Empirical Study of Functional Bugs in Android AppsACM SIGSOFT Distinguished Paper
Technical Papers
Yiheng Xiong East China Normal University, Mengqian Xu East China Normal University, Ting Su East China Normal University, Jingling Sun East China Normal University, Jue Wang Nanjing University, He Wen East China Normal University, Geguang Pu East China Normal University, Jifeng He East China Normal University, Zhendong Su ETH Zurich
DOI
16:10
10m
Talk
Testing the Compiler for a New-Born Programming Language: An Industrial Case Study (Experience Paper)
Technical Papers
Yingquan Zhao Tianjin University, Junjie Chen Tianjin University, Ruifeng Fu Tianjin University, Haojie Ye Huawei, Zan Wang Tianjin University
DOI
16:20
10m
Talk
An Empirical Study on the Effects of Obfuscation on Static Machine Learning-Based Malicious JavaScript Detectors
Technical Papers
Kunlun Ren Huazhong University of Science and Technology, Qiang Weizhong Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, yi zhou Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
DOI
16:30
10m
Talk
Security Checking of Trigger-Action-Programming Smart Home Integrations
Technical Papers
Lei Bu Nanjing University, Qiuping Zhang Nanjing University, Suwan Li Nanjing University, Jinglin Dai Nanjing University, Guangdong Bai University of Queensland, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences, Xuandong Li Nanjing University
DOI
16:40
10m
Talk
Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosystem: How Far Are We?
Technical Papers
Ling Jiang Southern University of Science and Technology, Hengchen Yuan Southern University of Science and Technology, Qiyi Tang Tencent Security Keen Lab, Sen Nie Tencent Security Keen Lab, Shi Wu Tencent Security Keen Lab, Yuqun Zhang Southern University of Science and Technology
DOI
16:50
10m
Talk
Who Judges the Judge: An Empirical Study on Online Judge Tests
Technical Papers
Kaibo Liu Peking University, Yudong Han Peking University, Jie M. Zhang King’s College London, Zhenpeng Chen University College London, Federica Sarro University College London, Mark Harman University College London, Gang Huang Peking University; National Key Laboratory of Data Space Technology and System, Yun Ma Peking University
DOI

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
SRC PresentationsECOOP and ISSTA Student Research Competition at Bezos Seminar Room (Gates G04)
15:30 - 17:00
ISSTA Online 6: Smart Contracts and AutomotiveTechnical Papers at Bezos Seminar Room (Gates G04)
Chair(s): Alex Groce Northern Arizona University
15:30
10m
Talk
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Technical Papers
Zeqin Liao Sun Yat-sen University, Sicheng Hao Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
DOI
15:40
10m
Talk
DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
Technical Papers
Queping Kong Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Zigui Jiang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
DOI
15:50
10m
Talk
Beyond “Protected” and “Private”: An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts
Technical Papers
Yuzhou Fang Hong Kong University of Science and Technology, Daoyuan Wu Chinese University of Hong Kong, Xiao Yi Chinese University of Hong Kong, Shuai Wang Hong Kong University of Science and Technology, Yufan Chen Xidian University, Mengjie Chen Mask Network, Yang Liu Nanyang Technological University, Lingxiao Jiang Singapore Management University
DOI
16:00
10m
Talk
Testing Automated Driving Systems by Breaking Many Laws Efficiently
Technical Papers
Xiaodong Zhang Xidian University, Zhao Wei Tencent, Yang Sun Singapore Management University, Jun Sun Singapore Management University, Yulong Shen Xidian University, Xuewen Dong Xidian University, Zijiang Yang GuardStrike
DOI
16:10
10m
Talk
Simulation-Based Validation for Autonomous Driving Systems
Technical Papers
Changwen Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Joseph Sifakis University Grenoble Alpes; CNRS; Grenoble INP; VERIMAG, Qiang Wang Academy of Military Sciences, Rongjie Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI
16:20
10m
Talk
Data Constraint Mining for Automatic Reconciliation Scripts Generation
Technical Papers
Tianxiao Wang Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, Chen Zhi Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, Xiaoqun Zhou Alibaba Group, Jinjie Wu Alibaba Group, Jianwei Yin Zhejiang University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
DOI

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Bezos Seminar Room (Gates G04)

DEBT

Welcome and Keynote

DEBT

Research Papers

DEBT

Demo Session & WIP

DEBT

Closing

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Bezos Seminar Room (Gates G04)

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

Technical Papers

ISSTA Online 3: Empirical Studies

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Bezos Seminar Room (Gates G04)

ECOOP and ISSTA Student Research Competition

SRC Presentations

ECOOP and ISSTA Keynotes

Technical Papers

ISSTA Online 6: Smart Contracts and Automotive

Thu 20 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Bezos Seminar Room (Gates G04)

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

ECOOP and ISSTA Keynotes

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Bezos Seminar Room (Gates G04)
DEBT
Welcome
08:30 - 08:45
DEBT
Language-Based Debugging
08:45 - 10:00
DEBT
Using Object-Sequence Diagrams for Debugging
10:30 - 11:00
DEBT
Debugging Video Games: A Systematic Mapping
11:00 - 11:30
DEBT
Searching for Justice in Programming Language Design
11:30 - 12:00
DEBT
Symbolic Debugging with Gillian
13:30 - 14:00
DEBT
Demo: Debugging Constraint Devices with EDWARD
14:00 - 14:30
DEBT
Program State Visualizer with User-Defined Representation Conversion
14:30 - 15:00
DEBT
Discussion
15:30 - 16:30

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room15:0015304516:00153045
Bezos Seminar Room (Gates G04)
ISSTA Technical Papers
Understanding Breaking Changes in the Wild
15:30 - 15:40
ISSTA Technical Papers
LiResolver: License Incompatibility Resolution for Open Source Software
15:40 - 15:50
ISSTA Technical Papers
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Sof ...
15:50 - 16:00
ISSTA Technical PapersACM SIGSOFT Distinguished Paper
An Empirical Study of Functional Bugs in Android Apps
16:00 - 16:10
ISSTA Technical Papers
Testing the Compiler for a New-Born Programming Language: An Industrial ...
16:10 - 16:20
ISSTA Technical Papers
An Empirical Study on the Effects of Obfuscation on Static Machine Lear ...
16:20 - 16:30
ISSTA Technical Papers
Security Checking of Trigger-Action-Programming Smart Home Integrations
16:30 - 16:40
ISSTA Technical Papers
Third-Party Library Dependency for Large-Scale SCA in the C/C++ Ecosyst ...
16:40 - 16:50
ISSTA Technical Papers
Who Judges the Judge: An Empirical Study on Online Judge Tests
16:50 - 17:00

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Bezos Seminar Room (Gates G04)
ISSTA Technical Papers
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contract ...
15:30 - 15:40
ISSTA Technical Papers
DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols
15:40 - 15:50
ISSTA Technical Papers
Beyond “Protected” and “Private”: An Empirical Security Analysis of Cus ...
15:50 - 16:00
ISSTA Technical Papers
Testing Automated Driving Systems by Breaking Many Laws Efficiently
16:00 - 16:10
ISSTA Technical Papers
Simulation-Based Validation for Autonomous Driving Systems
16:10 - 16:20
ISSTA Technical Papers
Data Constraint Mining for Automatic Reconciliation Scripts Generation
16:20 - 16:30