This is a GitHub repository for the CASL research group. CASL is pronounced like "castle" and stands for...
- Consistency-Aware Solvers and Languages
- Coordination-Avoiding Systems Lab
- Consistent and Available Systems Lab 😉
- Creative, Ambitious Systems and Languages
- CASL Ain't a Systems Lab
- Curses! Another Separation Logic! and/or CAusal Separation Logic
- Can't Allocate, Stack Limit
- ...
Our name symbolizes strength, safety, longevity, and a bit of magic and whimsy. 🏰