Ross Tate

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