Abstract is missing.
- Automating Maintenance of the Linux Kernel: A Perspective over 20 Years (Keynote)Julia Lawall. 1 [doi]
- The Quest toward That Perfect Compiler (Keynote)Zhendong Su 0001. 2 [doi]
- Software Stacks for Confidential Computing Hardware (Keynote)Frank Piessens. 3 [doi]
- Separation Logics for Probability, Concurrency, and SecurityKwing Hei Li. 4-6 [doi]
- A Multi-layer Dynamic Security Framework for DeFi Smart ContractsZhiyang Chen 0004. 7-9 [doi]
- How to Synthesize Quantum-Circuit OptimizersAmanda Xu. 10-12 [doi]
- Practical Compositional DiagrammingShardul Chiplunkar. 13-15 [doi]
- Lexical Effect Handlers: Fast by Design, Correct by ProofCong Ma 0009. 16-18 [doi]
- Towards Compiler-Guided Static AnalysisBenjamin Mikek. 19-21 [doi]
- Automata Visualization for Validation and Verification: Helping Develop Correctness Arguments for Nondeterministic MachinesDavid Anthony K. Fields. 22-24 [doi]
- Restoring Data Sovereignty: A Human-Centered Approach to Blockchain Health TechnologyPolina Bobrova. 25-27 [doi]
- A Concurrency-Testing Approach for Detecting Isolation Level Bugs in Database SystemsArsyad Kamili. 28-30 [doi]
- LLM-Assisted Dialect-Agnostic SQL Query ParsingJunwen An. 31-33 [doi]
- Formal Verification of Graham's Scan AlgorithmYingjun Lan, Yuxuan Sun. 34-36 [doi]
- LegoFuzz: Interleaving Large Language Models for Compiler TestingYunbo Ni. 37-39 [doi]
- On a Multitier Actor Programming LanguageHyeonjin Lee. 40-42 [doi]
- Siloso: Finding Logic Bugs in RDBMS via Dialect-Adaptable Reference Engine ConstructionEmily Ong. 43-45 [doi]
- Incremental and Unbounded Loop AnalysisArpita Dutta, Joxan Jaffar. 46-47 [doi]
- View Types in RustSasha Pak, Richard Willie, Umang Mathur 0001, Fabian Muehlboeck, Alex Potanin. 48-49 [doi]
- Reproducibility Debt in Scientific SoftwareZara Hassan, Christoph Treude, Graham J. Williams, Michael Norrish, Alex Potanin. 50-51 [doi]
- Type Checking for Python using Intersection TypesMingyeong Jeong, Sungho Lee. 52-53 [doi]
- Simplifying Lifter-Generated Emulation Style LLVM IR for Analysis SuitabilityYujin An, Sungho Lee. 54-55 [doi]
- Toward Automated Verification of Static Analysis Results of Android ApplicationsHannuri Kim, Sungho Lee. 56-57 [doi]
- Verifying Extract Method Refactoring in RustMatthew Britton, Alex Potanin, Sasha Pak. 58-59 [doi]