miniblog.

← Back to all posts

Wilfred Hughes

Aug 30, 2017 at 21:44

Applying type-based program synthesis to code completion, leading to snippets, not just method names. Clever!

LARA – Lab for Automated Reasoning and Analysis -

We develop precise automated reasoning techniques: tools, algorithms and languages. The goal of these techniques to help construction of verified computer systems.