| 2021 | LICS | Evidenced Frames: A Unifying Framework Broadening Realizability Models. | Liron Cohen, tienne Miquey, Ross Tate |
| 2017 | ECOOP | Retargeting Gradual Typing (Invited Talk). | Ross Tate |
| 2016 | OOPSLA | Java and scala's type systems are unsound: the existential crisis of null pointers. | Nada Amin, Ross Tate |
| 2015 | PLDI | Preventing glitches and short circuits in high-level self-timed chip specifications. | Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate |
| 2014 | PLDI | Getting F-bounded polymorphism into shape. | Ben Greenman, Fabian Muehlboeck, Ross Tate |
| 2013 | POPL | The sequential semantics of producer effect systems. | Ross Tate |
| 2011 | CAV | Equality-Based Translation Validator for LLVM. | Michael Stepp, Ross Tate, Sorin Lerner |
| 2011 | PLDI | Taming wildcards in Java's type system. | Ross Tate, Alan Leung, Sorin Lerner |
| 2010 | PLDI | Inferable object-oriented typed assembly language. | Ross Tate, Juan Chen, Chris Hawblitzel |
| 2010 | POPL | Generating compiler optimizations from proofs. | Ross Tate, Michael Stepp, Sorin Lerner |
| 2009 | POPL | Equality saturation: a new approach to optimization. | Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner |