conf.researchr.org / Yoshiki Takashima
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

Contributions

PLDI 2023 Author in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2021 Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the SIGPLAN Papers-track
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