[go: up one dir, main page]
Skip to content
View ansonmiu0214's full-sized avatar
☕
☕
25 followers · 23 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report ansonmiu0214

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
ansonmiu0214/README.md

Hi there 👋

  • 🏘️ London, U.K.
  • 💼 Software Engineer, Bloomberg
  • 🎓 Master of Engineering in Computing, Imperial College London
    • 🥇 1st Class Honours, Dean's List, ...
  • 🧰 Stack:
    • 😄 Python, TypeScript, JavaScript, C++
    • 🙂 Java, C
    • 🤔 Haskell, Go, Swift, Rust
  • 💡 Interests: type theory, programming language design, static analysis

📚 Publications

  1. Type-Safe Web Programming Using Routed Multiparty Session Types in TypeScript

    Master's Thesis, supervised by Prof. Nobuko Yoshida

  2. Generating Interactive WebSocket Applications in TypeScript arXiv

    PLACES 2020: Proceedings of the 12th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software

  3. Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types arXiv

    CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

Pinned Loading

  1. STScript-2020/cc21-artifact STScript-2020/cc21-artifact Public

    Artifact for "Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types"

    Jupyter Notebook 1

  2. TypeScript-Multiparty-Sessions TypeScript-Multiparty-Sessions Public

    A mono-repo for a session type API code generation toolchain for modern web programming.

    Jupyter Notebook 4 2

  3. DotPruner DotPruner Public

    Pruning redundant nodes from DOT graphs

    Python

  4. aspect-based-sentiment-analysis aspect-based-sentiment-analysis Public

    A solution for parsing sentiment insights from news documents for the GSAM Team.

    Python 2 1

  5. imperial-meng-computing-thesis imperial-meng-computing-thesis Public

    Publications related to my Master's Thesis at Imperial College London

    TeX 2

  6. vscode-text-align vscode-text-align Public

    Horizontally align text in VS Code!

    TypeScript 2