Sotabase

Career

· Instructor, Cherry Creek School District (Current)2021–
· Instructor, STEM School Highlands Ranch2020–2021
· Researcher And University Instructor, University of Colorado Boulder2016–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