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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Safe Coding
biblio
Cross-Release Code Churn Impact on Effort-Aware Software Defect Prediction
Submitted by
grigby1
on Thu, 09/26/2019 - 9:25am
AUC
collaboration
complex systems
Correlation
Cross-release code churn
cross-release code churn impact
design metrics
effort-aware software defect prediction
GM
Human behavior
Human Factors
Measurement
Metrics
Open Source Software
open-source projects
policy-based governance
Pop effort aware measure
Predictive models
pubcrawl
public domain software
regression analysis
resilience
Resiliency
Safe Coding
software defect prediction
software metrics
software quality
standards
biblio
Locating SQL Injection Vulnerabilities in Java Byte Code Using Natural Language Techniques
Submitted by
grigby1
on Thu, 09/26/2019 - 9:25am
code analysis
code analysis tools
collaboration
Decision trees
Human behavior
Human Factors
Java
Java byte code
Java program
Metrics
natural language processing
natural language techniques
policy-based governance
program diagnostics
pubcrawl
Python
resilience
Resiliency
Safe Coding
Secure Coding
security
security of data
singular decision trees
Software
software vulnerabilities
source code (software)
SQL
SQL injection
SQL injection vulnerabilities
standards
Text Mining
tools
biblio
Checked C: Making C Safe by Extension
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
backward-compatibility
Benchmark testing
bounds-safe interfaces
C safe
C++ language
checked C's design
checked pointer
checked region
collaboration
Computer bugs
Cyclones
developer control
highly performant code
Human behavior
Human Factors
incremental conversion
Metrics
performance evaluation
policy-based governance
program debugging
programming languages
pubcrawl
resilience
Resiliency
Safe Coding
Safety
security
spatial safety
static analysis
storage management
tools
biblio
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
automatic analysis
Bianry Analysis
collaboration
Computational modeling
Conferences
Control Flow Recovery
control-flow recovery
data flow analysis
data-flow analyses
Explosions
Formal Specification
Human behavior
Human Factors
low-level object code
Memory management
Metrics
policy-based governance
program compilers
program diagnostics
program verification
pubcrawl
resilience
Resiliency
restricted control transition intermediate language
Safe Coding
safe control flow recovery
security
security mechanisms
security of data
security policies
Security Validation
Semantics
software fault tolerance
source code level
biblio
Safe Automated Refactoring for Intelligent Parallelization of Java 8 Streams
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
application program interfaces
automated refactoring approach
automatic parallelization
collaboration
data structures
finite data structures
Human behavior
Human Factors
Image color analysis
infinite data structures
Instruction sets
intelligent parallelization
Java
Java 8
lambda expression side-effects
mainstream object-oriented programming languages
MapReduce-style operations
Metrics
optimizing stream code
parallel streams
Pipelines
policy-based governance
pubcrawl
Refactoring
resilience
Resiliency
running operations
safe automated refactoring
Safe Coding
Semantics
semantics-preserving fashion
sequential streams
software maintenance
static analysis
Stream API
stream code
stream operations
streams
typestate analysis
Writing
biblio
CapeVM: A Safe and Fast Virtual Machine for Resource-Constrained Internet-of-Things Devices
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
ahead-of-time compilers
collaboration
fault isolation
Human behavior
Human Factors
Metrics
Performance
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safety
sandbox
sensor nodes
virtual machines
biblio
Towards Safe Refactoring for Intelligent Parallelization of Java 8 Streams
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
collaboration
Human behavior
Human Factors
Java 8
Metrics
parallelization
policy-based governance
pubcrawl
Refactoring
resilience
Resiliency
Safe Coding
streams
typestate analysis
biblio
Safe Stream-Based Programming with Refinement Types
Submitted by
grigby1
on Thu, 09/26/2019 - 9:24am
collaboration
Human behavior
Human Factors
Metrics
Mobile Applications
policy-based governance
pubcrawl
refinement types
resilience
Resiliency
Safe Coding
stream-based programming
biblio
Mapping to Bits: Efficiently Detecting Type Confusion Errors
Submitted by
grigby1
on Thu, 09/26/2019 - 9:23am
collaboration
downcasting
Human behavior
Human Factors
Metrics
policy-based governance
pubcrawl
resilience
Resiliency
Safe Coding
Safe Encoding Scheme
type confusion
typecasting
biblio
Safe Cryptography for All: Towards Visual Metaphor Driven Cryptography Building Blocks
Submitted by
grigby1
on Fri, 02/08/2019 - 3:12pm
visual metaphor
secure code
Resiliency
resilience
pubcrawl
Safe Coding
developer support
Cryptography
Compositionality
APIs
1
2
next ›
last »
