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
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
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
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
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

Tue 18 Jul

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

10:30 - 12:00
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
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

Tue 18 Jul

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

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

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)