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

Registered user since Sat 13 Jun 2020

Name:Adam T. Geller
Country:Canada
Affiliation: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
xSat 25 Oct 04:20
using conf.researchr.org (v1.72.1)
Support page
Sign Up