Sotabase
Home
Researchers
Career
·
Instructor
,
Cherry Creek School District (Current)
2021–
·
Instructor
,
STEM School Highlands Ranch
2020–2021
·
Researcher And University Instructor
,
University of Colorado Boulder
2016–2020
Publications
(0)
C to checked C by 3c
Proc. ACM Program. Lang. · 2022
22
cited
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Proc. ACM Program. Lang. · 2024
21
cited
Computing correctly with inductive relations
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2022
16
cited
How We Built Cedar: A Verification-Guided Approach
SIGSOFT FSE Companion · 2024
6
cited
Sotabase