VenueSeattle
Room nameMicrosoft Atrium (Allen Center)
Floor0
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:00 - 08:30
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:00 - 15:30
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
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:30 - 17:00
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
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
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
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:30 - 17:00
Tool DemonstrationsISSTA 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
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

Fri 21 Jul

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

08:00 - 08:30
08:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
ECOOP and ISSTA Catering

Mon 17 Jul

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Microsoft Atrium (Allen Center)

Tue 18 Jul

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Microsoft Atrium (Allen Center)

Thu 20 Jul

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Microsoft Atrium (Allen Center)

Fri 21 Jul

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

Room8:001530459:0015304510:00153045
Microsoft Atrium (Allen Center)