Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
LLVM
biblio
Scalable Automatic Differentiation of Multiple Parallel Paradigms through Compiler Augmentation
Submitted by aekwall on Fri, 04/28/2023 - 8:43am
distributed
compiler security
Tasks
Raja
parallel programming
parallel
OpenMP
MPI
LLVM
Julia
hybrid parallelization
Enzymes
Enzyme
Scalability
compiler
C++
automatic differentiation
C++ languages
codes
Runtime
Program processors
Compositionality
Resiliency
Metrics
pubcrawl
biblio
Threshold-Based Analysis of the Code Quality of High-Performance Computing Software Packages
Submitted by grigby1 on Tue, 09/20/2022 - 1:02pm
Clang
codes
Complexity theory
Computing Theory
Conferences
Data mining
datasets
LLVM
Measurement
Metrics
pubcrawl
Security Metrics
software packages
software quality
static analysis
statistical analysis
biblio
NoVT: Eliminating C++ Virtual Calls to Mitigate Vtable Hijacking
Submitted by grigby1 on Mon, 03/14/2022 - 11:21am
Switches
vtables
vtable hijacking
NoVT
LLVM
codes
Chromium
Metrics
Policy Based Governance
Safe Coding
pubcrawl
control systems
C++ languages
Runtime
Program processors
CFI
Resiliency
resilience
Human Factors
Human behavior
biblio
Improving Fuzzing through Controlled Compilation
Submitted by aekwall on Mon, 03/15/2021 - 11:09am
beneficial compiler optimizations
standard compilers
rigorous evaluation methodology
qualitative coverage
program line
LLVM
Intermediate Representation
grey-box fuzzers
fuzzing strategy
fuzzing consistency
current coverage-based evaluation measures
coverage metrics
coverage mesaures
coverage
controlled compilation
concolic fuzzers
security of data
AFL's configuration
AFL
open source projects
source code
fuzzing
compiler security
program compilers
Compositionality
fuzzy set theory
program testing
Metrics
pubcrawl
Resiliency
Scalability
biblio
ComPy-Learn: A toolbox for exploring machine learning representations for compilers
Submitted by aekwall on Mon, 03/15/2021 - 11:07am
compilers
program compilers
Clang
LLVM
compiler security
empirical evaluation
Clang compiler
Code Representations
compiler heuristics
Compositionality
ComPy-Learn
developer productivity
graph representations
LLVM compiler backend
program code
software engineering tools
software performance
syntax-level language information
tools
Task Analysis
Program processors
learning (artificial intelligence)
Resiliency
pubcrawl
machine learning
Metrics
optimization
Scalability
Training
software engineering
public domain software
Vulnerability prediction
program diagnostics
Predictive models
Pipelines
biblio
Towards efficient, multi-language dynamic taint analysis
Submitted by aekwall on Mon, 01/27/2020 - 9:28am
pubcrawl
composability
Metrics
LLVM
Cross-Language Taint Analysis
dynamic taint analysis
GraalVM
JavaScript
Multi-Language Taint Analysis
Native Extensions
Node.js
Sulong
taint analysis
biblio
What You Get is What You C: Controlling Side Effects in Mainstream C Compilers
Submitted by aekwall on Mon, 12/02/2019 - 11:07am
language security
compiler performance
compiler upgrade
compiler writers
compilers
constant-time
CPUs
crypto code
cryptographic algorithm
cryptographic protocol security
erasing
implicit properties
compiler optimizations
LLVM
mainstream C compilers
secure code
Security Engineers
side channels
side effects
stack
timing channel
zeroing
compiler security
timing
Cryptography
Cryptographic Protocols
Program processors
Resiliency
pubcrawl
Metrics
standards
optimization
Libraries
optimisation
program verification
Scalability
Security Properties
Compositionality
program compilers
C
C abstract machine
C++ language
careful programmer
Clang
compiler commands
Compiler Optimization
biblio
BinRec: Attack Surface Reduction Through Dynamic Binary Recovery
Submitted by grigby1 on Fri, 02/08/2019 - 3:31pm
attack surface
attack surface reduction
binary lifting
LLVM
Metrics
pubcrawl
resilience
Resiliency
Scalability
Symbolic Execution
biblio
Compilation of a Countermeasure Against Instruction-Skip Fault Attacks
Submitted by K_Hooper on Fri, 10/13/2017 - 9:33am
AES
compiler
countermeasures
Fault Attacks
LLVM
Metrics
pubcrawl
Resiliency
scalabilty
Securing Compilers
file
Security Analysis of LLVM Bitcode Files for Mobile
Submitted by TimTh on Tue, 05/28/2013 - 11:12am. Contributor:
Vivek Sarkar
Presented as part of the
2013 HCSS conference
.
ABSTRACT:
Education
LLVM
mobile computing
Rice University
Security analysis
Academia
Presentation
HCSS'13
JavaScript (HCSS'13)
