Skip to content

Tristan Dyer

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2019–2019

Best venue rank

A

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2019SCBounded Verification of Sparse Matrix Computations.Tristan Dyer, Alper Altuntas, John W. Baugh Jr.