Rajeev Alur
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2020–2023
on a stage with
all 13 in the filters
who talks about the same things
- Caleb Stanford5 talks
- Konstantinos Kallas11 talks
- Alvin Cheung6 talks
- Nada Amin26 talks
- Aseem Rastogi7 talks
- Mayur Naik6 talks
| title | conference | date |
|---|---|---|
| MuCache: A General Framework for Caching in Microservice Graphs | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
MuCache is a framework that injects per-service cache managers and sidecar wrappers to serve hits locally without blocking requests, relying on a non-blocking… | ||
| Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates | OOPSLA 2023 | 2023-10-23 |
Mobius presents a concrete pipeline: seed a non‑recursive synthesizer, normalize the result, and perform iterative predicate unification guided by data… | ||
| Executing Microservice Applications on Serverless, Correctly | POPL 2023 | 2023-01-15 |
mu2sls is a Python framework that instruments service classes with transactions and asynchronous calls and emits serverless functions plus a logging and… | ||
| A Robust Theory of Series Parallel Graphs | POPL 2023 | 2023-01-15 |
Defines synchronized series-parallel graphs (SSPG) as two-terminal DAGs with sequential and unordered parallel composition plus a synchronization edge, and… | ||
| DiffStream: Differential Output Testing for Stream Processing Programs | OOPSLA 2020 | 2020-11-15 |
DiffStream is a Flink testing library that compares a sequential and a parallel run by a matching algorithm that decides stream equivalence up to an explicit… | ||
| nothing matches | ||