Cesar A. Stuardo
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Transactuations: Where Transactions Meet the Physical World | USENIX ATC '19 | 2019-07-10 |
Identifies that smart‑home apps suffer irreversible mismatches between device and software state and proposes transactuation, an abstraction that enforces a… | ||
| ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs... | FAST '19 | 2019-02-25 |
A toolchain combines a static/dynamic program analysis that flags scale-dependent data structures with a single-process cluster (SPC), a global event-driven… | ||
| nothing matches | ||