Agenda

06 Giu 2024 09:15

CSV - Challenges of Software Verification Symposium 2024

Aula Baratto, Dorsoduro 3246 - Università Ca' Foscari Venezia

June 6-7, 2024, Aula Baratto

6 June
9.15-9.30 Welcome

9.30-11.00 SESSION: Practical aspects of static analysis and tools

  • Raphaël Monat - Tools and echniques to ease maintenance of academic static analyzers
  • Francesca Scozzari - Experimental results on optimal abstract operators for sharing and linearity
  • Idriss Riouak - IntraJ: A Demand-driven Framework for Intraprocedural Java Code Analysis

11.00-11.30 Coffee break

11.30-13.00 Session: Analysis and Verification by Abstract Interpretation

  • Isabella Mastroeni - Enforcing Abstract Robustness for Classifiers: New ideas
  • Michael Schwarz - Digests for Seamlessly Improving Precision of Abstract Interpretation of Multi-Threaded Programs
  • Matteo Boroni Grazioli - Faster Static Analysis with Abstract Compilation

13.00-14.00 Lunch break

14.00-16.00 SESSION: Program verification and model checking

  • Gianluca Redondi - Checking Invariants of systems with SMT theories and quantifiers
  • Peter Müller - CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
  • Linda Brodo - Verification of Reaction Systems in Rewriting Logic
  • Dina Borrego - Designing and Verifying conflict free mechanism to maintain application invariants in replicated environments 

16.00-16.30 Coffe break

16.30-18.30 SESSION: Software engineering

  • Federico Serafini - Memory Safety for C-rusted: Challenges and Possible Solutions
  • Alessandro Cimatti - A retrospective application of formal methods to the development of safety-critical software
  • Fabiano Pecorelli - Reformulating Regression Test Case Selection using Quantum Annealing: an Empirical Study
  • Marco Esposito - Simulation-based Design of Critical Systems via Black-Box Optimization and Statistical Model Checking

19.00 Social dinner

7 June
9.00-11.00 SESSION: Software engineering

  • Thomas Jensen - Compositional reasoning about noninterference properties of procedures
  • Chiara Braghin - A Formal Framework for correct-byconstruction development of Ethereum Smart Contracts
  • Cosimo Laneve - Serverless Scheduling Policies based on Cost Analysis

11.00-11.30 Coffe break

11.30-13.30 SESSION: Applications of program analysis and verification

  • Luca Pasetto - Challenges of Software Verification for the EU AI Act
  • Marco De Vincenzi - Security Analysis of a V2I Authentication Protocol
  • Nicola Assolini - Uncomputing Quantum Variables: a Static Analysis
  • Giacomo Zanatta - Automating ROS2 Security Policies Extraction through Static Analysis

13.30-15.00 Lunch break

Lingua

L'evento si terrà in inglese

Organizzatore

Dipartimento di Scienze Ambientali, Informatica e Statistica - Agostino Cortesi

Link

https://unive-ssv.github.io/csv.html

Allegati

Poster 2334 KB
Programme 174 KB

Cerca in agenda