Symposium Program

Thursday, October 2
Time 101A
09:00 - 09:15 Opening remarks
by Prof. Nan Guan, City University of Hong Kong
09:20 - 10:20 Keynote: "Distributed computing on bittide systems"
Speaker: Prof. Sanjay Lall, Stanford University
10:30 - 11:00 Coffee Break
11:00 - 12:30 MEMOCODE - Regular session 1
(Contract based design/reasoning)
11:00 - 11:30
Contract-based Component Selection Using Behaviors
Sheng-Jung Yu, Alberto Sangiovanni-Vincentelli
11:30 - 12:00
Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition
Sheng-Jung Yu, Alberto Sangiovanni-Vincentelli
12:00 - 12:20
Work-in-Progress: Formal Analysis of Fault Propagation in Complex Digital Systems
Damiano Zuccala, Mohammad Reza Heidari Iman, Katell Morin-Allory, Samuel Hon, Jean-Marc Daveau, Philippe Roche
12:30 - 13:30 Lunch Break
13:30 - 15:00 MEMOCODE - Regular session 2
(Timed systems, Task graph modeling,...)
13:30 - 14:00
Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined Vehicles
Ram Mohan Chowdary Kota, Ashiqur Rahaman Molla, Jaishree Mayank, Arnab Sarkar, Arijit Mondal, Soumyajit Dey
14:00 - 14:30
Coherence-Aware Task Graph Modeling for Realistic Application
Guochu Xiong, Xiangzhong Luo, Weichen Liu
14:30 - 14:50
Work-in-Progress: Optimising the Scheduling of System Level Logical Execution Time Systems
Jamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip
15:00 - 15:30 Coffee Break
15:30 - 17:00 MEMOCODE - Regular session 3
(Learning based systems)
15:30 - 16:00
Compositional training for Safe AI-based Cyber-Physical Systems
Sobhan Chatterjee, Saumya Shankar, Partha Roop
16:00 - 16:20
Work-in-Progress: Hyperproperty-Constrained Secure Reinforcement Learning
Ernest Bonnah, Luan Nguyen, Khaza Anuarul Hoque
16:20 - 17:00 Interaction/Discussion
Friday, October 3
Time 101A
09:00 - 10:15 Keynote: Formal Design of Safety-critical Embedded Systems
Speaker: Prof. Naijun Zhan, Peking University
10:30 - 11:00 Coffee Break
11:00 - 12:30 MEMOCODE Regular session 4
(Invited Papers)
11:00 - 11:30
Formal Methods for Cryogenic Cyber Physical Systems (CCPS)
Duleepa Thrimawithana, Partha Roop, Sobhan Chatterjee, Maryam Hemmati
11:30 - 12:00
Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq
Benjamin Lion, David Nowak
12:00 - 12:30
Tuning into my heart through wearables: Towards a novel formal cardiac digital twin
Partha Roop, Nathan Allen, Shahab Kazemi
12:30 - 13:30 Lunch Break
13:30 - 15:00 MEMOCODE Regular session 5
(Embedded and CPS, Security)
13:30 - 14:00
Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks
Steph Wu, Alex Baird, Partha Roop, Nathan Allen, Hammond Pearce
14:00 - 14:20
Work-in-Progress: Efficient compilation and execution of synchronous programs via type-state programming
Avinash Malik
14:20 - 14:40
Work-in-Progress: Automated Power Domain Insertion and Control in Dataflow Circuits
Martha Barker, Stephen A. Edwards, Martha Kim, Mark Santolucito
14:40 - 15:00 Closing remarks
Prof. Nan Guan, City University of Hong Kong
15:00 - 15:30 Coffee Break