ECOOP 2023
Mon 17 - Fri 21 July 2023
Seattle (University of Washington campus), Washington, United States
co-located with
ECOOP and ISSTA 2023
Toggle navigation
Attending
Venue: Seattle
ECOOP and ISSTA 2023
Conduct
Covid-19
Accommodation
Registration
Visas
Program
ECOOP Program
Your Program
Schedule Overview
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
ECOOP 2023
Awards
Keynotes
Research Papers
Artifacts
ECOOP and ISSTA 2023
Doctoral Symposium
Keynotes
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Workshops
COP
DEBT
FTfJP
FUZZING
ICOOOLPS
VORTEX
Organization
ECOOP 2023 Committees
Organizing Committee
Track Committees
Research Papers
Program Committee
Extended Review Committee and External Reviewers
Artifacts
ECOOP and ISSTA
Doctoral Symposium
Sponsorships
Student Research Competition
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Organizing Committee
Program Committee
DEBT
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
FUZZING
Organizing Committee
Program Committee
ICOOOLPS
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP and ISSTA 2023
(
series
) /
ECOOP 2023
(
series
) /
Seattle
/
Room information: Microsoft Atrium (Allen Center)
Venue
Seattle
Room name
Microsoft Atrium (Allen Center)
Floor
0
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-07:00) Pacific Time (US & Canada)
.
Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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:00 - 08:30
Coffee and Light Breakfast
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
10:00 - 10:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
15:00 - 15:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
Tue 18 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
08:00 - 08:30
Coffee and Light Breakfast
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
10:00 - 10:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
15:00 - 15:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
15:30 - 17:00
Posters
ECOOP and ISSTA Student Research Competition
at
Microsoft Atrium (Allen Center)
15:30
90m
Poster
ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
ECOOP and ISSTA Student Research Competition
Hannah Potter
University of Washington
15:30
90m
Poster
An empirical evaluation of commit-untangling tools
ECOOP and ISSTA Student Research Competition
Thomas Schweizer
University of Washington, Seattle
15:30
90m
Poster
Object Synthesis for Automated Test Generation
ECOOP and ISSTA Student Research Competition
Aleksandr Fedchin
Tufts University
15:30
90m
Poster
Out-of-place Multiverse Debugging for Constraint Devices
ECOOP and ISSTA Student Research Competition
Tom Lauwaerts
Universiteit Gent, Belgium
15:30
90m
Poster
Determinism with Intersection and Union Types
ECOOP and ISSTA Student Research Competition
Baber Rehman
University of Hong Kong
15:30
90m
Poster
An Exploration of Static Variability Bug Detection Through Desugaring
ECOOP and ISSTA Student Research Competition
P:
Austin Mordahl
University of Texas at Dallas
15:30
90m
Poster
Characterizing WebAssembly Performance in the Era of Serverless Computing
ECOOP and ISSTA Student Research Competition
Jamshed Ashurov
UC San Diego
15:30
90m
Poster
LibAE: An Area Exploration Technology for Detecting Third-party Libraries in Binaries
ECOOP and ISSTA Student Research Competition
Siyuan Li
15:30
90m
Poster
Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information
ECOOP and ISSTA Student Research Competition
P:
Zhongzhen Wen
Nanjing University
15:30
90m
Poster
An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools
ECOOP and ISSTA Student Research Competition
Dakota Soles
The University of Texas at Dallas
15:30
90m
Poster
DeltaNN: Differential Testing to Evaluate Robustness of Image Recognition Models
ECOOP and ISSTA Student Research Competition
P:
Nikolaos Louloudakis
University of Edinburgh
15:30
90m
Poster
Specification-Driven Synthesis of Summaries for Symbolic Execution
ECOOP and ISSTA Student Research Competition
P:
Frederico Ramos
Instituto Superior Técnico
15:30
90m
Poster
LATCH: Enabling Large-scale Tests on Constraint Systems
ECOOP and ISSTA Student Research Competition
P:
Tom Lauwaerts
Universiteit Gent, Belgium
15:30
90m
Poster
Context-adaptive Automated Testing for Deep Learning Model
ECOOP and ISSTA Student Research Competition
wei kong
15:30
90m
Poster
An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dataflow Language
ECOOP and ISSTA Student Research Competition
P:
Yegor Bugayenko
Huawei
15:30
90m
Poster
Polymorphism for Programming With Versions
ECOOP and ISSTA Student Research Competition
Luthfan Anshar Lubis
Tokyo Institute of Technology
15:30
90m
Poster
Towards Reliable Memory Management for Python Native Extensions
ECOOP and ISSTA Student Research Competition
P:
Joannah Nanjekye
University of New Brunswick
Wed 19 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
08:00 - 08:30
Coffee and Light Breakfast
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
10:00 - 10:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
15:00 - 15:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
15:30 - 17:00
Tool Demonstrations
ISSTA Tool Demonstrations
at
Microsoft Atrium (Allen Center)
Chair(s):
Jonathan Bell
Northeastern University
,
Luís Pina
University of Illinois at Chicago
15:30
90m
Talk
KeenTune: Automated Tuning Tool for Cloud Application Performance Testing and Optimization
ISSTA Tool Demonstrations
Qinglong Wang
Alibaba Group
,
Runzhe Wang
Alibaba Group
,
Yuxi Hu
Alibaba Group
,
Xiaohai Shi
Alibaba Group
,
Zheng Liu
Alibaba Group; Zhejiang University
,
Tao Ma
Alibaba Group
,
Houbing Song
University of Maryland, Baltimore County
,
Heyuan Shi
Central South University
15:30
90m
Talk
RustSmith: Random Differential Compiler Testing for Rust
ISSTA Tool Demonstrations
Mayank Sharma
Imperial College London
,
Pingshi Yu
Imperial College London
,
Alastair F. Donaldson
Imperial College London
15:30
90m
Talk
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Reports in Maven Build System
ISSTA Tool Demonstrations
Sunzhou Huang
University of Texas at San Antonio
,
Xiaoyin Wang
University of Texas at San Antonio
Media Attached
15:30
90m
Talk
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
ISSTA Tool Demonstrations
Konstantinos (Kostis) Sagonas
Uppsala University and Nat. Tech. Univ. of Athens
,
Thanasis Typaldos
National Technical University of Athens
DOI
Pre-print
15:30
90m
Talk
KDAlloc: The KLEE Deterministic Allocator
ISSTA Tool Demonstrations
Daniel Schemmel
Imperial College London
,
Julian Büning
RWTH Aachen University
,
Frank Busse
Imperial College London
,
Martin Nowack
Imperial College London
,
Cristian Cadar
Imperial College London
15:30
90m
Talk
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
ISSTA Tool Demonstrations
Ziyad Alsaeed
Qassim University
,
Michal Young
University of Oregon
15:30
90m
Talk
SymRustC: A Hybrid Fuzzer for Rust
ISSTA Tool Demonstrations
Frédéric Tuong
Simon Fraser University
,
Mohammad Omidvar Tehrani
Simon Fraser University
,
Marco Gaboardi
Boston University
,
Steve Ko
Simon Fraser University
15:30
90m
Talk
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools
ISSTA Tool Demonstrations
Austin Mordahl
University of Texas at Dallas
,
Dakota Soles
The University of Texas at Dallas
,
Miao Miao
The University of Texas at Dallas
,
Zenong Zhang
The University of Texas at Dallas
,
Shiyi Wei
University of Texas at Dallas
15:30
90m
Talk
EvoSpex: A Search-based Tool for Postcondition Inference
ISSTA Tool Demonstrations
Facundo Molina
IMDEA Software Institute
,
Pablo Ponzio
Dept. of Computer Science FCEFQyN, University of Rio Cuarto
,
Nazareno Aguirre
University of Rio Cuarto and CONICET, Argentina
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
Media Attached
15:30
90m
Talk
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
ISSTA Tool Demonstrations
Roland Kuhn
Actyx AG
,
Alan Darmasaputra
Actyx AG
15:30
90m
Talk
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications
ISSTA Tool Demonstrations
Yuhao Zhou
Nanjing University of Science and Technology
,
Wei Song
Nanjing University of Science and Technology
Link to publication
DOI
Media Attached
15:30
90m
Talk
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis
ISSTA Tool Demonstrations
Francisco Ferreira
Royal Holloway, University of London
,
Sung-Shik Jongmans
Open University of the Netherlands; CWI
15:30
90m
Talk
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
ISSTA Tool Demonstrations
Frederico Ramos
Instituto Superior Técnico
,
Diogo Costa Reis
Instituto Superior Técnico
,
Miguel Trigo
Instituto Superior Técnico
,
António Morgado
INESC-ID
,
José Fragoso Santos
INESC-ID/Instituto Superior Técnico, Portugal
15:30
90m
Talk
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Framework
ISSTA Tool Demonstrations
Sven Peldszus
Ruhr University Bochum
,
Noubar Akopian
Ruhr University Bochum
,
Thorsten Berger
Ruhr University Bochum
DOI
Media Attached
Thu 20 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
08:00 - 08:30
Coffee and Light Breakfast
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
10:00 - 10:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
15:00 - 15:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
17:30 - 18:30
Reception
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
Fri 21 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
08:00 - 08:30
Coffee and Light Breakfast
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
10:00 - 10:30
Coffee Break
ECOOP and ISSTA Catering
at
Microsoft Atrium (Allen Center)
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering
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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Coffee and Light Breakfast
ECOOP and ISSTA Catering
Coffee Break
ECOOP and ISSTA Catering
Coffee Break
Tue 18 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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Coffee and Light Breakfast
ECOOP and ISSTA Catering
Coffee Break
ECOOP and ISSTA Catering
Coffee Break
ECOOP and ISSTA Student Research Competition
Posters
Wed 19 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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Coffee and Light Breakfast
ECOOP and ISSTA Catering
Coffee Break
ECOOP and ISSTA Catering
Coffee Break
ISSTA Tool Demonstrations
Tool Demonstrations
Thu 20 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
17:00
30
18:00
30
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Coffee and Light Breakfast
ECOOP and ISSTA Catering
Coffee Break
ECOOP and ISSTA Catering
Coffee Break
ECOOP and ISSTA Catering
Reception
Fri 21 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
Room
8:00
30
9:00
30
10:00
30
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Coffee and Light Breakfast
ECOOP and ISSTA Catering
Coffee Break
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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Break
08:00 - 08:30
ECOOP and ISSTA Catering
Break
10:00 - 10:30
ECOOP and ISSTA Catering
Break
15:00 - 15:30
Tue 18 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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Break
08:00 - 08:30
ECOOP and ISSTA Catering
Break
10:00 - 10:30
ECOOP and ISSTA Catering
Break
15:00 - 15:30
ECOOP and ISSTA Student Research Competition
ExplainThis: Teaching a New Programming Language and Paradigm Using Con ...
15:30 - 17:00
An empirical evaluation of commit-untangling tools
15:30 - 17:00
Object Synthesis for Automated Test Generation
15:30 - 17:00
Out-of-place Multiverse Debugging for Constraint Devices
15:30 - 17:00
Determinism with Intersection and Union Types
15:30 - 17:00
An Exploration of Static Variability Bug Detection Through Desugaring
15:30 - 17:00
Characterizing WebAssembly Performance in the Era of Serverless Computing
15:30 - 17:00
LibAE: An Area Exploration Technology for Detecting Third-party Librari ...
15:30 - 17:00
Enhancing Web Test Script Repair using Integrated UI Structural and Vis ...
15:30 - 17:00
An Empirical Study of Nondeterministic Behavior and Its Causes in Stati ...
15:30 - 17:00
DeltaNN: Differential Testing to Evaluate Robustness of Image Recogniti ...
15:30 - 17:00
Specification-Driven Synthesis of Summaries for Symbolic Execution
15:30 - 17:00
LATCH: Enabling Large-scale Tests on Constraint Systems
15:30 - 17:00
Context-adaptive Automated Testing for Deep Learning Model
15:30 - 17:00
An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dat ...
15:30 - 17:00
Polymorphism for Programming With Versions
15:30 - 17:00
Towards Reliable Memory Management for Python Native Extensions
15:30 - 17:00
Wed 19 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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Break
08:00 - 08:30
ECOOP and ISSTA Catering
Break
10:00 - 10:30
ECOOP and ISSTA Catering
Break
15:00 - 15:30
ISSTA Tool Demonstrations
KeenTune: Automated Tuning Tool for Cloud Application Performance Testi ...
15:30 - 17:00
RustSmith: Random Differential Compiler Testing for Rust
15:30 - 17:00
PExReport-Maven: Creating Pruned Executable Cross-Project Failure Repor ...
15:30 - 17:00
EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer
15:30 - 17:00
KDAlloc: The KLEE Deterministic Allocator
15:30 - 17:00
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break
15:30 - 17:00
SymRustC: A Hybrid Fuzzer for Rust
15:30 - 17:00
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static ...
15:30 - 17:00
EvoSpex: A Search-based Tool for Postcondition Inference
15:30 - 17:00
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
15:30 - 17:00
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issue ...
15:30 - 17:00
Oven: Safe and Live Communication Protocols in Scala, using Synthetic B ...
15:30 - 17:00
MetaData262: Automatic Test Suite Selection for Partial JavaScript Impl ...
15:30 - 17:00
RobotBT: Behavior-Tree-Based Test-Case Specification for the Robot Fram ...
15:30 - 17:00
Thu 20 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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Break
08:00 - 08:30
ECOOP and ISSTA Catering
Break
10:00 - 10:30
ECOOP and ISSTA Catering
Break
15:00 - 15:30
Fri 21 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
Microsoft Atrium (Allen Center)
ECOOP and ISSTA Catering
Break
08:00 - 08:30
ECOOP and ISSTA Catering
Break
10:00 - 10:30
x
Thu 21 Nov 11:22