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 orders 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 working on developing program reasoning at scale, using both traditional static analysis, automated reasoning, language models, and random testing. Previously, I worked on Cedar , which is a DSL for writing authorization rules, as well as outlining 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.
I help run the wonderful DC Systems , which is a local meetup to chat about systems, performance, testing, and formal methods. If you’d like give a talk, please reach out!
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