COP 2023
Dates to be announced
Seattle (University of Washington campus), Washington, United States
co-located with
ECOOP and ISSTA 2023
Toggle navigation
Attending
Venue: Seattle
Program
COP Program
Your Program
Sun 31 Dec
Tracks
COP 2023
COP 2023
ECOOP and ISSTA 2023
Keynotes
Organization
COP 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
COP 2023
COP 2022
COP 2021
COP
COP 2019
COP 2018
COP 2017
COP 2016
COP 2015
Sign in
Sign up
ECOOP and ISSTA 2023
(
series
) /
COP 2023 (
series
) /
Seattle
/
Room information: Bezos Seminar Room (Gates G04)
Venue
Seattle
Room name
Bezos Seminar Room (Gates G04)
Floor
0
Room number
Gates G04
Capacity
40
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-08:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-08:00) Pacific Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Keynote
DEBT
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 & WIP
DEBT
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
Closing
DEBT
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 Studies
ISSTA Technical Papers
at
Bezos Seminar Room (Gates G04)
Chair(s):
Jordan Samhi
University of Luxembourg
15:30
10m
Talk
Understanding Breaking Changes in the Wild
ISSTA 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
ISSTA 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
ISSTA 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 Apps
ACM SIGSOFT Distinguished Paper
ISSTA 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)
ISSTA 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
ISSTA 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
ISSTA 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?
ISSTA 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
ISSTA 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 Presentations
ECOOP and ISSTA Student Research Competition
at
Bezos Seminar Room (Gates G04)
15:30 - 17:00
ISSTA Online 6: Smart Contracts and Automotive
ISSTA Technical 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
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Bezos Seminar Room (Gates G04)
ECOOP and ISSTA Keynotes
ECOOP and ISSTA Keynotes
ISSTA Technical Papers
ISSTA Online 3: Empirical Studies
Wed 19 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Bezos Seminar Room (Gates G04)
ECOOP and ISSTA Student Research Competition
SRC Presentations
ECOOP and ISSTA Keynotes
ISSTA Technical Papers
ISSTA Online 6: Smart Contracts and Automotive
Thu 20 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
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
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
15:00
15
30
45
16:00
15
30
45
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 Papers
ACM 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
Room
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
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
x
Wed 20 Nov 18:27