Ross Tate

According to our database, Ross Tate authored at least 22 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Type stability in Julia: avoiding performance pathologies in JIT compilation.

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

Proc. ACM Program. Lang., 2021

Transitioning from structural to nominal code with efficient gradual typing.

Fabian Muehlboeck, Ross Tate

Proc. ACM Program. Lang., 2021

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version).

Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek

CoRR, 2021

Evidenced Frames: A Unifying Framework Broadening Realizability Models.

Liron Cohen, Étienne Miquey, Ross Tate

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

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

Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

Proc. ACM Program. Lang., 2020

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version).

Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

CoRR, 2020

First-Order Logic for Flow-Limited Authorization.

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

The Effects of Effects on Constructivism.

Liron Cohen, Sofia Abreu Faro, Ross Tate

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2018

Empowering union and intersection types with integrated subtyping.

Fabian Muehlboeck, Ross Tate

Proc. ACM Program. Lang., 2018

Strict and lazy semantics for effects: layering monads and comonads.

Andrew K. Hirsch, Ross Tate

Proc. ACM Program. Lang., 2018

2017

Sound gradual typing is nominally alive and well.

Fabian Muehlboeck, Ross Tate

Proc. ACM Program. Lang., 2017

Retargeting Gradual Typing (Invited Talk).

Ross Tate

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

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

Nada Amin, Ross Tate

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Preventing glitches and short circuits in high-level self-timed chip specifications.

Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Getting F-bounded polymorphism into shape.

Ben Greenman, Fabian Muehlboeck, Ross Tate

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

The sequential semantics of producer effect systems.

Ross Tate

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Equality saturation: using equational reasoning to optimize imperative functions.

Ross Tate

PhD thesis, 2012

2011

Equality Saturation: A New Approach to Optimization

Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner

Log. Methods Comput. Sci., 2011

Taming wildcards in Java's type system.

Ross Tate, Alan Leung, Sorin Lerner

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Equality-Based Translation Validator for LLVM.

Michael Stepp, Ross Tate, Sorin Lerner

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Generating compiler optimizations from proofs.

Ross Tate, Michael Stepp, Sorin Lerner

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Inferable object-oriented typed assembly language.

Ross Tate, Juan Chen, Chris Hawblitzel

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010