Hi, I'm Elton

I'm a Masters student at Georgia Tech.

Research

I'm broadly interested in studying the intersection between systems and programming languages.

I'm currently working with Dr. Vivek Sarkar on extending AutoMPHC to support intra-node parallelism using OpenMP. I'm also working with Daan Leijen on implementing the Perceus reference counting system for OCaml.

During my undergrad I was part of the TINKER lab where I was advised by Dr. Thomas Conte and Dr. Jeff Young. I wrote a space-efficient implementation of the quantum verification of matrix products (QVMP) algorithm.

View publications

Experience

I've interned on the Privacy Language Experience (PLex) team and the PyTorch Dev Infra team at Meta, and the Innovation Lab at NCR.

View resume
View cv

Involvements

  • dependently-typed: Founder and President (August 2021 to present)
  • HexLabs (formerly HackGT):
    • Co-director (November 2020 to November 2021)
    • Horizons event-lead (January 2020 to March 2020)
    • Catalyst mentor (March 2019)
    • Tech team member (December 2018 to November 2021)
  • Teaching assistantship:
    • CS 3210: Design of Operating Systems (Spring 2022 [Head TA], Fall 2021, Spring 2021)
    • CS 2110: Computer Organization and Programming (Fall 2020, Spring 2020)
    • CS 1301: Intro to Computing (Fall 2019)

You can find my projects on GitHub.

Posts

Publications

Talks

  • Intro to compilers 03 Sep 2021
    dependently-typed meeting
    slides | video
  • Going Reactless* with Web Components 16 Jul 2020
    NCR Global Hackathon and Unconference 2020
    slides