General Topics on December 20, 2024

Paper Venue Title of the Presentation Presenter Time Slot
LICS 2016, POPL 2023 Probabilistic Trees Linyu Yang 10:30-11:00
USENIX Security 2023 AnimateDead: Debloating Web Applications Using Concolic Execution Zhongyi Wang 11:00-11:30
OSDI 2024 Using Dynamically Layered Definite Releases for Verifying the RefFS File System Xiaqing Zhou 11:30-12:00
HSCC 2024 FaMoS – Fast Model Learning for Hybrid Cyber-Physical Systems Hengzhi Yu 12:00-12:30
AnimateDead: Debloating Web Applications Using Concolic Execution
Presenter: Zhongyi Wang Authors: Babak Amin Azad, Stony Brook University; Rasoul Jahanshahi, Boston University; Chris Tsoukaladelis, Stony Brook University; Manuel Egele, Boston University; Nick Nikiforakis, Stony Brook University Abstract: Year over year, modern web applications evolve to cater to the needs of many users and support various runtime environments.
Dec 20, 2024
FaMoS – Fast Model Learning for Hybrid Cyber-Physical Systems
Presenter: Hengzhi Yu Authors: Swantje Plambeck, Aaron Bracht, Nemanja Hranisavljevic, Goerschwin Fey Abstract: In the domain of cyber-physical systems, there is an increasing relevance of data-driven approaches for the learning of hybrid system dynamics.
Dec 20, 2024
Using Dynamically Layered Definite Releases for Verifying the RefFS File System
Presenter: Xiaqing Zhou Authors: Mo Zou, Dong Du, and Mingkai Dong, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Haibo Chen, Institute of Parallel and Distributed Systems, SEIEE, Shanghai Jiao Tong University; Engineering Research Center for Domain-specific Operating Systems, Ministry of Education, China; Huawei Technologies Co.
Dec 20, 2024
Probabilistic Trees
Presenter: Linyu Yang Abstract: Discussion about modelling probabilistic behaviors with a variant of interaction trees. URLs: POPL'20, ITrees: https://dl.acm.org/doi/10.1145/3371119 POPL'23, CTrees: https://dl.acm.org/doi/10.1145/3571254 Measure-Theory-Based PPL Semantics: LICS'16, Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints: https://dl.
Jan 1, 0001