Matthew Sotoudeh
where else to find them
website:https://masot.net/
github:matthewsot
what they talk about
all 6 in the filters
where they keep going back
- Onward!2 editions2020–2025
all 6 in the filters
on a stage with
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Pathological Cases for a Class of Reachability-Based Garbage Collectors | OOPSLA 2025 | 2025-10-16 |
Paper proves that any reachability-based GC that implements a realistic mutator‑observer interface has a pathological program forcing it to either long GC… | ||
| Literate Tracing | Onward! 2025 | 2025-10-12 |
Argues that documentation built from annotated, concrete executions makes huge codebases understandable: literate traces walk real runs, show input→output, and… | ||
| Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Sidekick exposes concise side-channel signalling from a middlebox to an endpoint so encrypted transports like QUIC can get in-network hints without changing… | ||
| A Survey of Weak Reasoning Assistants | HATRA 2022 | 2022-12-05 |
Argues that a practical middle ground between raw LaTeX and fully sound proof assistants exists and is useful, surveying concrete tools: a LaTeX linting… | ||
| Abstract Neural Networks | SPLASH 2022 | 2022-12-05 |
The paper introduces Abstract Neural Networks that soundly overapproximate a DNN while using far fewer nodes by replacing weight matrices with elements of an… | ||
| Abstract Neural Networks | SAS 2020 | 2020-11-18 |
Paper claims a procedure to compress a large DNN into a smaller Abstract Neural Network (ANN) that soundly over-approximates every input-output behavior, and… | ||
| Analogy-Making as a Core Primitive in the Software Engineering Toolbox | Onward! 2020 | 2020-11-15 |
Presents Sifter, a new analogy-making algorithm that represents code and docs as triplet structures plus a small DSL of update rules, and applies it to three… | ||
| nothing matches | ||