Ross Tate -

Registered user since Wed 15 Apr 2015

Name:Ross Tate

Country:United States

Personal website:http://rosstate.org/

Twitter:https://twitter.com/rossetate

GitHub:https://github.com/RossTate

Research interests:Programming Languages

Contributions

SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
SPLASH 2021	Author of Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation within the OOPSLA-track Author of Transitioning from Structural to Nominal Code with Efficient Gradual Typing within the OOPSLA-track
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
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
Scala 2018	Committee Member in Program Committee within the Scala 2018-track
PLDI 2018	Committee Member in Program Committee
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
IWACO 2017	Committee Member in Program Committee within the IWACO 2017-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)
CurryOn 2016	Author of Redesigning Type Systems for Industry OO within the CurryOn -track
PLMW	Committee Member in Organizing Committee Author of Student Interaction Activity within the PLMW-track
PLDI 2015	Author of Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications within the Research Papers-track