Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk)
Abstract elided by the publisher.
Related papers
- Programming in the Large for the Internet of Things (Invited Talk) ECOOP 2015
- Challenges and progress toward efficient gradual typing (invited talk) DLS 2017
- Coq's vibrant ecosystem for verification engineering (invited talk) CPP 2022
- The JavaScriptCore virtual machine (invited talk) DLS 2017
- Dependent type practice (invited talk) CPP 2016
- Is Polyglot Programming Really a Thing? (Invited Talk) DLS 2023
- Algorithmic music in Haskell (invited talk) Haskell 2017
- All Languages Are Dynamic (Invited Talk) DLS 2023