Jiasi Shen — accepted AI-conference papers

2026

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification

Shangyu Li, Juyong Jiang, Tiancheng Zhao, Jiasi Shen

AAAI 2026technical

We introduce OSVBench, a new benchmark for evaluating Large Language Models (LLMs) on the task of generating complete formal specifications for verifying the functional correctness of operating system kernels. This benchmark is built upon a real-world operating system kernel, Hyperkernel, and consis

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

ProfiX: Improving Profile-Guided Optimization in Compilers with Graph Neural Networks

Huiri Tan, Juyong Jiang, Jiasi Shen

NeurIPS 2025poster

Profile-guided optimization (PGO) advances the frontiers of compiler optimization by leveraging dynamic runtime information to generate highly optimized binaries. Traditional instrumentation-based profiling collects accurate profile data but often suffers from heavy runtime overhead. In contrast, sa…

Cited by 0 Source ↗Scholar ↗