12:59 A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs ACM SIGPLAN
13:13 Fully Automated Functional Fuzzing of Android Apps for Detecting Non-Crashing Logic Bugs ACM SIGPLAN
14:59 Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity ACM SIGPLAN
14:59 Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse G ACM SIGPLAN
13:55 Scalability and Precision by Combining Expressive Type Systems and Deductive Verification ACM SIGPLAN
14:30 QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems ACM SIGPLAN
14:51 A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming ACM SIGPLAN
14:33 APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries ACM SIGPLAN
14:39 Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent D ACM SIGPLAN
14:57 Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations ACM SIGPLAN
14:58 Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts ACM SIGPLAN
15:41 Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthes ACM SIGPLAN
14:53 Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs ACM SIGPLAN
