Michael Pradel
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- OOPSLA3 editions2018–2024
on a stage with
all 8 in the filters
who talks about the same things
- Johannes Bader4 talks
- Satish Chandra8 talks
- Zhendong Su25 talks
- Ben L. Titzer11 talks
- Marek Chalupa3 talks
- Kylie Stradley6 talks
| title | conference | date |
|---|---|---|
| Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks | OOPSLA 2024 | 2024-10-20 |
Builds bytecode instrumentation that record-reduce-replays Wasm executions, uses a shadow memory optimization plus call-state filtering to shrink traces from… | ||
| Bugs in Quantum computing platforms: an empirical study | OOPSLA 2022 | 2022-12-05 |
Study inspects 223 real-world bugs from 18 open-source quantum platforms and finds 39.9% quantum-specific defects, concentrated in optimization and IR and… | ||
| DeepBugs - A Learning Approach to Name-based Bug Detection | OOPSLA 2018 | 2018-11-07 |
Uses simple code transformations to seed millions of training examples, learns identifier embeddings with word2vec and concatenates those vectors into a… | ||
| Freezing the Web: A Study of ReDoS Vulnerabilities in JavaScript-based Web Servers | USENIX Security '18 | 2018-08-15 |
A methodology links module-level regexp flaws to live Node.js servers by finding vulnerable NPM regexes (module deemed vulnerable if a crafted 80,000‑char… | ||
| nothing matches | ||