Helmut Seidl - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Sun 15 Jan 2017

Name:Helmut Seidl

Country:Germany

Affiliation:TU Munich

Personal website: http://www2.in.tum.de/~seidl/

Contributions

2024

NSAD

C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”

Show activities from other conferences

SPLASH 2024-profile
View general profile