Hi, I'm Elton

I'm a Master's student at Georgia Tech.

Research

I'm interested in tackling problems at the intersection between programming languages and systems.

I'm currently working on the following projects:

• Replacing OCaml's GC with Perceus
  Advised by Daan Leijen and Prof. Vivek Sarkar
• Mudos, a novel device-driver model that gives the kernel more control over the virtualization and scheduling of compute devices like GPUs, TPUs, and custom accelerators
  Advised by Prof. Alexey Tumanov

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

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.

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

• Shots fired 18 Feb 2023
• Implementing flat_map in Rust 22 Jun 2020

Publications

• Perceus for OCaml
  Elton Pinto
  M.S. Thesis. Georgia Institute of Technology, May 2023.
  
• Neko: A quantum map-filter-reduce programming language
  Elton Pinto
  Student Research Competition (SRC). Proceedings of the 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'23)
  abstract poster
• An Implementation of the Quantum Verification of Matrix Products Algorithm
  Elton Pinto, Jeffrey Young, Thomas Conte, Austin Adams, Eugene Dumitrescu
  4th International Workshop on Quantum Resource Estimation, QRE 2022. Proceedings of the 49th Annual International Symposium on Computer Architecture (ISCA'22)
• An Implementation of the Quantum Verification of Matrix Products Algorithm
  Elton Pinto
  B.S. Thesis. Georgia Institute of Technology, May 2022.
  Third place (Explore category), UROP Symposium 2022
• Enabling a Programming Environment for an Experimental Ion Trap Quantum Testbed
  Austin Adams, Elton Pinto, Jeffrey Young, Creston Herold, Eugene Dumitrescu, Thomas Conte
  2021 International Conference on Rebooting Computing (ICRC 2021)

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