Skip to content
View AlienKevin's full-sized avatar
48 followers · 9 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro

Organizations

@AIwaffle
Block or Report

Block or report AlienKevin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
AlienKevin/README.md

Kevin Xiang Li

View My Resume

Always at the cutting edge: AR/VR/Mobile Development

I am passionate about leveraging cutting-edge technologies like AR/VR and Flutter to create innovative applications. My projects include:

  • RenovAR Home Renovation App: Created an AR app using Unity and Meta Quest 3's passthrough technology, allowing users to seamlessly visualize and plan interior design by integrating virtual furniture into real spaces. Supported replacing real furniture with virtual ones and rendered real-time outdoor views for enhanced realism.
  • Cantonese Dictionary Mobile App: Developed a cross-platform mobile app using Flutter and Rust, supporting efficient search across 15K+ dictionary entries. Optimized user experience with local SQLite and cloud DynamoDB databases. Gained over 5K monthly active users.

State-of-the-art program synthesis algorithm

My research at the Michigan Intelligent Programming Lab led to a novel program synthesis algorithm that outperformed the previous state-of-the-art method for web automation by 6x and solved 2.5x more benchmarks. The algorithm lifts program interpretation from evaluating one program at a time to simultaneously evaluating all programs. I presented this work as the first author at POPL 2024, a top conference in the field, and was invited to give a talk at MIT PLR 2024 as one of 9 distinguished papers.

Solid foundation in computer systems

I have a strong foundation in computer systems, with experience in operating systems, compilers, and programming languages. My coursework included Programming Languages, Compiler Construction, Intro to Operating Systems, Computer Security, and more. I led a team of 3 to implement a memory manager, concurrent file server, and thread library in C++, and developed comprehensive testing infrastructure to ensure system stability.

Pinned

  1. wordshk_app wordshk_app Public

    An open Cantonese dictionary for iOS and Android built with Flutter

    Dart 25 4

  2. wordshk-tools wordshk-tools Public

    Tools for processing open Cantonese dictionary data provided words.hk

    Rust 13 1

  3. hangeul_ime hangeul_ime Public

    A Hangeul Input Method based on the Revised Romanization of Korean

    Swift 8

  4. electric-fields electric-fields Public

    Visualizing electric fields in Elm

    Elm 28 3

  5. elm-rust-template elm-rust-template Public

    A convenient template for creating a progressive web app using Elm and Rust

    JavaScript 26 1

  6. apple_cantonese_asr_test apple_cantonese_asr_test Public

    Test the performance of Apple's Cantonese speech recognition service on public datasets

    Jupyter Notebook 4 1