Konstantinos Kallas
where else to find them
what they talk about
all 10 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
all 8 in the filters
on a stage with
all 45 in the filters
who talks about the same things
- Stephen Mell2 talks
- Rajeev Alur5 talks
- Arjun Guha10 talks
- Osbert Bastani9 talks
- David Schmitz9 talks
- Caleb Stanford5 talks
| title | conference | date |
|---|---|---|
| Controlling Opaque-Component Effects with Semisolates and Try | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Introduces semisolates and the unprivileged command try that capture, inspect, stack, and selectively apply filesystem effects from opaque components while… | ||
| hS: Speculative Script Reordering at Subprocess Granularity | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
hS is a system that speculatively executes shell commands out of order by running command instances in sandboxed layers and tracing system calls to detect real… | ||
| Fractal: Fault-Tolerant Shell-Script Distribution | NSDI '26 | 2026-05-04 |
FRACTAL implements fault-tolerant distribution for unmodified shell scripts by treating each worker-assigned fragment as an opaque subgraph and tracking only… | ||
| Opportunistically Parallel Lambda Calculus | OOPSLA 2025 | 2025-10-16 |
Proposes an evaluation strategy and core calculus (Opportunistic Lambda Calculus) that dispatches independent external calls as holes, resolves them… | ||
| The Koala Benchmarks for the Shell: Characterization and Implications | USENIX ATC '25 | 2025-07-07 |
Koala is a curated benchmark suite of real POSIX shell programs with permanently stored inputs and automated, configurable tooling that installs dependencies… | ||
| Rajomon: Decentralized and Coordinated Overload Control for Latency-Sensitive... | NSDI '25 | 2025-04-28 |
RAJOMON is a market-style, decentralized overload controller where clients attach tokens and prices to requests and services charge per-interface prices… | ||
| 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… | ||
| DiSh: Dynamic Shell-Script Distribution | NSDI 2023 | 2023-04-17 |
DiSh is a shim that analyzes and transforms existing shell scripts into a distributed dataflow graph, then schedules pieces to cluster nodes while each node… | ||
| 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… | ||
| Durable Functions: Semantics for Stateful Serverless | OOPSLA 2021 | 2021-10-17 |
Durable Functions extends FaaS with actors, workflows and entities and claims to give strong, fault free semantics while running on ephemeral workers 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 | ||