Timothy Sherwood
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Semi-Automated Translation of a Formal ISA Specification to Hardware | PLARCH 2023 | 2023-06-17 |
Prototype pipeline converts Sail ISA specs into Clash hardware by translating Sail’s monadic effects into monadic stream functions that compile to a naive… | ||
| Loop Rerolling for Hardware Decompilation | PLDI 2023 | 2023-06-17 |
Defines hardware loop rerolling to recover syntactic loops from netlists by combining clone detection with sketch-based program synthesis using Rosette, and… | ||
| CRISP: Critical Path Analysis of Large-Scale Microservice Architectures | USENIX ATC '22 | 2022-07-11 |
CRISP performs critical path analysis over Jaeger traces across ~40K endpoints at Uber, inferring last-return sinks despite clock skew and missing spans. It… | ||
| Optimistic Concurrency Control for Real-world Go Programs | USENIX ATC '21 | 2021-07-14 |
Gocc is a source-to-source transformer that replaces mutex-protected regions in Go with Hardware Transactional Memory using inter-procedural AST analysis to… | ||
| nothing matches | ||