Buchumschlag

Scaling Inter-procedural Dataflow Analysis on the Cloud

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sun, Zewen, Zhang, Yujin, Xu, Duanchen, Zhang, Yiyu, Qi, Yun, Wang, Yueyang, Li, Yi, Wang, Zhaokang, Li, Yue, Li, Xuandong, Zuo, Zhiqiang, Lu, Qingda, Peng, Wenwen, Guo, Shengjian
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Operating Systems Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing
von: Zhang, Yiyu, et al.
Veröffentlicht: (2024)

DeLog: An Efficient Log Compression Framework with Pattern Signature Synthesis
von: Yu, Siyu, et al.
Veröffentlicht: (2026)

BYOS: Knowledge-driven Large Language Models Bring Your Own Operating System More Excellent
von: Lin, Hongyu, et al.
Veröffentlicht: (2025)

Proto: A Guided Journey through Modern OS Construction
von: Choe, Wonkyo, et al.
Veröffentlicht: (2025)

Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC
von: Liu, Qingyuan, et al.
Veröffentlicht: (2025)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
von: Dang, Pucheng, et al.
Veröffentlicht: (2025)

HardRace: A Dynamic Data Race Monitor for Production Use
von: Sun, Xudong, et al.
Veröffentlicht: (2024)

SyzRetrospector: A Large-Scale Retrospective Study of Syzbot
von: Bursey, Joseph, et al.
Veröffentlicht: (2024)

A Practical-Driven Framework for Transitioning Drive-by-Wire to Autonomous Driving Systems: A Case Study with a Chrysler Pacifica Hybrid Vehicle
von: Zhang, Dada, et al.
Veröffentlicht: (2024)

Who is in Charge here? Understanding How Runtime Configuration Affects Software along with Variables&Constants
von: Luo, Chaopeng, et al.
Veröffentlicht: (2025)

Testing Access-Control Configuration Changes for Web Applications
von: Xiang, Chengcheng, et al.
Veröffentlicht: (2025)

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
von: Yang, Chenyuan, et al.
Veröffentlicht: (2025)

AgentSight: System-Level Observability for AI Agents Using eBPF
von: Zheng, Yusheng, et al.
Veröffentlicht: (2025)

Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework
von: Denzinger, Tobias, et al.
Veröffentlicht: (2026)

Playing in the Sandbox: A Study on the Usability of Seccomp
von: Alhindi, Maysara, et al.
Veröffentlicht: (2025)

Symbol Resolution MatRs: Make it Fast and Observable with Stable Linking
von: Zakaria, Farid, et al.
Veröffentlicht: (2025)

Rusty Linux: Advances in Rust for Linux Kernel Development
von: Panter, Shane K., et al.
Veröffentlicht: (2024)

Towards Online Code Specialization of Systems
von: Anand, Vaastav, et al.
Veröffentlicht: (2025)

Empowering WebAssembly with Thin Kernel Interfaces
von: Ramesh, Arjun, et al.
Veröffentlicht: (2023)

Object as a Service: Simplifying Cloud-Native Development through Serverless Object Abstraction
von: Lertpongrujikorn, Pawissanutt, et al.
Veröffentlicht: (2024)

MNN-AECS: Energy Optimization for LLM Decoding on Mobile Devices via Adaptive Core Selection
von: Huang, Zhengxiang, et al.
Veröffentlicht: (2025)

Configuration Validation with Large Language Models
von: Lian, Xinyu, et al.
Veröffentlicht: (2023)

A Survey of Fuzzing Open-Source Operating Systems
von: Hu, Kun, et al.
Veröffentlicht: (2025)

sqlelf: a SQL-centric Approach to ELF Analysis
von: Zakaria, Farid, et al.
Veröffentlicht: (2024)

XBOF: A Cost-Efficient CXL JBOF with Inter-SSD Compute Resource Sharing
von: Yi, Shushu, et al.
Veröffentlicht: (2025)

It's Not the Size: Harness Design Determines Operational Stability in Small Language Models
von: Cho, Yong-eun
Veröffentlicht: (2026)

Compiling Away the Overhead of Race Detection
von: Paznikov, Alexey, et al.
Veröffentlicht: (2025)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
von: Gu, Yile, et al.
Veröffentlicht: (2025)

AIOps Solutions for Incident Management: Technical Guidelines and A Comprehensive Literature Review
von: Remil, Youcef, et al.
Veröffentlicht: (2024)

Designing Robust API Monitoring Solutions
von: D'Elia, Daniele Cono, et al.
Veröffentlicht: (2020)

The Missing Memory Hierarchy: Demand Paging for LLM Context Windows
von: Mason, Tony
Veröffentlicht: (2026)

Threadbox: Sandboxing for Modular Security
von: Alhindi, Maysara, et al.
Veröffentlicht: (2025)

Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
von: Srinivasan, Naveen, et al.
Veröffentlicht: (2025)

CrashFixer: A crash resolution agent for the Linux kernel
von: Mathai, Alex, et al.
Veröffentlicht: (2025)

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
von: Li, Shangyu, et al.
Veröffentlicht: (2025)

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
von: Ceravola, Antonello, et al.
Veröffentlicht: (2024)

Terminal Lucidity: Envisioning the Future of the Terminal
von: MacInnis, Michael, et al.
Veröffentlicht: (2025)

Recover as It is Designed to Be: Recovering from Compatibility Mobile App Crashes by Reusing User Flows
von: Kim, Donghwi, et al.
Veröffentlicht: (2024)

Taiji: A DPU Memory Elasticity Solution for In-production Cloud Environments
von: Zheng, Hao, et al.
Veröffentlicht: (2025)

Vmem: A Lightweight Hot-Upgradable Memory Management for In-production Cloud Environment
von: Zheng, Hao, et al.
Veröffentlicht: (2025)