Sutter Hill Ventures Codepoint Fellow-In-Residence
with
Observe and
Luminary Cloud
Incoming PhD student at the University of Pennsylvania (Fall'24)
CV
Resume
Research
I'm interested in tackling problems at the intersection between programming languages and systems.
During my master's, I worked with Daan Leijen on prototyping an implementation of Perceus memory management for OCaml.
During my undergrad I was part of 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.
Publications
-
Exploring Perceus for OCaml
Elton Pinto, Daan Leijen
Higher-order, Typed, Inferred, Strict: ML Family Workshop, ICFP'23
-
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). 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). 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'21)
Work 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 May 2023)
- 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)