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

Room information: Madrona Seminar Room (Gates 371)

VenueSeattle
Room nameMadrona Seminar Room (Gates 371)
Floor3
Room numberGates 371
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
KeynoteDoctoral Symposium at Madrona Seminar Room (Gates 371)
08:30
5m
Keynote
Introduction and welcome to the Doctoral Symposium
Doctoral Symposium
K: William G.J. Halfond University of Southern California
08:35
60m
Keynote
How to get your Ph.D. DONE!
Doctoral Symposium
K: Eric Jul University of Oslo
10:30 - 12:00
Session 1Doctoral Symposium at Madrona Seminar Room (Gates 371)
10:30
8m
Talk
Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Doctoral Symposium
S: Austin Mordahl University of Texas at Dallas, P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
10:38
5m
Talk
Optimizing Continuous Development and Predicting Test Information in Software Development
Doctoral Symposium
talank baral , P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
10:43
8m
Talk
Sparse Symbolic Execution
Doctoral Symposium
S: Frank Busse Imperial College London, P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
10:51
5m
Talk
Understanding and Improving the Adoption of Large Language Models
Doctoral Symposium
S: Suzzana Rafi , P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
13:30 - 15:00
Session 2Doctoral Symposium at Madrona Seminar Room (Gates 371)
13:30
8m
Talk
Quantitative Robustness Analysis of Neural Networks
Doctoral Symposium
S: Mara Downing University of California, Santa Barbara, P: Wing Lam George Mason University, P: Xusheng Xiao Case Western Reserve University, P: Jonathan Aldrich Carnegie Mellon University
13:38
8m
Talk
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Doctoral Symposium
S: Sohil Lal Shrestha The University of Texas at Arlington, P: Wing Lam University of Illinois at Urbana-Champaign, P: Xusheng Xiao Arizona State University, P: Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
13:46
5m
Talk
Fairness Testing For Recommender Systems
Doctoral Symposium
S: Huizhong Xiao , P: Wing Lam George Mason University, P: Xusheng Xiao Case Western Reserve University, P: Jonathan Aldrich Carnegie Mellon University
13:51
10m
Talk
General advice for your PhD career
Doctoral Symposium
S: Xusheng Xiao Arizona State University
14:01
25m
Talk
Planning your dissertation topic
Doctoral Symposium
S: Jonathan Aldrich Carnegie Mellon University
15:30 - 17:00
Session 3Doctoral Symposium at Madrona Seminar Room (Gates 371)
15:30
5m
Talk
Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
Doctoral Symposium
S: Pingshi Yu Imperial College London, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Case Western Reserve University, P: Emery Berger
15:35
5m
Talk
Quantitative Symbolic Similarity Analysis
Doctoral Symposium
S: Laboni Sarker University of California at Santa Barbara, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Arizona State University, P: Emery Berger
15:40
8m
Talk
Type Automata
Doctoral Symposium
S: Ori Roth Technion, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Case Western Reserve University, P: Emery D. Berger University of Massachusetts Amherst
15:48
25m
Talk
How to conduct impactful research
Doctoral Symposium
S: Emery Berger

Tue 18 Jul

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

10:30 - 12:00
VORTEX 1VORTEX at Madrona Seminar Room (Gates 371)
10:30
20m
Talk
Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
VORTEX
Volker Stolz Høgskulen på Vestlandet, Giorgio Audrito Università di Torino
Media Attached
10:50
20m
Talk
On Stream Runtime Verification and Aggregate Programming
VORTEX
Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy
11:10
20m
Talk
 Combining Static and Runtime Verification with AC and Coq
VORTEX
Giorgio Audrito Università di Torino, Daniel Haures University of Turin, Italy
13:30 - 15:00
VORTEX 2VORTEX at Madrona Seminar Room (Gates 371)
13:30
30m
Talk
RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
VORTEX
Angelo Ferrando , Andrea Gatti University of Genoa, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy
14:00
20m
Talk
Monitoring for resource-awareness
VORTEX
Riccardo Bianchini University of Genoa

Mon 17 Jul

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

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

Doctoral Symposium

Keynote

Doctoral Symposium

Session 1

Doctoral Symposium

Session 2

Doctoral Symposium

Session 3

Tue 18 Jul

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

Room10:003011:003012:003013:003014:003015:003016:0030
Madrona Seminar Room (Gates 371)

VORTEX

VORTEX 1

VORTEX

VORTEX 2

VORTEX

Mon 17 Jul

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Madrona Seminar Room (Gates 371)
ECOOP and ISSTA Doctoral Symposium
Introduction and welcome to the Doctoral Symposium
08:30 - 08:35
ECOOP and ISSTA Doctoral Symposium
How to get your Ph.D. DONE!
08:35 - 09:35
ECOOP and ISSTA Doctoral Symposium
Automatic Testing and Benchmarking for Configurable Static Analysis Tools
10:30 - 10:38
ECOOP and ISSTA Doctoral Symposium
Optimizing Continuous Development and Predicting Test Information in So ...
10:38 - 10:43
ECOOP and ISSTA Doctoral Symposium
Sparse Symbolic Execution
10:43 - 10:51
ECOOP and ISSTA Doctoral Symposium
Understanding and Improving the Adoption of Large Language Models
10:51 - 10:56
ECOOP and ISSTA Doctoral Symposium
Quantitative Robustness Analysis of Neural Networks
13:30 - 13:38
ECOOP and ISSTA Doctoral Symposium
Harnessing Large Language Models for Simulink Toolchain Testing and Dev ...
13:38 - 13:46
ECOOP and ISSTA Doctoral Symposium
Fairness Testing For Recommender Systems
13:46 - 13:51
ECOOP and ISSTA Doctoral Symposium
General advice for your PhD career
13:51 - 14:01
ECOOP and ISSTA Doctoral Symposium
Planning your dissertation topic
14:01 - 14:26
ECOOP and ISSTA Doctoral Symposium
Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
15:30 - 15:35
ECOOP and ISSTA Doctoral Symposium
Quantitative Symbolic Similarity Analysis
15:35 - 15:40
ECOOP and ISSTA Doctoral Symposium
Type Automata
15:40 - 15:48
ECOOP and ISSTA Doctoral Symposium
How to conduct impactful research
15:48 - 16:13

Tue 18 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:00153045
Madrona Seminar Room (Gates 371)
VORTEX
Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
10:30 - 10:50
VORTEX
On Stream Runtime Verification and Aggregate Programming
10:50 - 11:10
VORTEX
Combining Static and Runtime Verification with AC and Coq
11:10 - 11:30
VORTEX
RV4Rasa: a formalism-agnostic Runtime Verification framework for verify ...
13:30 - 14:00
VORTEX
Monitoring for resource-awareness
14:00 - 14:20