Meet ApplyKite Twin, the application assistant that learns with you

Meet your Twin, it learns with you

Your Twin learns with you

Launch week codes:30% off annual Pro20% off monthly Pro

Ends in00h00m00s

Yuting Wang

Tenure-Track Associate Professor

Shanghai Jiao Tong University

China

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Articles (7)

Year:

2027

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2023

Collaborators (2)

Jérémie Koenig

Yale University

UNITED STATES

View details

Zhong Shao

Professor

Yale University

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Yuting Wang

Research Interests

Make your next move.

Articles (7)

Clight2Rust: Translating a Subset of C into Safe Rust with a Small Trusted Runtime

CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks

Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra

Generic Reasoning of the Locally Nameless Representation

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules

Towards a Framework for Developing Verified Assemblers for the ELF Format

Verified Transformation of Continuation-Passing Style into Static Single Assignment Form

Collaborators (2)

Jérémie Koenig

Zhong Shao

Make your next move.