Linzhang Wang
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA4 editions2020–2025
on a stage with
all 11 in the filters
who talks about the same things
| title | conference | date |
|---|---|---|
| Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations | OOPSLA 2025 | 2025-10-16 |
Synchronized Behavior Checking cross-validates pairs of optimizations by mutating programs and checking co-occurring and complementary coordinated behaviors so… | ||
| Solving Floating-Point Constraints with Continuous Optimization | PLDI 2025 | 2025-06-16 |
Grater converts floating‑point formulas into continuous, piecewise‑linear objective functions and uses gradient descent with random starts to find global… | ||
| Finding Cross-rule Optimization Bugs in Datalog Engines | OOPSLA 2024 | 2024-10-20 |
Automated blackbox testing uses Incremental Rule Evaluation (IRE) to build Datalog programs rule by rule, evaluate each new rule in isolation as a reference… | ||
| Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis(…) | OOPSLA 2024 | 2024-10-20 |
Compares CuBERT, CodeBERT, GGNN and Graph Sandwiches on two concrete tasks—alias prediction (must/may/must-not) and semantic equivalence—using a new CodeSem… | ||
| An Explanation Method for Models of Code | OOPSLA 2023 | 2023-10-23 |
An Explanation Method for Models of Code (Video, OOPSLA2 2023)
Yu Wang, Ke Wang, and Linzhang Wang
(Nanjing University, China; Visa Research, USA; Nanjing… | ||
| Learning Semantic Program Embeddings with Graph Interval Neural Network | OOPSLA 2020 | 2020-11-15 |
Paper presents Graph Interval Neural Network that learns program embeddings by iteratively abstracting control flow graphs into interval-based abstraction… | ||
| nothing matches | ||