• Sign in
  • Sign up
conf.researchr.org / Yoshiki Takashima
  • PLDI 2021 profile
  • PLDI 2023 profile
  • POPL 2021 profile
  • SPLASH 2021 profile
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

Share
xSun 26 Mar 11:25
using conf.researchr.org (v1.59.1)
Support page
Sign Up