Concepedia

Ross Tate

RT

Statistics

Publications

14

Citations

551

H-Index

12

Active since

2009

Affiliations

Cornell University(Current)

University of California San Diego

Northeastern University

Czech Technical University in Prague

Ross Tate is an author at Cornell University specializing in computer science, computing, and programming languages.

ORCID

Publications per year

2009–2021

14

Publications

14

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · 2009 · 185 citations

, , +14

Equality saturation

Ross Tate, Michael Stepp, Zachary Tatlock et al. · ACM SIGPLAN Notices · 2009 · 57 citations

, , +14

Java and scala's type systems are unsound: the existential crisis of null pointers

Nada Amin, Ross Tate · 2016 · 42 citations · Full text

, , +16

The sequential semantics of producer effect systems

Ross Tate · 2013 · 39 citations

, , +10

Equality Saturation: A New Approach to Optimization

Ross Tate, Michael Stepp, Zachary Tatlock et al. · Logical Methods in Computer Science · 2011 · 39 citations · Full text

, , +16

1–5 of 14