Travelled to:1 × Canada
1 × Italy
1 × Spain
1 × United Kingdom
4 × USA
Collaborated with:F.Muehlboeck S.Lerner ∅ M.Stepp N.Amin B.Greenman A.Leung J.Chen C.Hawblitzel S.L.Jr. B.Nkounkou R.Manohar Z.Tatlock
Talks about:type (6) system (3) gradual (2) optim (2) equal (2) java (2) polymorph (1) intersect (1) existenti (1) wildcard (1)
Person: Ross Tate
DBLP: Tate:Ross
Contributed to:
20152014
2013
20112011201020102009
2016
201720172018Wrote 12 papers:
- PLDI-2015-LongfieldNMT #self #specification
- Preventing glitches and short circuits in high-level self-timed chip specifications (SLJ, BN, RM, RT), pp. 270–279.
- PLDI-2014-GreenmanMT #bound #morphism #polymorphism
- Getting F-bounded polymorphism into shape (BG, FM, RT), p. 12.
- POPL-2013-Tate #semantics
- The sequential semantics of producer effect systems (RT), pp. 15–26.
- CAV-2011-SteppTL #validation
- Equality-Based Translation Validator for LLVM (MS, RT, SL), pp. 737–742.
- PLDI-2011-TateLL #java #type system
- Taming wildcards in Java’s type system (RT, AL, SL), pp. 614–627.
- PLDI-2010-TateCH #assembly #object-oriented
- Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.
- POPL-2010-TateSL #compilation #generative #optimisation #proving
- Generating compiler optimizations from proofs (RT, MS, SL), pp. 389–402.
- POPL-2009-TateSTL #approach #optimisation #similarity
- Equality saturation: a new approach to optimization (RT, MS, ZT, SL), pp. 264–276.
- OOPSLA-2016-AminT #java #null #pointer #scala #type system
- Java and scala's type systems are unsound: the existential crisis of null pointers (NA, RT), pp. 838–848.
- ECOOP-2017-Tate #type system
- Retargeting Gradual Typing (Invited Talk) (RT), p. 1.
- OOPSLA-2017-MuehlboeckT #type system
- Sound gradual typing is nominally alive and well (FM, RT), p. 30.
- OOPSLA-2018-MuehlboeckT #type system
- Empowering union and intersection types with integrated subtyping (FM, RT), p. 29.