Alec Davis

email github
alecdavis at killerrabbit.xyz https://github.com/Ki11erRabbit

Education

Brigham Young Univerity

  • April 2026 (Graduation)
  • Bachelor of Science: Computer Science, Emphasis in Software Engineering
Extracurricular Activities
  • Linux Club President
Coursework
  • Concepts of Programming Languages
  • Software Design
  • Systems Programming
  • Algorithm Design and Analysis
  • Technical Writing
  • Data Structures and Algorithms

Programming Languages Known

In no particular order

  • C++
  • C
  • Rust
  • Koka
  • Haskell
  • Python
  • SQL
  • Java
  • Bash
  • Go
  • Coq

Experience

BYU Static Analysis Lab

Research Assistant (April 2023 - December 2024) Provo, UT
  • Developed multiple non-trivial programs for static analysis
  • Developed a state of the art parser using fixpoints
  • Assisted in development of an abstract interpreter

BYU Intro to Programming TA

Teacher’s Assistant (August 2022 - December 2022) Provo, UT
  • Helped beginners develop programming skills.
  • Provided help novices to develop their problem solving skills
  • Solved technical problems when setting up Python on student machines

Projects

Programming Projects

Cocoa (August 2024 - Present)

Primary Developer: GitHub

  • Designed a systems language inspired by Java, C#, C++, and Rust
  • Implemented JIT Compilation through Cranelift
  • Wrote a bytecode compiler

RUNE (Rust UNder Emacs) (July 2024)

Contributor: GitHub

  • Built a code generator for fuzz testing Rune against Emacs
  • Provided code for string checking

Koka Community (April 2024 - Present)

Contributor and Maintainer: GitHub

  • Developed key datastructures that are missing from Koka’s Standard Library
    • VectorList: a growable array datastructure
    • Deque: a growable ring buffer array datastructure
    • Heap: a Min-Max Heap that allows for it to be used as a Double-Ended Priority Queue with zero compromises
  • Developing bindings for the same linear algebra libraries as Numpy (BLAS)

Commands as Arrow Types (February 2024 - April 2024)

Primary Developer: GitHub

  • Designed an experimental shell that generalized unix commands as function types
  • Developed multiple libraries across multiple languages

SEVI Text Editor (Structural Editor VIsual) (August 2023 - Novemeber 2023)

Primary Developer: GitHub

  • Designed abstraction layers
  • Wrote a language server client
  • Worked with Git Submodules
  • Learned why rewrites are sub-optimal on large projects

C with Classes (September 2022 - Novemeber 2022)

Primary Developer: GitHub

  • Wrote a recursive decent parser by hand
  • Designed a simpler C++ language that could be compiled into C code
  • Built a compiler from my own C++ flavor to C

Other Projects

Linux Workstation (January 2022 - Present)

Systems Administrator

  • Used Linux as Workstation OS
  • Learned how to maintain and upgrade systems
  • Learned how to configure a NixOS system

Skills/Interests/Achievements

  • Eagle Scout at age 15
  • Japanese communication and writing
  • Homestay program in Japan
  • Guitar