Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk)
No abstract available.
Related papers
- Underpinning the foundations: sail-based semantics, testing, and reasoning for production and CHERI-enabled architectures (invited talk) CPP 2021
- The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk) CPP 2022
- Structural embeddings revisited (invited talk) CPP 2022
- Challenges and progress toward efficient gradual typing (invited talk) DLS 2017
- Porting the HOL light analysis library: some lessons (invited talk) CPP 2017
- Formal Analysis of Message Passing - (Invited Talk) VMCAI 2011
- All Languages Are Dynamic (Invited Talk) DLS 2023
- Are We Heading towards a Dynamic Language Winter? (Invited Talk) DLS 2023