Michael Greenberg
where else to find them
x:Allnodes
what they talk about
all 14 in the filters
where they keep going back
- OOPSLA3 editions2020–2024
all 8 in the filters
on a stage with
all 37 in the filters
who talks about the same things
- Aaron Bembenek4 talks
- Stephen Chong6 talks
- Arjun Guha10 talks
- Ben Greenman9 talks
- Matthias Felleisen10 talks
- Amal Ahmed25 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… | ||
| 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… | ||
| How to give a good talk | PLMW @ POPL 2025 | 2025-01-19 |
Presents a concrete inform educate entertain framework: start by motivate up front with a clear problem–solution or value claim (efficiency, correctness… | ||
| Making Formulog Fast: An Argument for Unconventional Datalog Evaluation | OOPSLA 2024 | 2024-10-20 |
Compiles Formulog to Soufflé and replaces semi-naive batching with eager evaluation, a concurrent work stealing DFS that specializes rules on novel facts and… | ||
| Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs | OOPSLA 2024 | 2024-10-20 |
Presents MultiPL-T, a pipeline that generates semi‑synthetic training data by using a Code LLM to synthesize unit tests for 130K vetted Python functions… | ||
| Validator Management Made Simple | Cosmoverse 2023 | 2023-10-02 |
Allnodes presents a noncustodial validator management system that runs ~45,000 nodes across 80 protocols (30 Cosmos chains) and holds ~$2B AUM, offering a… | ||
| From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Se... | POPL 2023 | 2023-01-15 |
Presents a progression of four solver implementations — prosynth, monosynth, loopsynth, and ASPsynth — that move from CEGIS with provenance to a custom… | ||
| How to Safely Use Extensionality in Liquid Haskell | Haskell Symposium 2022 | 2022-09-15 |
Shows that the naive functional extensionality axiom in Liquid Haskell is inconsistent with semantic subtyping and polymorphism, gives a concrete… | ||
| Mass Adoption: How To Use Crypto For Payments | AIBC Balkans/CIS 2022 | 2022-08-22 |
Panelists report a real-world push: a crypto payment app reaches 270,000 users, Visa-linked flows hit $2.5 billion processed last year, and several operators… | ||
| Gradually Structured Data | OOPSLA 2021 | 2021-10-17 |
A formal core language for “gradually structured data” introduces open and closed algebraic datatypes, two new runtime types—unknown datatype and unknown open… | ||
| Solver-based Gradual Type Migration | OOPSLA 2021 | 2021-10-17 |
TypeWhich automates gradual type migration by emitting GTLC constraints solved with an off‑the‑shelf MaxSMT-based constraints backend instead of custom… | ||
| Formulog: Datalog for SMT-Based Static Analysis | OOPSLA 2020 | 2020-11-15 |
Formulog is a DSL that combines Datalog, an ML-like term fragment, and SMT solving and a prototype runtime implements it. The authors implement three analyses… | ||
| nothing matches | ||