Yoshiki Takashima

According to our database, Yoshiki Takashima authored at least 11 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models.

Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

CourtReasoner: Can LLM Agents Reason Like Judges?

Sophia Simeng Han, Yoshiki Takashima, Shannon Zejiang Shen, Chen Liu, Yixin Liu, Roque K. Thuo, Sonia Knowlton, Ruzica Piskac, Scott J. Shapiro, Arman Cohan

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

2024

Crabtree: Rust API Test Synthesis Guided by Coverage and Type.

Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu

Proc. ACM Program. Lang., 2024

Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems.

Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro

CoRR, 2024

VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning.

Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening

CoRR, 2024

Automatically Enforcing Rust Trait Properties.

Twain Byrnes, Yoshiki Takashima, Limin Jia

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

PropProof: Free Model-Checking Harnesses from PBT.

Yoshiki Takashima

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Mariposa: Measuring SMT Instability in Automated Program Verification.

Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2021

Development of a Dengue Virus Serotype-Specific Non-Structural Protein 1 Capture Immunochromatography Method.

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

Sensors, 2021

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.

Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties.

Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019