Manuel Rigger
where else to find them
what they talk about
all 8 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
all 7 in the filters
on a stage with
- Zhendong Su4×
- Arjun Pitchanathanonce
- Bonan Ruanonce
all 25 in the filters
who talks about the same things
- Zhendong Su25 talks
- Tobias Grosser14 talks
- Thomas Reps20 talks
- Theodoros Theodoridis5 talks
- Rupak Majumdar21 talks
- Benjamin Delaware18 talks
| title | conference | date |
|---|---|---|
| Flexible and Expressive Typed Path Patterns for GQL | OOPSLA 2025 | 2025-10-16 |
Defines FPPC — a formal type calculus for a core GQL fragment that adds property filters and imprecise (unknown) types, and statically flags queries that are… | ||
| Fuzzing the PHP Interpreter via Dataflow Fusion | USENIX Security '25 | 2025-08-13 |
FlowFusion is an automatic fuzzer that implements dataflow fusion by merging PHPT seed programs’ definitions and uses to create new, semantically richer tests… | ||
| 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… | ||
| Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction | OSDI 2023 | 2023-07-10 |
A tool called TxCheck builds statement-dependency graphs via SQL-level instrumentation and uses transactional oracle construction to generate semantically… | ||
| How to test software without writing tests | It Will Never Work in Theory (Online, April 2022) | 2022-04-27 |
Claims an automated tester called SQLancer that pairs random query generation (it reuses tools like SQLsmith) with a metamorphic oracle named ternary logic… | ||
| SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
SanRazor is a tool that identifies and removes redundant sanitizer checks by combining dynamic coverage profiles with static data-dependency trees, instruments… | ||
| SQLancer: Automatically Finding Bugs in Database Management Systems | SPLASH 2020 REBASE | 2020-11-16 |
SQLancer is an automated tester (Java/Maven, GitHub) that generates small databases and thousands of SQL queries and validates results with three concrete… | ||
| Finding Bugs in Database Systems via Query Partitioning | OOPSLA 2020 | 2020-11-15 |
Automated testing partitions a query into three cases — ϕ, NOT ϕ, and ϕ IS NULL — then recomposes them (using UNION ALL) and compares results; implemented as… | ||
| Fast Linear Programming through Transprecision Computing on Small and Sparse Data | OOPSLA 2020 | 2020-11-15 |
Analyzes ~500,000 simplex tableaux from Polly PPCG and HayStack and finds >99% of coefficients <9 bits, medians of 18 columns and 84% sparsity, with rare… | ||
| SQLancer: Finding Logic Bugs in Database Management Systems | Percona Live Online 2020 | 2020-10-20 |
An automated SQL fuzzer called SQLancer generates large numbers of random SQL workloads using grammar-aware mutations and runs them against real DBMS binaries… | ||
| nothing matches | ||