Programming Languages Research Group
Research lab of professor Brian Demsky at the University of California, Irvine, Department of Computer Science
University of California, Irvine
Pinned Repositories
blackbox
Security framework for x86 binaries.
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.
jaaru
jaaru-vagrant
nvm-benchmarks
psan-vagrant
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.
zen-ids-profile
Profile building tools for Zen IDS.
Programming Languages Research Group's Repositories
uci-plrg/nvm-benchmarks
uci-plrg/zen-ids
Introspective intrusion detection system for PHP applications.
uci-plrg/zen-ids-php
ZenIDS branch of the reference implementation of the PHP interpreter, containing hooks required by ZenIDS.
uci-plrg/jaaru-vagrant
uci-plrg/psan-vagrant
uci-plrg/jaaru
uci-plrg/blackbox
Security framework for x86 binaries.
uci-plrg/c11tester-vagrant
uci-plrg/iotcheck
This is the repository for IoTCheck, a framework that model-checks smart home apps.
uci-plrg/iotcheck-dpor
This is the repository that contains the DPOR implementation for IoTCheck.
uci-plrg/zen-ids-profile
Profile building tools for Zen IDS.
uci-plrg/cfi-common
Java utility and base classes for processing the trusted profile in CFI tools.
uci-plrg/cfi-x86-graph
Java graph classes for processing the trusted profile in CFI tools.
uci-plrg/cfi-x86-merge
Java classes for merging traces into a trusted profile for CFI tools.
uci-plrg/fse20
artifacts track, fse20
uci-plrg/iotcheck-data
This is the repository that stores the data collected during manual study and experiments using IoTCheck.
uci-plrg/iotcheck-vagrant
This is the Vagrant VM setup for IoTCheck.
uci-plrg/jaaru-llvm-pass
uci-plrg/jaaru-pmdk
uci-plrg/memcached
uci-plrg/memcached-pmem
Lenovo modifications to Linux memcached for enhanced persistent memory support
uci-plrg/pmrace-vagrant
uci-plrg/RECIPE
RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)
uci-plrg/redis
uci-plrg/tsan11-tsan11rec-docker