| VeriSketch: Synthesizing secure hardware designs with timing-sensitive information flow properties A Ardeshiricham, Y Takashima, S Gao, R Kastner Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019 | 30 | 2019 |
| Syrust: automatic testing of rust libraries with semantic-aware program synthesis Y Takashima, R Martins, L Jia, CS Păsăreanu Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 24 | 2021 |
| Mariposa: Measuring SMT Instability in Automated Program Verification Y Zhou, J Bosamiya, Y Takashima, J Li, M Heule, B Parno 2023 Formal Methods in Computer-Aided Design (FMCAD), 178-188, 2023 | 4 | 2023 |
| Vert: Verified equivalent rust transpilation with few-shot learning AZH Yang, Y Takashima, B Paulsen, J Dodds, D Kroening arXiv preprint arXiv:2404.18852, 2024 | 2 | 2024 |
| Propproof: Free model-checking harnesses from PBT Y Takashima Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
| Syrust: Automatic testing of rust libraries with semantic-aware program synthesis–technical report Y Takashima, RC Goncalves Martins, L Jia, C Pasareanu Carnegie Mellon University, 2021 | 2 | 2021 |
| Automatically Enforcing Rust Trait Properties T Byrnes, Y Takashima, L Jia International Conference on Verification, Model Checking, and Abstract …, 2023 | 1 | 2023 |
| Mariposa: Measuring SMT Instability in Automated Program Verification (Technical Report) Y Zhou, J Bosamiya, Y Takashima, J Li, M Heule, B Parno Carnegie Mellon University, 2023 | 1 | 2023 |
| Testing and Verifying Rust's Next Mile Y Takashima Carnegie Mellon University, 2024 | | 2024 |
