Ross Tate

Registered user since Wed 15 Apr 2015

Name: Ross Tate

Affiliation: Cornell University

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

Research interests: Programming Languages

Contributions

SPLASH 2020 Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
PLDI 2020 Co-chair in SRC Committee within the Student Research Competition-track
Committee Member in External Review Committee within the PLDI Research Papers-track
Student Research Competition Co-Chair in Organizing Committee
SPLASH 2019 Committee Member in Review Committee within the OOPSLA-track
PLDI 2019 Student Research Competition Co-Chair in Organizing Committee
Co-chair in Student Research Competition (SRC) within the Student Research Competition (SRC)-track
Scala 2018 Committee Member in Program Committee within the Scala 2018-track
SPLASH 2018 Mentor 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 2018 Author of Strict and Lazy Semantics for Effects: Layering Monads and Comonads within the Research Papers-track
IWACO 2017 Committee Member in Program Committee within the IWACO 2017-track
PLDI 2018 Committee Member in Program Committee
CurryOn 2016 Author of Redesigning Type Systems for Industry OO within the CurryOn -track
SPLASH 2017 Author of Sound Gradual Typing Is Nominally Alive and Well within the OOPSLA-track
ECOOP 2017 Author of Retargeting Gradual Typing within the ECOOP Invited Speakers-track
PLMW Committee Member in Organizing Committee
Author of Student Interaction Activity within the PLMW-track
SPLASH 2016 Author 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 2015 Author of Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications within the Research Papers-track