ISSTA/ECOOP 2024 (series) / Doctoral Symposium /
With Biabduction towards Memory Safety across the Rust-C-FFI
This program is tentative and subject to change.
Tue 17 Sep 2024 13:55 - 14:05 at EI 2 Pichelmayer - Student Presentations - II
Memory safety is a long standing issue in computer science. Although modern programming languages like Rust avoid many common memory-related problems, they have to give up their guarantees if they want to interact with C code, e.g., the operating system. I propose to verify memory safety across the Foreign Function Interface for Rust code that calls C code via biabductive shape analysis.
This program is tentative and subject to change.
Tue 17 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:30 - 15:00 | |||
13:30 15mTalk | From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems Doctoral Symposium Drishti Yadav Technische Universität Wien | ||
13:45 10mTalk | Graph Learning for Extract Class Refactoring Doctoral Symposium Luqiao Wang Xidian University | ||
13:55 10mTalk | With Biabduction towards Memory Safety across the Rust-C-FFI Doctoral Symposium Florian Sextl TU Wien, Austria | ||
14:05 10mTalk | Decentralized Near-Synchronous Local-First Programming Collaboration Doctoral Symposium Leon Freudenthaler FH Campus Wien | ||
14:15 10mTalk | Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Doctoral Symposium Nimantha Kariyakarawana imec-DistriNet KU Leuven | ||
14:25 10mTalk | Collaboration to Repository-Level Vulnerability Detection Doctoral Symposium Xin-Cheng Wen Harbin Institute of Technology | ||
14:35 15mTalk | Learning the Effects of Software Changes Doctoral Symposium Laura Plein CISPA Helmholtz Center for Information Security |
Information for Participants
Tue 17 Sep 2024 13:30 - 15:00 at EI 2 Pichelmayer - Student Presentations - II
Info for room EI 2 Pichelmayer: