My Work
Publications
Title | Venue |
---|---|
VOLPIC: Verifying Lifted Pascal in Coq
Extended Abstract Poster |
PLDI SRC 2024 |
Prettybird: A DSL for Programmatic Font Compilation
Extended Abstract Poster |
PLDI SRC 2023 |
Self-Supervised Unseen Object Instance Segmentation via Long-Term Robot Interaction | RSS 2023 |
Connecting the Brains via Virtual Eyes: Eye-Gaze Directions and Inter-brain Synchrony in VR | CHI 2021 |
NFTree: Art Without Emissions | JIPP Vol. 2 Issue 4 |
Writing More
- A Brief Survey of Formal Models of Concurrency - arXiv Preprint
- The Verification of ARMv7 memset - Progress Report
- Theoretical Physics Notes
-
Transcription of "Relativity: The Special and General Theory" by Albert Einstein - LaTeX source
A nice quote from this book that I enjoyed - "No fairer destiny could be allotted to any physical theory, than that it should of itself point out the way to the introduction of a more comprehensive theory, in which it lives on as a limiting case." - Interactive Object Segmentation in Mobile Robots - URSA Proposal December 2021
- A Brief Analysis of the Apollo Guidance Computer - arXiv Preprint - LaTeX source
Teaching
As an undergraduate, I taught two semester-long compiler design workshops, Practical Compiler Design in Spring 2023 and Introduction to Compiler Design in Fall 2023.
Additionally, I've given a number of educational outreach talks in fields such as formal verification and quantum computing through the UTD Computer Security Group (of which I am an officer) and the Dallas Hackers' Association.
Projects
Games
Web Ring Is it really a web ring yet? Not sure, gotta wait til it catches on...
Name | Link | Notes |
---|---|---|
Software Languages Security Lab | ||
Dr. Kevin Hamlen | https://personal.utdallas.edu/~hamlen | Principal Investigator |
Ilan Buzzetti | https://ilanb.xyz | Graduate Student |
Saquib Irtiza | https://www.linkedin.com/in/saquib-irtiza | Graduate Student |
UTD | ||
Elliot Tarbet | https://tar.bet | CSG Officer |
Payton Harmon | http://www.walmartdeli.com | Former CSG President |
Jerry Teng | https://www.linkedin.com/in/jerryteng01 | Former CSG Officer |
Willie Chalmers III | https://www.williecubed.me | |
Dent | ||
Sidh Suchdev | https://sidhsuchdev.com | |
Alex Bellon | https://alex-bellon.com |
Miscellaneous
- My Bookshelf
- My Record Collection
- Where Have I Been?
- Transcriptions of "The International Library of Music" Public Domain Sheet Music