Overview
Note: Due to the global health emergency and pervasive travel restrictions, CAV 2020 will be held virtually. We look forward to participating in the virtual sessions.
Amazon is proud to be a Platinum sponsor of CAV 2020.
About CAV: The 32nd International Conference on Computer-Aided Verification (CAV) is 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.
Publications
-
Sr Principal Applied Scientist
Trust Safety Verification of Access Control Policies using SMT solving -
Jim Christy
Software Development Manager
Automated Analysis in Prime Video’s Engineering Workflow -
Principal Applied Scientist
CodeGuru Reviewer: Using ML and Program Analysis to Detect Hard-to-Find Bugs -
Principal Applied Scientist
FreeRTOS Meets Separation Logic: Memory Safety, Thread Safety and Functional Correctness with VeriFast -
-
Sr Principal Applied Scientist
Explaining Neural Image Classifiers
Connect with us
We look forward to connecting with you during CAV 2020. If you would like to meet virtually with one of our scientists or recruiters, please contact cav-2020@amazon.com .
Are you ready for your next opportunity? Check out our open positions below. We have global opportunities available.