conf.researchr.org / Gregor Richards
Registered user since Wed 10 Dec 2014
Name:Gregor Richards
Country:Canada
Affiliation:University of Waterloo
Personal website: https://the.gregor.institute/
Research interests:Gradual Typing, Just-in-Time Compilation
Contributions
2021
SPLASH
2020
2019
ECOOP
- Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Artifacts-track
- Committee Member in External Review Committee within the Research Papers-track
- Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Research Papers-track
2017
SPLASH
- Author of The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing within the OOPSLA-track
- Session Chair of Optimizing Compilation and Verification (part of OOPSLA)
- Committee Member in Program Committee within the OOPSLA-track
- Session Chair of Language Design (part of OOPSLA)