@rossetate

Researcher and Consultant for Programming-Language Design and Implementation

 Ithaca, NY
rosstate.org/
Joined October 2016
  • Tweets76
  • Following149
  • Followers2.8K
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
Deedy
@deedydas16 Oct 2024
Compilers was was known to be the hardest CS class at Cornell which was hard as it is. We were handed a 8-page PDF at the start of sem for a language spec we'd be implementing by the end of sem, split into 6 parts. On part 5, the median was a 0/100 and most the class failed.
123
1,424
181
15,878
3,400,823
more replies
I later learned this PC chair gave me the highest workload of all the reviewers. My department then assigned me to the reading-intensive PhD-student admissions committee, after I had specifically requested any of the various non-reading-intensive service roles. (15/16)
7
38
2
2,422
118,299
Both were done in the name of standard process, with no awareness of how much structural bias was built into that standard process. Many people suffered due to their ignorance and inflexibility, and I was regularly excluded from my research community and my department. (16/16)
40
62
2
3,568
118,531
Fun project with @fmbck and @ceylonlang on how to easily and composably make subtyping systems with union and intersection types more powerful and yet still well-behaved and decidable!
Ceylon@ceylonlang28 Oct 2018
Paper exploring Ceylon's type system at OOPSLA 2018. Thanks, @rossetate! cs.cornell.edu/~ross/publica…
8
2
17
“Java is Unsound: The Industry Perspective” - a tech blog version of our OOPSLA paper medium.com/@rosstate/java-is… @nadamin @joshbloch
4
53
3
80
Here's our fun interview on Java/Scala unsoundness! Hopefully it's not too obvious how sleep deprived I was, heheh. Thx, @nadamin @tvdstorm! xitter.cf/Release_nl/status/8036…
Release@Release_nl29 Nov 2016
Splash 2016: Nada Amin and Ross Tate on breaking Java and Scala's type system ow.ly/Pp6N306DHvp @splashcon @ninjividual @nadamin
5
10
I hurl shurikens.
3
Load more