Programming languages and software engineering
Publication
Classes for the Masses (Extended Abstract)
Video
Simit: A Language for Computing on Sparse Systems when Performance Matters
It is hard to write fast code. From the early days of computing at Los Alamos, many researchers have spent their lifetime getting performance out of critical simulation codes. Moreover, they are often left to…
Video
Type-Driven Program Synthesis
A promising approach to improving software quality is to enhance programming languages with declarative constructs, such as logical specifications or examples of desired behavior, and to use program synthesis technology to translate these constructs into…
Publication
Algebraic Effects for Functional Programming
Project
Code Hunt Workshops
1st Code Hunt Workshop, Redmond February, 15-16, 2015 Slides and Videos Deep Dive into Pex for Code Hunt Nikolai Tillmann [Slides] [Video] Code Hunt Contest Analytics Judith Bishop [Slides] [Video] Model Counting for Test Coverage…
Video
End of Internship Talks
End for Internship talks given by: Perry Wang Title: “Low* and subset of F* that will compile down to C” Time : 10-10:45 Laure Thompson Title: “Spartan and proving implementations of cryptographic algorithms correct” Time…
