TCSE logo 
 Sigsoft logo
Sustainability badge

This program is tentative and subject to change.

Tue 29 Apr 2025 09:00 - 09:05 at 212 - Session 1: Security & Miscellaneous (talks and panel) Chair(s): Tayana Conte

This program is tentative and subject to change.

Tue 29 Apr

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

09:00 - 10:05
Session 1: Security & Miscellaneous (talks and panel)Doctoral Symposium at 212
Chair(s): Tayana Conte Universidade Federal do Amazonas
09:00
5m
Day opening
Opening of the Doctoral Symposium
Doctoral Symposium
Tayana Conte Universidade Federal do Amazonas, Alexander Serebrenik Eindhoven University of Technology
09:05
6m
Talk
Advancing Secure and Standard Source Code Generation Techniques
Doctoral Symposium
Mohammed Latif Siddiq University of Notre Dame
Pre-print
09:11
6m
Talk
Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO Specifications
Doctoral Symposium
Sofana Alfuhaid University of Ottawa
09:17
6m
Talk
Empirically-Informed Approaches to Shift Vulnerability Detection to the Left
Doctoral Symposium
Paschal Amusuo Purdue University
09:23
6m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development
Doctoral Symposium
Alejandra Selva-Mora Universidad de Costa Rica
09:29
6m
Talk
Towards Configuration-Aware Performance Modeling
Doctoral Symposium
Yuanjie Xia University of Waterloo
09:35
30m
Panel
Panel: Security
Doctoral Symposium
Marsha Chechik University of Toronto, Laurie Williams North Carolina State University, Mohammed Latif Siddiq University of Notre Dame, Yuanjie Xia University of Waterloo, Paschal Amusuo Purdue University, Alejandra Selva-Mora Universidad de Costa Rica, Sofana Alfuhaid University of Ottawa
:
:
:
: