Xujie Si
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Barış Bayazıtonce
- Changwoo Minonce
- Insu Yunonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Toward Repository-Level Program Verification with Large Language Models | LMPL 2025 | 2025-10-12 |
Introduces a repository-scale verification benchmark RVBench with ~750 proof tasks and >12,000 proof lines drawn from four real Verus projects, and a pipeline… | ||
| A Case Study on the Effectiveness of LLMs in Verification with Proof Assistants | LMPL 2025 | 2025-10-12 |
Evaluation uses two Rocq codebases hs-to-coq (187 proofs) and Verdi (579 proofs), calling LLMs (GPT-4o-mini and DeepSeek/DeepSec family) once per goal and… | ||
| APISan: Sanitizing API Usages through Semantic Cross-Checking | USENIX Security '16 | 2016-08-10 |
APISan automatically infers correct API usage by mining semantic patterns from code, building relaxed symbolic execution abstractions (api calls, arguments… | ||
| nothing matches | ||