Follow
Ross Tate
Ross Tate
Assistant Professor in Computer Science at Cornell University
Verified email at cs.cornell.edu - Homepage
Title
Cited by
Cited by
Year
Equality saturation: a new approach to optimization
R Tate, M Stepp, Z Tatlock, S Lerner
Principles of Programming Languages 44 (1), 264-276, 2009
2982009
Equality-based translation validator for LLVM
M Stepp, R Tate, S Lerner
Computer Aided Verification: 23rd International Conference, CAV 2011á…, 2011
802011
Java and Scala's type systems are unsound: the existential crisis of null pointers
N Amin, R Tate
Acm Sigplan Notices 51 (10), 838-848, 2016
692016
Getting F-bounded polymorphism into shape
B Greenman, F Muehlboeck, R Tate
Proceedings of the 35th ACM SIGPLAN Conference on Programming Languageá…, 2014
592014
Sound gradual typing is nominally alive and well
F Muehlboeck, R Tate
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017
512017
The Sequential Semantics of Producer Effect Systems
R Tate
Principles of Programming Languages 48 (1), 2013
472013
Generating compiler optimizations from proofs
R Tate, M Stepp, S Lerner
Principles of Programming Languages 45 (1), 389-402, 2010
402010
Taming wildcards in Java's type system
R Tate, A Leung, S Lerner
Programming Language Design and Implementation, 614-627, 2011
362011
Empowering union and intersection types with integrated subtyping
F Muehlboeck, R Tate
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
292018
Inferable object-oriented typed assembly language
R Tate, J Chen, C Hawblitzel
Programming Language Design and Implementation 45 (6), 424-435, 2010
152010
Mixed-Site Variance
R Tate
122013
World age in Julia: optimizing method dispatch in the presence of eval
J Belyakova, B Chung, J Gelinas, J Nash, R Tate, J Vitek
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
112020
The Effects of Effects on Constructivism
L Cohen, SA Faro, R Tate
Electronic Notes in Theoretical Computer Science 347, 87-120, 2019
92019
Type stability in Julia: avoiding performance pathologies in JIT compilation
A Pelenitsyn, J Belyakova, B Chung, R Tate, J Vitek
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-26, 2021
82021
Convenient explicit effects using type inference with subeffects
R Tate, D Leijen
Technical Report MSR-TR-2010-80, Microsoft Research, 2010
72010
Transitioning from structural to nominal code with efficient gradual typing
F Muehlboeck, R Tate
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
62021
Translating between PEGs and CFGs
R Tate, M Stepp, Z Tatlock, S Lerner
Technical Report CS2008-0931, University of California, San Diego, 2008
62008
Evidenced Frames: A Unifying Framework Broadening Realizability Models
L Cohen, ╔ Miquey, R Tate
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
42021
A Flexible Framework for Type Inference with Existential Quantification
R Tate, J Chen, C Hawblitzel
Technical Report MSR-TR-2008-184. https://www. microsoft. com/en-us/researchá…, 2008
42008
First-Order Logic for Flow-Limited Authorization
AK Hirsch, PHA de Amorim, E Cecchetti, R Tate, O Arden
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 123-138, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20