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
Apr'17
file
Omar_Hazelnut_JA.pdf
Submitted by Jamie Presken on Mon, 04/10/2017 - 7:07am
Apr'17
bidirectional type systems
CMU
gradual typing
mechanized metatheory
structure editors
biblio
Hazelnut: a bidirectionally typed structure editor calculus
Submitted by Jamie Presken on Mon, 04/10/2017 - 7:06am
Apr'17
bidirectional type systems
CMU
gradual typing
mechanized metatheory
structure editors
CMU
Apr'17
file
Medeiros_Discipline_Matters_CK.pdf
Submitted by Jamie Presken on Mon, 04/10/2017 - 6:53am
Apr'17
CMU
Configurable Systems
preprocessors
Refactoring
biblio
Discipline Matters: Refactoring of Preprocessor Directives in the #ifdef Hell
Submitted by Jamie Presken on Mon, 04/10/2017 - 6:50am
Apr'17
CMU
Configurable Systems
preprocessors
Refactoring
CMU
Apr'17
biblio
A Study of Security Vulnerabilities on Docker Hub
Submitted by enck on Fri, 03/31/2017 - 11:48am
Apr'17
Docker Images
NCSU
Resilient Architectures
security vulnerabilities
Smart Isolation in Large-Scale Production Computing Infrastructures
Vulnerability Propagation
Resilient Architectures
NCSU
Smart Isolation in Large-Scale Production Computing Infrastructures
Apr'17
biblio
A Choice of Variational Stacks: Exploring Variational Data Structures
Submitted by Jamie Presken on Mon, 01/09/2017 - 7:15am
Apr'17
CMU
Variability-Aware Execution
Variational data structures
CMU
Apr'17
« first
‹ previous
1
2
