karthikp-ubc
Professor at the University or British Columbia (UBC), working on security and reliability of computer systems.
UBC
Pinned Repositories
LLFI
LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib
LLTFI
LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applications at the LLVM IR level. Please refer to the paper below. NOTE: If you publish a paper using LLTFI, please cite the following paper:
SolidiFI
SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
TensorFI
TensorFI is a fault injection framework for injecting both hardware and software faults into applications written using the TensorFlow framework. You can find more information about TensorFI in the paper below.
ThingsJS
ThingsJS is a framework for running JavaScript applications on IoT devices such as Raspberry PIs. For more details, see below:
vsp2018webapp-codesamples
Code samples for the VSP 2018 Package "E" Course (Building Modern Web Applications)
CPEN400A-codesamples
Code examples from the lectures for CPEN400A
assignments
Assignments for the CPEN400A course - Term 1 2019
classroom
The main repository for all the classroom materials and announcements
karthikp-ubc's Repositories
karthikp-ubc/CPEN400A-codesamples
Code examples from the lectures for CPEN400A