Programming Languages Research Group

nvm-benchmarks

zen-ids

Introspective intrusion detection system for PHP applications.

zen-ids-php

ZenIDS branch of the reference implementation of the PHP interpreter, containing hooks required by ZenIDS.

jaaru-vagrant

psan-vagrant

jaaru

blackbox

Security framework for x86 binaries.

c11tester-vagrant

iotcheck

This is the repository for IoTCheck, a framework that model-checks smart home apps.

iotcheck-dpor

This is the repository that contains the DPOR implementation for IoTCheck.

zen-ids-profile

Profile building tools for Zen IDS.

cfi-common

Java utility and base classes for processing the trusted profile in CFI tools.

cfi-x86-graph

Java graph classes for processing the trusted profile in CFI tools.

cfi-x86-merge

Java classes for merging traces into a trusted profile for CFI tools.

fse20

artifacts track, fse20

iotcheck-data

This is the repository that stores the data collected during manual study and experiments using IoTCheck.

iotcheck-vagrant

This is the Vagrant VM setup for IoTCheck.

jaaru-llvm-pass

jaaru-pmdk

memcached

memcached-pmem

Lenovo modifications to Linux memcached for enhanced persistent memory support

pmrace-vagrant

RECIPE

RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)

redis

tsan11-tsan11rec-docker