Yoshiki Takashima
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | EMNLP | 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 |
| 2024 | VMCAI | Automatically Enforcing Rust Trait Properties. | Twain Byrnes, Yoshiki Takashima, Limin Jia |
| 2023 | FMCAD | Mariposa: Measuring SMT Instability in Automated Program Verification. | Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
| 2021 | PLDI | SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. | Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu |
| 2019 | CCS | VeriSketch: Synthesizing Secure Hardware Designs with Timing-Sensitive Information Flow Properties. | Armaiti Ardeshiricham, Yoshiki Takashima, Sicun Gao, Ryan Kastner |