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 publicationsExperience
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 resumeView cv
Involvements
- dependently-typed: Founder and President (August 2021 to present)
- HexLabs (formerly HackGT):
- 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
- Implementing flat_map in Rust 22 Jun 2020
Publications
-
An Implementation of the Quantum Verification of Matrix Products Algorithm
Elton Pinto, Jeffrey Young, Thomas Conte, Austim 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, TINKER Lab, 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, and Thomas Conte.
2021 International Conference on Rebooting Computing (ICRC 2021)