| 2024 | Advancing Formal Verification: Fine-Tuning LLMs for Translating Natural Language Requirements to CTL Specifications. Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu |
| 2024 | Cost-Effective Cyber-Physical System Prototype for Precision Agriculture with a Focus on Crop Growth. Pawan Kumar, Hokeun Kim |
| 2024 | Decoding Attack Behaviors by Analyzing Patterns in Instruction-Based Attacks using gem5. Muhammad Awais, Maria Mushtaq, Lirida Naviner, Florent Bruguier, Jawad Haj-Yahya, Pascal Benoit |
| 2024 | Enhancing the VTR Flow: Integration of ABC9 via Yosys for Better Technology Mapping and Optimization. Navid Jafarof, Kenneth B. Kent |
| 2024 | International Workshop on Rapid System Prototyping, RSP 2024, Raleigh, NC, USA, October 3, 2024 |
| 2024 | Invited Paper-Circuit Partitioning with Reinforcement Learning and Edge-Based Initialization. Ka Chuen Cheng, Umair F. Siddiqi, Gary Gréwal, Shawki M. Areibi |
| 2024 | Non-interfering On-line and In-field SoC Testing. Tobias Strauch |
| 2024 | Page size exploration for RISC-V systems: the case for HPC. Eduardo Tomasi, César Fuguet, Christian Fabre, Frédéric Pétrot |
| 2024 | Temporal Staging for Correct-by-Construction Cryptographic Hardware. Yakir Forman, William L. Harrison |
| 2024 | Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification. Tobias Strauch |