Ross Tate

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Topics

Quantifier Free

Predicate Calculus

Top Venues

Proc. ACM Program. Lang.

Publications

Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Decidable Subtyping of Existential Types for Julia. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). CoRR (2021)
Fabian Muehlboeck, Ross Tate
Transitioning from structural to nominal code with efficient gradual typing. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
Type stability in Julia: avoiding performance pathologies in JIT compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Liron Cohen, Étienne Miquey, Ross Tate
Evidenced Frames: A Unifying Framework Broadening Realizability Models. LICS (2021)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version). CoRR (2020)
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
World age in Julia: optimizing method dispatch in the presence of eval. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CoRR (2020)
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
First-Order Logic for Flow-Limited Authorization. CSF (2020)
Liron Cohen, Sofia Abreu Faro, Ross Tate
The Effects of Effects on Constructivism. MFPS (2019)
Andrew K. Hirsch, Ross Tate
Strict and lazy semantics for effects: layering monads and comonads. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Fabian Muehlboeck, Ross Tate
Empowering union and intersection types with integrated subtyping. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Fabian Muehlboeck, Ross Tate
Sound gradual typing is nominally alive and well. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Ross Tate
Retargeting Gradual Typing (Invited Talk). ECOOP (2017)
Nada Amin, Ross Tate
Java and scala's type systems are unsound: the existential crisis of null pointers. OOPSLA (2016)
Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate
Preventing glitches and short circuits in high-level self-timed chip specifications. PLDI (2015)
Ben Greenman, Fabian Muehlboeck, Ross Tate
Getting F-bounded polymorphism into shape. PLDI (2014)
Ross Tate
The sequential semantics of producer effect systems. POPL (2013)
Michael Stepp, Ross Tate, Sorin Lerner
Equality-Based Translation Validator for LLVM. CAV (2011)
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner
Equality Saturation: A New Approach to Optimization Log. Methods Comput. Sci. 7 (1) (2011)
Ross Tate, Alan Leung, Sorin Lerner
Taming wildcards in Java's type system. PLDI (2011)
Ross Tate, Juan Chen, Chris Hawblitzel
Inferable object-oriented typed assembly language. PLDI (2010)
Ross Tate, Michael Stepp, Sorin Lerner
Generating compiler optimizations from proofs. POPL (2010)
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner
Equality saturation: a new approach to optimization. POPL (2009)