VORTEX 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
Program
VORTEX Program
Your Program
Mon 17 Jul
Tue 18 Jul
Wed 19 Jul
Thu 20 Jul
Fri 21 Jul
Tracks
VORTEX 2023
VORTEX 2023
ECOOP and ISSTA 2023
Keynotes
Organization
VORTEX 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VORTEX 2024
VORTEX 2023
VORTEX 2022
VORTEX 2021
VORTEX 2020
VORTEX 2019
VORTEX 2018
VORTEX 2017
VORTEX 2016
Sign in
Sign up
ECOOP and ISSTA 2023
(
series
) /
VORTEX 2023 (
series
) /
Seattle
/
Room information: Madrona Seminar Room (Gates 371)
Venue
Seattle
Room name
Madrona Seminar Room (Gates 371)
Floor
3
Room number
Gates 371
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-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:30 - 10:00
Keynote
ECOOP and ISSTA Doctoral Symposium
at
Madrona Seminar Room (Gates 371)
08:30
5m
Keynote
Introduction and welcome to the Doctoral Symposium
ECOOP and ISSTA Doctoral Symposium
K:
William G.J. Halfond
University of Southern California
08:35
60m
Keynote
How to get your Ph.D. DONE!
ECOOP and ISSTA Doctoral Symposium
K:
Eric Jul
University of Oslo
10:30 - 12:00
Session 1
ECOOP and ISSTA Doctoral Symposium
at
Madrona Seminar Room (Gates 371)
10:30
8m
Talk
Automatic Testing and Benchmarking for Configurable Static Analysis Tools
ECOOP and ISSTA 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
ECOOP and ISSTA 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
ECOOP and ISSTA 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
ECOOP and ISSTA Doctoral Symposium
S:
Suzzana Rafi
,
P:
Owolabi Legunsen
Cornell University
,
P:
Tevfik Bultan
University of California at Santa Barbara
13:30 - 15:00
Session 2
ECOOP and ISSTA Doctoral Symposium
at
Madrona Seminar Room (Gates 371)
13:30
8m
Talk
Quantitative Robustness Analysis of Neural Networks
ECOOP and ISSTA 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
ECOOP and ISSTA 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
ECOOP and ISSTA 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
ECOOP and ISSTA Doctoral Symposium
S:
Xusheng Xiao
Arizona State University
14:01
25m
Talk
Planning your dissertation topic
ECOOP and ISSTA Doctoral Symposium
S:
Jonathan Aldrich
Carnegie Mellon University
15:30 - 17:00
Session 3
ECOOP and ISSTA Doctoral Symposium
at
Madrona Seminar Room (Gates 371)
15:30
5m
Talk
Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
ECOOP and ISSTA 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
ECOOP and ISSTA 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
ECOOP and ISSTA 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
ECOOP and ISSTA Doctoral Symposium
S:
Emery Berger
Tue 18 Jul
Displayed time zone:
Pacific Time (US & Canada)
change
10:30 - 12:00
VORTEX 1
VORTEX 2023
at
Madrona Seminar Room (Gates 371)
10:30
20m
Talk
Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
VORTEX 2023
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 2023
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 2023
Giorgio Audrito
Università di Torino
,
Daniel Haures
University of Turin, Italy
13:30 - 15:00
VORTEX 2
VORTEX 2023
at
Madrona Seminar Room (Gates 371)
13:30
30m
Talk
RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
VORTEX 2023
Angelo Ferrando
,
Andrea Gatti
University of Genoa, Italy
,
Viviana Mascardi
DIBRIS, University of Genova, Italy
14:00
20m
Talk
Monitoring for resource-awareness
VORTEX 2023
Riccardo Bianchini
University of Genoa
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
Madrona Seminar Room (Gates 371)
ECOOP and ISSTA Doctoral Symposium
Keynote
ECOOP and ISSTA Doctoral Symposium
Session 1
ECOOP and ISSTA Doctoral Symposium
Session 2
ECOOP and ISSTA Doctoral Symposium
Session 3
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
Madrona Seminar Room (Gates 371)
VORTEX 2023
VORTEX 1
VORTEX 2023
VORTEX 2
VORTEX 2023
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
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
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
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
x
Sun 22 Dec 04:46