Amazon Science’s Post

View organization page for Amazon Science, graphic

359,543 followers

With the support of an Amazon Research Award, a team from Imperial College London and Amazon Web Services (AWS) received an Industry Track Best Paper Award at this year’s International Conference on Software Testing, Verification and Validation (ICST 2024). Their paper presents two new tools, fuzz-d and DafnyFuzz, which improves Dafny compiler testing. The researchers found 24 critical bugs, including 9 soundness issues, surpassing XDsmith, and their testing campaign led to improvements in the Dafny language specification, addressing ambiguous or under-documented language features: amzn.to/4cpKnuC #AutomatedReasoning

Randomised Testing of the Compiler for a Verification-Aware Programming Language

Randomised Testing of the Compiler for a Verification-Aware Programming Language

multicore.doc.ic.ac.uk

Matthew Hepburn

Principal Product Marketing Manager, Amazon Science

4d

👏🏼👏🏼

Like
Reply

To view or add a comment, sign in

Explore topics