Pinned Repositories
BD-PyRTL-RV
Ben D's PyRTL RISC-V
CoSA
CoreIR Symbolic Analyzer
cs162-tutorials
Tutorials for Fall 2018
elephant
embedded-class-riscv
PyRTL generator for embedded-class RISC-V cores
icfp2013
Tunable Control-Flow Sensitivity for Program Analysis
latte22-demo
scheme2beam
Source compiler from Scheme to BEAM VM.
signature-inference
Implementation of our CGO 2014 paper.
type-refine
Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.
pllab's Repositories
pllab/type-refine
Implementation of JavaScript Analysis that uses Type-Refinement concepts from our DLS 2013 paper.
pllab/scheme2beam
Source compiler from Scheme to BEAM VM.
pllab/cs162-tutorials
Tutorials for Fall 2018
pllab/CoSA
CoreIR Symbolic Analyzer
pllab/elephant
pllab/icfp2013
Tunable Control-Flow Sensitivity for Program Analysis
pllab/BD-PyRTL-RV
Ben D's PyRTL RISC-V
pllab/CS162-regex
pllab/embedded-class-riscv
PyRTL generator for embedded-class RISC-V cores
pllab/latte22-demo
pllab/pipelined-alu
pllab/PyRTL
A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Simplicity, usability, clarity, and extendability rather than performance or optimization is the overarching goal.
pllab/signature-inference
Implementation of our CGO 2014 paper.
pllab/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
pllab/grammy
An adventure in categorial grammars!
pllab/sexp-cpp
A S-Expression Parser for C++
pllab/cats
Category theory reading group @ pllab@UCSB
pllab/CS162-Winter2018-Assignment2
pllab/games
Scheduling for board games and roleplaying sessions hosted by the PL Lab!
pllab/lab06_starter_code
pllab/Lava-Testing
Playing with various versions of Lava
pllab/LLHD-Testing
pllab/measure-tool
A tool for measuring memory consumption in the JVM
pllab/OPDB
OpenPiton Design Benchmark
pllab/scala.g8
A basic Scala g8 template for CS162
pllab/z3
The Z3 Theorem Prover