Online verification of commutativity. - Aditi Kabra; Dietrich Geisler; Adrian Sampson (TAPAS@SPLASH, 2020)

Geometry types for graphics programming. - Dietrich Geisler; Irene Yoon 001; Aditi Kabra; Horace He; Yinnon Sanders; Adrian Sampson (Proc. ACM Program. Lang., 2020)