Alexa VanHatttum
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her.
https://cs.wellesley.edu/~avh/
https://cs.wellesley.edu/~avh/
Adrian's "Advanced Compilers" is really great, and comes with its own learning-focused compiler IR
www.cs.cornell.edu/courses/cs61...
www.cs.cornell.edu/courses/cs61...
November 30, 2024 at 6:32 PM
Adrian's "Advanced Compilers" is really great, and comes with its own learning-focused compiler IR
www.cs.cornell.edu/courses/cs61...
www.cs.cornell.edu/courses/cs61...
Link to attend: https://www.meetup.com/llvm_wict/events/293949678/
Career chat and Tech talk with Professor Alexa VanHattum, Thu, Jul 13, 2023, 6:00 PM | Meetup
**Technical Talk: Lightweight, Modular Verification for Instruction Selection**
Language-level guarantees—like runtime isolation for WebAssembly modules—are only as strong
www.meetup.com
July 12, 2023 at 2:41 PM
Link to attend: https://www.meetup.com/llvm_wict/events/293949678/