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

2024

SPLASH

Author of Crabtree: Rust API Test Synthesis Guided by Coverage and Type within the OOPSLA 2024-track

VMCAI

Author of Automatically Enforcing Rust Trait Properties within the VMCAI 2024-track

2023

ESEC/FSE

Author of PropProof: Free Model-Checking Harnesses from PBT within the Industry Papers-track

PLDI

Author in Artifact Evaluation Committee within the Research Artifacts-track

2021

SPLASH

Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the SIGPLAN Papers-track

PLDI

Author of SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis within the PLDI-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI-track