Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Projet
gNOSIS: Advancing Hardware Development
Field Programmable Gate Arrays (FPGAs) are used in wide range of applications from small devices to big data centers. Verilog HDL is one of the most common languages used by FPGA designers to implement a…
Publication
Classes for the Masses (Extended Abstract)
Vidéo
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…
Vidéo
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
Projet
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…