UW PLSE

icon indicating a website link http://uwplse.org

icon location Seattle, WA icon location University of Washington Programming Languages and Software Engineering

Results 22 repositories owned by UW PLSE

ferrite

16
Stars
3
Forks
Watchers

Ferrite, a toolkit for developing file system crash-consistency models

verified publisher icon uwplse

herbgrind

90
Stars
7
Forks
Watchers

A Valgrind tool for Herbie

verified publisher icon uwplse

memsynth

19
Stars
1
Forks
Watchers

An advanced automated reasoning tool for memory consistency model specifications.

verified publisher icon uwplse

oddity

32
Stars
1
Forks
Watchers

A graphical, time-traveling debugger for distributed systems

verified publisher icon uwplse

oeuf

17
Stars
2
Forks
Watchers

gallina frontend for CompCert

verified publisher icon uwplse

rake

18
Stars
4
Forks
Watchers

compiling DSLs to high-level hardware instructions

verified publisher icon uwplse

ruler

101
Stars
8
Forks
Watchers

Rewrite Rule Inference Using Equality Saturation

verified publisher icon uwplse

stng

17
Stars
4
Forks
Watchers

compiler for fortran stencils using verified lifting,

verified publisher icon uwplse

StructTact

21
Stars
8
Forks
Watchers

Coq utility and tactic library.

verified publisher icon uwplse

synapse

22
Stars
3
Forks
Watchers

Optimizing Synthesis with Metasketches, POPL 2016

verified publisher icon uwplse