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
compiler security
biblio
Accelerating SoC Security Verification and Vulnerability Detection Through Symbolic Execution
Submitted by aekwall on Fri, 04/28/2023 - 8:44am
codes
compiler security
secure SoC design
KLEE
Symbiosis
formal verification
Symbolic Execution
C++ languages
Costs
Hardware Security
model checking
Compositionality
Resiliency
Metrics
pubcrawl
Scalability
system-on-chip
Hardware
biblio
A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture
Submitted by aekwall on Fri, 04/28/2023 - 8:44am
Memory management
compiler security
Memory architecture
Global Shared Memory Space
capability
compiler
source coding
RISC-V
codes
security
Program processors
Compositionality
Semantics
Resiliency
Metrics
pubcrawl
Access Control
Scalability
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
Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings
Submitted by aekwall on Fri, 04/28/2023 - 8:43am
Task Analysis
Training
Scalability
pubcrawl
Metrics
Resiliency
Training data
Compositionality
Program processors
Syntactics
Cloning
codes
compiler technique
deep learing
program embedding
compiler security
biblio
DIComP: Lightweight Data-Driven Inference of Binary Compiler Provenance with High Accuracy
Submitted by aekwall on Fri, 04/28/2023 - 8:43am
security
Neural networks
Software
Scalability
optimization
Conferences
pubcrawl
Metrics
Resiliency
machine learning
Compositionality
codes
Binary Analysis
Compilation Options
compiler security
biblio
Operator Partitioning and Parallel Scheduling Optimization for Deep Learning Compiler
Submitted by aekwall on Fri, 04/28/2023 - 8:43am
compiler security
Compositionality
Convolutional codes
deep learning
deep learning compilers
Electrical Engineering
estimation
Hardware
Metrics
operators
parallel scheduling
performance evaluation
pubcrawl
Resiliency
Scalability
scheduling
biblio
The Unexplored Terrain of Compiler Warnings
Submitted by aekwall on Fri, 04/28/2023 - 8:42am
software engineering
compiler security
MSVC
GCC
Defect prevention
compiler warning
Clang
Computer bugs
Costs
security
Program processors
Compositionality
Industries
Resiliency
Metrics
pubcrawl
Scalability
Software
biblio
Isolating Compiler Optimization Faults via Differentiating Finer-grained Options
Submitted by grigby1 on Fri, 03/31/2023 - 10:21am
compiler
resilience
Program processors
Optimization Option
Measurement
location awareness
Finer-grained
fault localization
Conferences
Computer bugs
compiler security
codes
Bug Isolation
big data security metrics
Benchmark testing
pubcrawl
Metrics
Scalability
Compositionality
Resiliency
biblio
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Submitted by aekwall on Fri, 02/17/2023 - 9:50am
compiler security
Resiliency
Compositionality
Scalability
Metrics
pubcrawl
codes
Computational modeling
computer security
Human Factors
n/a
policy-based governance
Safe Coding
Syntactics
Technological innovation
biblio
Towards Scalable Security of Real-time Applications: A Formally Certified Approach
Submitted by grigby1 on Fri, 08/12/2022 - 1:11pm
security
pubcrawl
Resiliency
Prototypes
composability
real-time systems
Metrics
Complexity theory
operating systems
data integrity
Runtime environment
compiler security
1
2
3
4
5
6
next ›
last »
