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 AprDisplayed time zone: Eastern Time (US & Canada) 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 5mDay opening | Opening of the Doctoral Symposium Doctoral Symposium Tayana Conte Universidade Federal do Amazonas, Alexander Serebrenik Eindhoven University of Technology | ||
09:05 6mTalk | Advancing Secure and Standard Source Code Generation Techniques Doctoral Symposium Mohammed Latif Siddiq University of Notre Dame Pre-print | ||
09:11 6mTalk | Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO Specifications Doctoral Symposium Sofana Alfuhaid University of Ottawa | ||
09:17 6mTalk | Empirically-Informed Approaches to Shift Vulnerability Detection to the Left Doctoral Symposium Paschal Amusuo Purdue University | ||
09:23 6mTalk | A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development Doctoral Symposium Alejandra Selva-Mora Universidad de Costa Rica | ||
09:29 6mTalk | Towards Configuration-Aware Performance Modeling Doctoral Symposium Yuanjie Xia University of Waterloo | ||
09:35 30mPanel | 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 |