Yu Jiang
where else to find them
no profile links on file
what they talk about
all 11 in the filters
where they keep going back
- OOPSLA2 editions2023–2024
all 9 in the filters
on a stage with
all 79 in the filters
who talks about the same things
- Quan Zhang4 talks
- Chijin Zhou5 talks
- Shanshan Li2 talks
- Mingzhe Wang3 talks
- Zhendong Su25 talks
- Yiwen Xu3 talks
| title | conference | date |
|---|---|---|
| Keynote: Running the Agentic Grid: From Open Models to Operating Model | LF Energy Summit Europe 2026 | 2026-09-15 |
Europe needs €584 billion by 2030 and €1.2 trillion by 2040 yet 1,700 GW sit in connection queues and Germany spends €2.8 billion a year on congestion, so the… | ||
| USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Implements a Linux security extension that anchors policies at protected files, sockets and device nodes instead of process domains, compiles those templates… | ||
| Texergy: Textile-based Harvesting, Storing, and Releasing of Mechanical Energy for Passive On-Bo... | UIST 2025 | 2025-09-28 |
Texergy harvests energy from everyday clothing interactions, stores it in elastic rubber cords with soft textile ratchets and latches, and releases it later… | ||
| DDLumos: Understanding and Detecting Atomic DDL Bugs in DBMSs | USENIX ATC '25 | 2025-07-07 |
Analyzes 207 real-world Atomic DDL bugs and builds DDLUMOS, a tester that uses metadata conflict-guided DDL synthesis and graph-based consistency analysis to… | ||
| CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via... | USENIX ATC '25 | 2025-07-07 |
A framework that generates and prunes FDModel configurations by observing coverage changes and then drives focused testing with fault-handling guided fuzzing… | ||
| PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation(…) | OOPSLA 2024 | 2024-10-20 |
PolyJuice builds equivalent tensor-graph variants via equality saturation and selects the most simplified and most complex extracts to force different… | ||
| WingFuzz: Implementing Continuous Fuzzing for DBMSs | USENIX ATC 2024 | 2024-07-10 |
WingFuzz implements continuous DBMS fuzzing with a grammar-derived mutator, rapid-commit fuzzing that targets only functions affected by commits, and a… | ||
| Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction | OOPSLA 2023 | 2023-10-23 |
Vulcan is a language-agnostic postprocessor built on Perses that repeatedly applies three auxiliary reducers—identifier replacement, subtree replacement guided… | ||
| Building Dynamic System Call Sandbox with Partial Order Analysis | OOPSLA 2023 | 2023-10-23 |
Builds a runtime system-call sandbox called DBox that instruments program binaries to gradually disable system calls at identified reduction points using… | ||
| Towards Better Semantics Exploration for Browser Fuzzing | OOPSLA 2023 | 2023-10-23 |
SaGe automatically extracts a CFG from W3C specs, refines it with browser-execution feedback into a production-context sensitive grammar so the fuzzer avoids… | ||
| Memory and Compilers | EMSOFT 2022 | 2022-10-07 |
Three concrete systems and their numbers: iNVMFS is a lightweight NVRAM file system that checkpoints both program and storage state, uses… | ||
| Theory and Security | EMSOFT 2022 | 2022-10-07 |
Four short papers: Online Reset adds an external reset strategy to STL monitors, implements it in Breach, and shows it recovers distinct violation episodes… | ||
| Verification and Machine Learning | EMSOFT 2022 | 2022-10-07 |
An MILP encoding for quantized DNNs is implemented in Python with a commercial MILP backend and beats SMT baselines on standard benchmarks (315 instances… | ||
| KSG: Augmenting Kernel Fuzzing with System Call Specification Generation | USENIX ATC '22 | 2022-07-11 |
KSG automatically generates Syzlang system call specs by using eBPF/kprobe tracing to extract module entry points, then path-sensitive, symbolic analysis to… | ||
| RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing | USENIX ATC '21 | 2021-07-14 |
RIFF reduces fuzzing overhead by moving runtime computations to instrumentation-time and by turning per-block coverage writes into single-instruction… | ||
| nothing matches | ||