Yoshiki Takashima

Registered user since Wed 10 Mar 2021

Name: Yoshiki Takashima

Country: United States

Affiliation: Carnegie Mellon University

GitHub: https://github.com/YoshikiTakashima

Research interests: Program Synthesis, Verification


PLDI 2021 Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the PLDI-track
VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track