BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tate:Ross

Contributed to:

PLDI 20152015
PLDI 20142014
POPL 20132013
CAV 20112011
PLDI 20112011
PLDI 20102010
POPL 20102010
POPL 20092009
OOPSLA 20162016
ECOOP 20172017
OOPSLA 20172017
OOPSLA 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.