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

Achievements

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

Achievements

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

Organizations

@AIwaffle

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

My website

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 Loading

  1. wordshk_app wordshk_app Public

    An open Cantonese dictionary for iOS and Android built with Flutter

    Dart 35 6

  2. wordshk-tools wordshk-tools Public

    Tools for processing open Cantonese dictionary data provided words.hk

    Rust 18 3

  3. hangeul_ime hangeul_ime Public

    A Hangeul Input Method based on the Revised Romanization of Korean

    Swift 9

  4. cantonese_asr_eval cantonese_asr_eval Public

    Evaluation of Open Source Cantonese ASR Models in Diverse Domains

    Python 1

  5. renovar renovar Public

    RenovAR lets homeowners experience their final renovated home using Augmented Reality.

    C#

  6. dips dips Public

    Efficient Multi-Criteria Cantonese Word Segmentation

    C 1