Ross Tate

Cornell University

H-index: 11

North America-United States

About Ross Tate

Ross Tate, With an exceptional h-index of 11 and a recent h-index of 10 (since 2020), a distinguished researcher at Cornell University, specializes in the field of Programming Languages.

His recent articles reflect a diverse array of research interests and contributions to the field:

Transitioning from structural to nominal code with efficient gradual typing

Type stability in Julia: avoiding performance pathologies in JIT compilation

Evidenced Frames: A Unifying Framework Broadening Realizability Models

World age in Julia: optimizing method dispatch in the presence of eval

First-Order Logic for Flow-Limited Authorization

Ross Tate Information

University	Cornell University
Position	Assistant Professor in Computer Science at
Citations(all)	758
Citations(since 2020)	412
Cited By	519
hIndex(all)	11
hIndex(since 2020)	10
i10Index(all)	13
i10Index(since 2020)	10
Email	Access Email
University Profile Page	Cornell University
Google Scholar	View Google Scholar Profile

Ross Tate Skills & Research Interests

Programming Languages

Ross Tate

Cornell University

About Ross Tate

Ross Tate Information

Ross Tate Skills & Research Interests

Top articles of Ross Tate

Transitioning from structural to nominal code with efficient gradual typing

Fabian Muehlboeck

Ross Tate

Type stability in Julia: avoiding performance pathologies in JIT compilation

Benjamin Chung

Ross Tate

Jan Vitek

Evidenced Frames: A Unifying Framework Broadening Realizability Models

Liron Cohen

Ross Tate

World age in Julia: optimizing method dispatch in the presence of eval

Benjamin Chung

Ross Tate

Jan Vitek

First-Order Logic for Flow-Limited Authorization

Ethan Cecchetti

Ross Tate

Owen Arden

Co-Authors

Rajit Manohar

Sorin Lerner

Zachary Tatlock