Dietrich Geisler

According to our database, Dietrich Geisler authored at least 2 papers in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Geometry types for graphics programming.

Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson

Proc. ACM Program. Lang., 2020

Online verification of commutativity.

Aditi Kabra, Dietrich Geisler, Adrian Sampson

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, 2020