Jingling Xue
where else to find them
linkedin:jingling-xue-46b275149
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA3 editions2023–2025
all 4 in the filters
on a stage with
all 42 in the filters
who talks about the same things
- Dongjie He3 talks
- Yulei Sui8 talks
- Yu Jiang21 talks
- Yu Wang16 talks
- Xiaoxing Ma7 talks
- Tian Tan9 talks
| title | conference | date |
|---|---|---|
| MetaKernel: Enabling Efficient Encrypted Neural Network Inference Through Unified MVM(…) | OOPSLA 2025 | 2025-10-16 |
MetaKernel: Enabling Efficient Encrypted Neural Network Inference through Unified MVM and Convolution (Video, OOPSLA2 2025)
Peng Yuan, Yan Liu, JianXin Lai… | ||
| Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification | OOPSLA 2025 | 2025-10-16 |
MoYe is a regularization-based graph simplification that prunes edges that cannot lie on any CFL-reachable source-to-sink path by over-approximating the… | ||
| Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment(…) | OOPSLA 2024 | 2024-10-20 |
Reinterprets access-path generation as a Context-Free Language and casts field sensitivity as an IDE problem, implements the idea in IDEDroid and compares it… | ||
| Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability | OOPSLA 2024 | 2024-10-20 |
An iterative-epoch framework identifies grammar transitive symbols and collapses on-the-fly cycles in CFL-reachability graphs, reducing worklist blowup and… | ||
| A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitiv... | OOPSLA 2023 | 2023-10-23 |
A new preanalysis called DebloaterX uses three container-usage patterns and a limited field sensitive DFA to mark container objects as context dependent or… | ||
| Machine Learning Acceleration in an Embedded World | CODES+ISSS 2022 | 2022-10-07 |
Four short systems with concrete claims and artifacts: a crossbar-friendly DNN pruning method that extracts reusable segment shapes to map many filters into… | ||
| Selective Context-Sensitivity for k-CFA with CFL-Reachability | SAS 2021 | 2021-10-17 |
Presents a concrete method that uses CFL-reachability pre-analysis to decide which program nodes need k-CFA context-sensitivity, builds a fast verifier that… | ||
| Automatic Synthesis of Data-Flow Analyzers | SAS 2021 | 2021-10-17 |
A tool called DFASy automatically synthesizes intraprocedural, path‑insensitive data‑flow analyzers from a CFG plus expected before/after facts, producing flow… | ||
| Scaph: Scalable GPU-Accelerated Graph Processing with Value-Driven Differential... | USENIX ATC '20 | 2020-07-15 |
Scaph is a GPU-accelerated system that partitions graphs into host-resident subgraphs and adaptively classifies each iteration whether a subgraph is high-value… | ||
| nothing matches | ||