Program for Friday, October 22nd: Talk View

PROGRAM FOR FRIDAY, OCTOBER 22ND: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

11:00-12:15

End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers

Dapeng Gao, Tom Melham

11:00-12:15

Hardware Security Leak Detection by Symbolic Simulation

Neta Bar Kama, Roope Kaivola

11:00-12:15

Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition

Chattopadhyay et.al

11:00-12:15

Sound and Automated Verification of Real-World RTL Multipliers

Mertcan Temel, Warren Hunt

11:00-12:15

Coco-Alma: A Versatile Masking Verifier

Vedad Hadžić, Roderick Bloem

12:35-13:35

Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V

Peter Sewell

13:40-14:55

Induction with Recursive Definitions in Superposition

Marton Hajdu, Petra Hozzová, Laura Kovacs, Andrei Voronkov

13:40-14:55

Fair and Adventurous Enumeration of Quantifier Instantiations

Mikolas Janota, Haniel Barbosa, Pascal Fontaine, Andrew Reynolds

13:40-14:55

Mathematical Programming Modulo Strings

Ankit Kumar, Panagiotis Manolios

13:40-14:55

Lookahead in Partitioning SMT

Antti Hyvärinen, Matteo Marescotti, Natasha Sharygina

13:40-14:55

A Multithreaded Vampire with Shared Persistent Grounding

Michael Rawson, Giles Reger

15:15-16:15 Session 17