| 09:00 - 09:15 |
Opening Remarks
by Prof. Nan Guan, City University of Hong Kong
|
| 09:15 - 10:30 |
Keynote: "Towards Determinism in Language Models"
Speaker: Prof. Partha Roop, University of Auckland
|
| 10:30 - 11:00 |
Coffee Break |
| 11:00 - 12:30 |
Session 1, MEMOCODE
Distributed and Learning-Based CPS
|
| 11:00 - 11:30 |
Contract-Based Consistency and Availability Analysis for Distributed Cyber-Physical Systems
Yifeng Xiao, Charles D. Lutz, Mauricio Castillo-Effen, Pierluigi Nuzzo
|
| 11:30 - 12:00 |
Stabilizing the bittide by Tuning Controllers Under Topology and Latency Constraints
Chuanshang Yin, Supratim Gupta, Sobhan Chatterjee, Nathan Allen, Partha Roop
|
| 12:00 - 12:20 |
Work In Progress Explaining Counterexamples in Neural Network Verification Using Decision Trees
Deborshi Chakrabarti, Aarti Kumari, Sruti Goswami, Ansuman Banerjee, Swarup Kumar Mohalik, Kumar Madhukar
|
| 12:30 - 13:30 |
Lunch Break |
| 13:30 - 15:00 |
Session 2, MEMOCODE
Security and Verification of Cyber-Physical Systems
|
| 13:30 - 14:00 |
Detection of Loop-Induced Arithmetic Vulnerability in Solidity via Invariant-Guided Symbolic Execution
Md Tauseef Alam, Kartik Kaushik, Raju Halder, Abyayananda Maiti, Samrat Mondal, Neeraj Singh
|
| 14:00 - 14:30 |
Automated Extraction and Validation of RISC-V ISA Models using Binary Lifting and Processor Verification
Dakota Cappel, Nicholas Lucindo, Alan Skrypek, Ruochen Dai, Tuba Yavuz
|
| 14:30 - 14:50 |
Work In Progress LLM-Guided Interactive Verification of Synchronous Programs
Akshay Tukaram Rao, Klaus Schneider
|
| 15:00 - 15:30 |
Coffee Break |
| 15:30 - 17:00 |
Session 3, MEMOCODE
Energy and Performance Optimizations
|
| 15:30 - 16:00 |
Hop and Skip: A Design Space Exploration Strategy for the Analysis of Energy and Throughput Tradeoffs of Dataflow Networks
Abrarul Karim, Joachim Falk, Jürgen Teich
|
| 16:00 - 16:30 |
Bi-Objective (Exec. Time, Energy) Minimization
Alain Girault, Jia-Jie Wang
|
| 16:30 - 17:00 |
Interactive Discussion
|
