Repositories list

• pingpong

  Public
  Shell

  •2•1•0•0•Updated Jan 8, 2025Jan 8, 2025

• jaaru-llvm-pass

  Public
  C++

  •1•0•0•0•Updated Sep 16, 2022Sep 16, 2022

• psan-vagrant

  Public
  Shell

  •

  GNU General Public License v2.0

  •0•4•0•0•Updated Aug 8, 2022Aug 8, 2022

• pmrace-vagrant

  Public
  Shell

  •

  GNU General Public License v2.0

  •0•0•0•0•Updated Feb 1, 2022Feb 1, 2022

• jaaru

  Public
  C++

  •

  GNU General Public License v2.0

  •1•3•0•0•Updated Nov 30, 2021Nov 30, 2021

• jaaru-pmdk

  Public
  C

  •

  Other

  •0•0•0•0•Updated Nov 15, 2021Nov 15, 2021

• nvm-benchmarks

  Public
  2•6•0•0•Updated Nov 8, 2021Nov 8, 2021

• iotcheck-vagrant

  Public
  This is the Vagrant VM setup for IoTCheck.

  Shell

  •

  MIT License

  •1•0•0•0•Updated Aug 30, 2021Aug 30, 2021

• iotcheck-dpor

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

  Java

  •1•1•0•0•Updated Aug 22, 2021Aug 22, 2021

• RECIPE

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

  C++

  •

  Apache License 2.0

  •47•0•0•0•Updated Aug 19, 2021Aug 19, 2021

• memcached-pmem

  Public
  Lenovo modifications to Linux memcached for enhanced persistent memory support

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •10•0•0•0•Updated Aug 17, 2021Aug 17, 2021

• memcached

  Public
  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Aug 4, 2021Aug 4, 2021

• redis

  Public
  C

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Jul 30, 2021Jul 30, 2021

• jaaru-vagrant

  Public
  Shell

  •

  GNU General Public License v2.0

  •0•4•0•0•Updated Feb 9, 2021Feb 9, 2021

• c11tester-vagrant

  Public
  Shell

  •

  MIT License

  •0•1•0•0•Updated Dec 16, 2020Dec 16, 2020

• tsan11-tsan11rec-docker

  Public
  0•0•0•0•Updated Dec 14, 2020Dec 14, 2020

• iotcheck

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

  Java

  •

  Apache License 2.0

  •2•1•0•0•Updated Sep 14, 2020Sep 14, 2020

• iotcheck-data

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

  Creative Commons Zero v1.0 Universal

  •0•0•0•0•Updated Jul 29, 2020Jul 29, 2020

• fse20

  Public
  artifacts track, fse20

  The Unlicense

  •68•0•0•0•Updated Jun 2, 2020Jun 2, 2020

• zen-ids

  Public
  Introspective intrusion detection system for PHP applications.

  C

  •3•5•0•0•Updated Sep 4, 2016Sep 4, 2016

• zen-ids-profile

  Public
  Profile building tools for Zen IDS.

  Java

  •2•1•0•0•Updated Sep 3, 2016Sep 3, 2016

• zen-ids-php

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

  C

  •

  Other

  •4•5•0•0•Updated Sep 3, 2016Sep 3, 2016

• cfi-common

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

  Java

  •1•0•0•0•Updated Sep 3, 2016Sep 3, 2016

• cfi-x86-merge

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

  Java

  •0•0•0•0•Updated Aug 2, 2016Aug 2, 2016

• cfi-x86-graph

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

  Java

  •0•0•0•0•Updated Aug 2, 2016Aug 2, 2016

• blackbox

  Public
  Security framework for x86 binaries.

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •569•2•0•0•Updated Aug 2, 2016Aug 2, 2016