• Sign in
  • Sign up
conf.researchr.org / Adam Geller
  • ICFP/SPLASH 2025 profile
  • PLDI 2023 profile
  • POPL 2024 profile
  • SPLASH 2018 profile
Adam Geller

Registered user since Sat 13 Jun 2020

Name:Adam Geller
Country:Canada
Affiliation:Computer Science, University of British Columbia
Personal website: http://adamtgeller.com
Research interests:Programming Languages

Contributions

2025

SPLASH

  • Author of Type-Preserving Flat Closure Optimization within the OOPSLA-track

2024

POPL

  • Author of Indexed Types for a Statically Safe WebAssembly within the POPL-track

2023

PLDI

  • Author of Flux: Liquid Types for Rust within the PLDI Research Papers-track

2018

SPLASH

  • Author of Compiling Distributed System Specifications into Implementations within the Posters-track
Share
xThu 4 Sep 11:09
using conf.researchr.org (v1.70.0)
Support page
Sign Up