John Kastner
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2024
on a stage with
all 15 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization | OOPSLA 2024 | 2024-10-20 |
Cedar defines a concise DSL, a Rust evaluation engine, and a Lean formal model that proves key properties; policies compile into SMT in the sound and complete… | ||
| C to checked C by 3c | OOPSLA 2022 | 2022-12-05 |
3C is a static-analysis annotation tool that uses two novel algorithms, typ3c and boun3c, to infer Checked C pointer kinds and array bounds; it converts about… | ||
| nothing matches | ||