| 2025 |
A* |
conf |
EMNLP
Sophia Simeng Han, Yoshiki Takashima, Shannon Zejiang Shen, Chen Liu, Yixin Liu, Roque K. Thuo, Sonia Knowlton, Ruzica Piskac, Scott J. Shapiro, Arman Cohan
|
| 2025 |
A* |
conf |
ASE
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
|
| 2024 |
— |
conf |
VMCAI (2)
Twain Byrnes, Yoshiki Takashima, Limin Jia
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu
|
| 2024 |
J |
jnl |
CoRR
Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro
|
| 2024 |
J |
jnl |
CoRR
Aidan Z. H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
|
| 2023 |
B |
conf |
FMCAD
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
|
| 2023 |
— |
conf |
ESEC/SIGSOFT FSE
Yoshiki Takashima
|
| 2021 |
J |
jnl |
Sensors
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
|
| 2021 |
A* |
conf |
PLDI
Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu
|
| 2019 |
A* |
conf |
CCS
Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner
|