Symposium Program
Thursday, 21 Sep 2023
=====================
9:00 - 10:00 Keynote 1: Edward A. Lee
10:00 -10:30 Coffee
10:30 - 12:30 Technical Session 1: Machine Learning
---------------------------------------------------------------
Title: Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
Authors: Pauline Blohm, Julius Adelt and Paula Herber
Affiliations: University of Münster
---------------------------------------------------------------
Title: Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers (nominated for MEMOCODE BPA)
Authors: Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann and Jürgen Teich
Affiliations: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
---------------------------------------------------------------
Title: Robust Testing for Cyber-Physical Systems using Reinforcement Learning
Authors: Xin Qin, Nikos Arechiga, Jyotirmoy Deshmukh and Andrew Best
Affiliations: University of Southern California
Toyota Research Institute
TRI
---------------------------------------------------------------
Title: Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation
Authors: Mir Sarwar, Rajarshi Ray and Ansuman Banerjee
Affiliations: Indian Association for the Cultivation of Science
Indian Statistical Institute
---------------------------------------------------------------
12:30 - 13:30 Lunch
13:30 - 15:00 Technical Session 2: Verification and Synthesis
---------------------------------------------------------------
Title: Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures
Authors: Anoop Bhagyanath, Nadine Kercher and Klaus Schneider
Affiliations: RPTU Kaiserslautern-Landau
---------------------------------------------------------------
Title: Harnessing Multiple BMC Engines together for Efficient Formal Verification (nominated for MEMOCODE BPA)
Authors: Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly and Ansuman Banerjee
Affiliations: Indian Statistical Institute, Kolkata
IBM Systems, Bangalore, India
---------------------------------------------------------------
Title: Polynomial Formal Verification of KFDD Circuits
Authors: Martha Schnieber and Rolf Drechsler
Affiliations: University of Bremen
University of Bremen/DFKI
---------------------------------------------------------------
15:00 - 15:30 Coffee
15:30 - 17:00 Technical Session 3: Specification and Verification
---------------------------------------------------------------
Title: QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
Authors: Ernest Bonnah and Khaza Anuarul Hoque
Affiliations: University of Missouri
---------------------------------------------------------------
Title: Model Checking Time Window Temporal Logic for Hyperproperties (nominated for MEMOCODE BPA)
Authors: Ernest Bonnah, Luan Nguyen and Khaza Anuarul Hoque
Affiliations: University of Missouri
University of Dayton
---------------------------------------------------------------
Title: Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts
Authors: Sheng-Jung Yu, Inigo Incer and Alberto Sangiovanni-Vincentelli
Affiliations: University of California, Berkeley
---------------------------------------------------------------
Friday, 22 Sep 2023
===================
9:00 - 10:00 Keynote 2: Rolf Drechsler
10:00 -10:30 Coffee
10:30 - 12:30 Technical Session 4: Hardware
---------------------------------------------------------------
Title: Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages
Authors: Peitian Pan, Shunning Jiang, Yanghui Ou and Christopher Batten
Affiliations: Cornell University
---------------------------------------------------------------
Title: Timestamp Peripherals for Precise Real-Time Programming
Authors: John Hui, Stephen A. Edwards and Kyle J. Edwards
Affiliations: Columbia University
---------------------------------------------------------------
Title: Formally Verifying the Stall Invariant Property of Latency-Insensitive RTL Modules
Authors: Peitian Pan and Christopher Batten
Affiliations: Cornell University
---------------------------------------------------------------
Title: Formal Verification of Security Properties on RISC-V Processors
Authors: Czea Sie Chuah, Christian Appold and Tim Leinmueller
Affiliations: DENSO Automotive Deutschland GmbH
---------------------------------------------------------------
12:30 - 13:30 Lunch
13:30 - 15:00 Technical Session 5: Models
---------------------------------------------------------------
Title: Scalable Actor Networks with CAL
Authors: Gareth Callanan and Flavius Gruian
Affiliations: Lund University
---------------------------------------------------------------
Title: Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems
Authors: Sheng-Jung Yu, Inigo Incer and Alberto Sangiovanni-Vincentelli
Affiliations: University of California, Berkeley
---------------------------------------------------------------
Title: Finding a Basis for Non-Sequential Endochronous Functions in Dataflow Process Networks
Authors: Daniel Theis and Klaus Schneider
Affiliations: RPTU Kaiserslautern
---------------------------------------------------------------
15:00 - 15:30 Coffee
15:30 - 16:00 Closing Session
- MEMOCODE 2023 Best-Paper Award
- Review: MEMOCODE 2023 / Outlook: MEMOCODE 2024
