Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
工具
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.
视频
Krysta Svore on quantum computing and machine learning
Senior Researcher Krysta Svore comments on the potential effect quantum computing can have on machine learning.
项目
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…