• Sign in
  • Sign up
conf.researchr.org / Yoshiki Takashima
  • ASE 2025 profile
  • ESEC/FSE 2023 profile
  • PLDI 2021 profile
  • PLDI 2023 profile
  • POPL 2021 profile
  • POPL 2024 profile
  • SPLASH 2021 profile
  • SPLASH 2024 profile
Yoshiki Takashima

Registered user since Wed 10 Mar 2021

Name:Yoshiki Takashima
Country:United States
Affiliation:Yale Law School
Personal website: https://yoshikitakashima.github.io
GitHub: https://github.com/YoshikiTakashima
Research interests:Programming Languages, Logic, CS and Law

Contributions

2025

ASE

  • Author of VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models within the Research Papers-track

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
Share
xMon 27 Oct 05:23
using conf.researchr.org (v1.72.1)
Support page
Sign Up