Aditi Kabra
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Adrian Sampsononce
- André Platzeronce
- Bineet Ghoshonce
all 20 in the filters
who talks about the same things
- Irene Yoon5 talks
- Adrian Sampson5 talks
- André Platzer5 talks
- Jonathan Aldrich17 talks
- Adriana Schulz4 talks
- Pavel Panchekha8 talks
| title | conference | date |
|---|---|---|
| Safety and Security | EMSOFT 2022 | 2022-10-07 |
A verified train controller models the full FRA kinematics in KeYmaera X, uses Taylor approximations, ghost differential equations and iterative bootstrapping… | ||
| Geometry Types for Graphics Programming | OOPSLA 2020 | 2020-11-15 |
Defines geometry types that tag vectors with coordinate scheme, geometric object, and reference frame, and implements them in a new language called Gator with… | ||
| nothing matches | ||