Ross Tate

Registered user since Wed 15 Apr 2015

Name: Ross Tate

Country: United States

Affiliation: Cornell University

Personal website: http://www.cs.cornell.edu/~ross/

Research interests: Programming Languages

Contributions

SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
PLDI 2019Student Research Competition Co-Chair in Organizing Committee
Co-chair in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
Scala 2018Committee Member in Program Committee within the Scala 2018-track
SPLASH 2018Mentor in Mentors within the Breakfasts-track
Author of Empowering Union and Intersection Types with Integrated Subtyping within the OOPSLA-track
Author of Empowering Union and Intersection Types with Integrated Subtyping within the Artifacts-track
Author of Invited Talk 2 within the DocSymposium-track
ICFP 2018Author of Strict and Lazy Semantics for Effects: Layering Monads and Comonads within the Research Papers-track
IWACO 2017Committee Member in Program Committee within the IWACO 2017-track
PLDI 2018Committee Member in Program Committee
CurryOn 2016Author of Redesigning Type Systems for Industry OO within the CurryOn -track
SPLASH 2017Author of Sound Gradual Typing Is Nominally Alive and Well within the OOPSLA-track
ECOOP 2017Author of Retargeting Gradual Typing within the ECOOP Invited Speakers-track
PLMWCommittee Member in Organizing Committee
Author of Student Interaction Activity within the PLMW-track
SPLASH 2016Author of Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers within the OOPSLA-track
Session Chair of Session 9 (part of SPLASH-I)
PLDI 2015Author of Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications within the Research Papers-track