Dietrich Geisler

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Computer Vision

Online Environment

Functional Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Aditi Kabra, Dietrich Geisler, Adrian Sampson
Online verification of commutativity. TAPAS@SPLASH (2020)
Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson
Geometry types for graphics programming. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)