About Me
I’m a computer science researcher in the field of Automated Reasoning. My principal vision is exploring how we can develop computer systems that are order of magnitude more trustworthy than our current designs. My current research focuses on:
- Programming Language Theory/Design
- Formal Verification
- Automated Testing
- Security
I currently work as an applied scientist at Amazon Web Services, in the Automated Reasoning Group. I’m developing Cedar , which is a DSL for writing authorization rules, as well as working on a new software engineering workflow we call “Verification-Guided Development”. I’m also deeply interesting in computing history, and developing a better vision of why our systems evolved the way they did.
Contact
I can reached at:
- Mastodon: @aje @discuss.systems
- Twitter: @aaroneline
- Github aaronjeline
- Professional Email: aeline@amazon.com
Publications
- How We Built Cedar: A Verification-Guided Approach - FSE 2024
- Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization - OOPSLA 2024
- C to Checked C by 3C - OOPSLA 2022 (Distinguished Paper 🥇)
- Computing correctly with inductive relations - PLDI 2022