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)

Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces. - Aditi Kabra; Stefan Mitsch; André Platzer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

CESAR: Control Envelope Synthesis via Angelic Refinements. - Aditi Kabra; Jonathan Laurent; Stefan Mitsch; André Platzer (TACAS (1), 2024)