Registros relacionados: An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
- RustViz: Interactively Visualizing Ownership and Borrowing
- Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
- Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
- Borrowable Fractional Ownership Types for Verification
- Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
- Ownership guided C to Rust translation
Autor: Kan, Shuanglong
- Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
- Harnessing Code Agents for Automatic Software Verification
- An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
- CertiStr: A Certified String Solver (technical report)
- Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
- Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
Autor: Chen, Zhe
- VLMEvalKit: An Open-Source Toolkit for Evaluating Large Multi-Modality Models
- LearniBridge: Learnable Calibration of Feature Caching for Diffusion Models Acceleration
- Hera: Learning Long-Horizon Coordination for Device-Cloud Collaborative LLM Agents
- Advancing MAPF Toward the Real World: A Scalable Multi-Agent Realistic Testbed (SMART)
- Rec-Distill: An Industrial Distillation Pipeline for Large-Scale Recommendation Models
- Conflict-Aware Federated Fine-Tuning of Large Language Models with Mixture-of-Experts