VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. - Armaiti Ardeshiricham; Yoshiki Takashima; Sicun Gao; Ryan Kastner (CCS, 2019)

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. - Yoshiki Takashima; Ruben Martins; Limin Jia 001; Corina S. Pasareanu (PLDI, 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; et al. (Sensors, 2021)

Mariposa: Measuring SMT Instability in Automated Program Verification. - Yi Zhou 025; Jay Bosamiya; Yoshiki Takashima; Jessica Li; Marijn Heule; Bryan Parno (FMCAD, 2023)

PropProof: Free Model-Checking Harnesses from PBT. - Yoshiki Takashima (ESEC/SIGSOFT FSE, 2023)

Automatically Enforcing Rust Trait Properties. - Twain Byrnes; Yoshiki Takashima; Limin Jia 001 (VMCAI (2), 2024)

VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning. - Aidan Z. H. Yang; Yoshiki Takashima; Brandon Paulsen; Josiah Dodds; Daniel Kroening (CoRR, 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)

Crabtree: Rust API Test Synthesis Guided by Coverage and Type. - Yoshiki Takashima; Chanhee Cho; Ruben Martins; Limin Jia 001; Corina S. Pasareanu (Proc. ACM Program. Lang., 2024)