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.
Language:C22
iotcheck
This is the repository for IoTCheck, a framework that model-checks smart home apps.
Language:Java11
iotcheck-dpor
This is the repository that contains the DPOR implementation for IoTCheck.
Language:Java1 4 01
jaaru
Language:C++3 5 01
jaaru-vagrant
Language:Shell4 5 00
nvm-benchmarks
62
psan-vagrant
Language:Shell40
zen-ids
Introspective intrusion detection system for PHP applications.
Language:C5 4 03
zen-ids-php
ZenIDS branch of the reference implementation of the PHP interpreter, containing hooks required by ZenIDS.
Language:C5 3 04
zen-ids-profile
Profile building tools for Zen IDS.
Language:Java1 3 02

Programming Languages Research Group's Repositories

uci-plrg/nvm-benchmarks
62
uci-plrg/zen-ids
Introspective intrusion detection system for PHP applications.
Language:C5 4 03
uci-plrg/zen-ids-php
ZenIDS branch of the reference implementation of the PHP interpreter, containing hooks required by ZenIDS.
Language:C5 3 04
uci-plrg/jaaru-vagrant
Language:Shell4 5 00
uci-plrg/psan-vagrant
Language:Shell40
uci-plrg/jaaru
Language:C++3 5 01
uci-plrg/blackbox
Security framework for x86 binaries.
Language:C22
uci-plrg/c11tester-vagrant
Language:Shell10
uci-plrg/iotcheck
This is the repository for IoTCheck, a framework that model-checks smart home apps.
Language:Java11
uci-plrg/iotcheck-dpor
This is the repository that contains the DPOR implementation for IoTCheck.
Language:Java1 4 01
uci-plrg/zen-ids-profile
Profile building tools for Zen IDS.
Language:Java1 3 02
uci-plrg/cfi-common
Java utility and base classes for processing the trusted profile in CFI tools.
Language:Java1
uci-plrg/cfi-x86-graph
Java graph classes for processing the trusted profile in CFI tools.
Language:Java
uci-plrg/cfi-x86-merge
Java classes for merging traces into a trusted profile for CFI tools.
Language:Java3 0
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.
4 0
uci-plrg/iotcheck-vagrant
This is the Vagrant VM setup for IoTCheck.
Language:Shell1
uci-plrg/jaaru-llvm-pass
Language:C++5 01
uci-plrg/jaaru-pmdk
Language:C
uci-plrg/memcached
Language:C4 0
uci-plrg/memcached-pmem
Lenovo modifications to Linux memcached for enhanced persistent memory support
uci-plrg/pmrace-vagrant
Language:Shell
uci-plrg/RECIPE
RECIPE : high-performance, concurrent indexes for persistent memory (SOSP 2019)
uci-plrg/redis
Language:C
uci-plrg/tsan11-tsan11rec-docker