Ke Wang
where else to find them
speakerdeck:kevinwang15
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA4 editions2020–2025
all 7 in the filters
on a stage with
all 41 in the filters
who talks about the same things
- Linzhang Wang6 talks
- Yu Wang16 talks
- Fengjuan Gao2 talks
- Chao Wang17 talks
- Xin Zhang21 talks
- Yu Jiang21 talks
| 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… | ||
| Incremental Equality Saturation | EGRAPHS 2025 | 2025-06-16 |
Introduces an incremental egraph with per–e-class versions and a top-K analysis (K=2) so rewrites only target e-classes created by the current version and… | ||
| 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… | ||
| 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… | ||
| Data Caching for Enterprise-Grade Petabyte-Scale OLAP | USENIX ATC 2024 | 2024-07-10 |
Alluxio local cache embeds on-node SSDs and a page store to serve reads for Presto and HDFS, cutting network I/O and API calls. Deployed at Uber and Meta for… | ||
| 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… | ||
| Adaptive Online Cache Capacity Optimization via Lightweight Working Set Size... | USENIX ATC '23 | 2023-07-10 |
Cuki is a tiny, thread-safe cuckoo-style sketch that estimates working set size and item-repetition ratio online for variable-size objects, with provable error… | ||
| How to Foster Cross-Community Collaboration – Lessons Learned | Open Source Leadership Summit @ Open Source Summit North America 2023 | 2023-05-10 |
Collaboration integrates Alluxio with Presto to deliver an SSD caching feature driven by a prototype (Raptor) that targets a 10x speedup; work starts end of… | ||
| 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… | ||
| Serverless Platform for Large Scale Mini-Apps: From Knative to Production | KubeCon + CloudNativeCon North America 2019 | 2019-11-18 |
Ant Financial describes a production serverless stack built on Knative that fixes cold starts, cost and scale. They implement a pod pool prewarm that injects… | ||
| nothing matches | ||