Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
A General Framework for Dynamic Stub Injection
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…
Classes for the Masses (Extended Abstract)
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…
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…
