SPLASH 2024 (series) / Student Research Competition /
Design of Fractional Permissions for a Gradual Verifier
Wed 23 Oct 2024 18:48 - 18:57 at California - Posters
Thu 24 Oct 2024 18:15 - 18:30 at Pacific - SRC Presentations
Thu 24 Oct 2024 18:15 - 18:30 at Pacific - SRC Presentations
Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change
Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change
Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change
Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change
17:40 - 19:40 | |||
17:45 15mPoster | Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities Student Research Competition | ||
18:00 15mPoster | A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines Student Research Competition Youwei Zhong Shanghai Jiao Tong University | ||
18:15 15mPoster | Design of Fractional Permissions for a Gradual Verifier Student Research Competition | ||
18:30 15mPoster | Understanding Program Visualizations in the Wild Student Research Competition | ||
18:45 15mPoster | Automatic Local Inverse Calculation for Change of Variables Student Research Competition | ||
19:00 15mPoster | Towards a Formal Approach to the Analysis of Human-Machine Interaction Student Research Competition Leyi Cui Columbia University, New York |