Overview
CAV 2023 is the 35th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Amazon team
-
Artifact evaluation committee member
-
Program committee member
-
Artifact evaluation committee member
-
Program committee member
-
Artifact evaluation co-chair
-
Program committee member
-
Program committee member
-
Artifact evaluation committee member
-
Program committee member
-
Program co-chair
-
Artifact evaluation committee member
-
Steering committee member
-
Artifact evaluation committee member
-
Artifact evaluation committee member
-
Artifact evaluation committee member
-
Program committee member
-
Program committee member
-
Artifact evaluation committee member
-
Artifact evaluation committee member
-
Program committee member
-
Program committee member
-
Artifact evaluation committee member
-
Artifact evaluation committee member
Accepted publications
Related content
-
May 10, 2023The new development process behind Amazon Web Services’ Cedar authorization-policy language.
-
April 05, 2023As a senior principal applied scientist at Amazon Web Services, Leino is continuing his career as a leading expert in program verification.
-
March 08, 2023This year’s cohort is researching, among other topics, online changepoint detection algorithms and automated reasoning.