Yoshiki Takashima

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Temporal Properties

Hardware Designs

Program Synthesis

Protect Sensitive

Top Venues

Publications

Twain Byrnes, Yoshiki Takashima, Limin Jia
Automatically Enforcing Rust Trait Properties. VMCAI (2) (2024)
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. CoRR (2024)
Yoshiki Takashima
PropProof: Free Model-Checking Harnesses from PBT. ESEC/SIGSOFT FSE (2023)
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD (2023)
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. PLDI (2021)
Kanaporn Poltep, Emi E. Nakayama, Tadahiro Sasaki, Takeshi Kurosu, Yoshiki Takashima, Juthamas Phadungsombat, Nathamon Kosoltanapiwat, Borimas Hanboonkunupakarn, Sarin Suwanpakdee, Hisham A. Imad, Narinee Srimark, Chiaki Kitamura, Atsushi Yamanaka, Akio Okubo, Tatsuo Shioda, Pornsawan Leaungwutiwong
Development of a Dengue Virus Serotype-Specific Non-Structural Protein 1 Capture Immunochromatography Method. Sensors 21 (23) (2021)
Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner
VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. CCS (2019)