Updates

The paper (https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/krml233.pdf) presents the Dafny language through a series of small examples towards building verified programs.

Hosted by

What was the last paper within the realm of computing you read and loved? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implement… more

{{ gettext('Draft') }}

Hosted by

What was the last paper within the realm of computing you read and loved? What did it inspire you to build or tinker with? Come share the ideas in an awesome academic/research paper with fellow engineers, programmers, and paper-readers. Lead a session and show off code that you wrote that implement… more