Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Probabilistic Programs as Spreadsheet Queries
Publication
Software Developers’ Perceptions of Productivity
Tool
T2 Temporal Prover
T2 is designed to prove safety and liveness properties of programs, expressed as reachability, termination, or in the temporal logic CTL. Also see, https://github.com/mmjb/T2.
Video
Krysta Svore on quantum computing and machine learning
Senior Researcher Krysta Svore comments on the potential effect quantum computing can have on machine learning.
Project
Parasail
Project Parasail is a novel approach to parallelizing a large class of seemingly sequential applications wherein dependencies are, at runtime, treated as symbolic values. The efficiency of parallelization, then, depends on the efficiency of the symbolic…
Publication