Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» CMU
CMU
biblio
Safely Composable Type-Specific Languages
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
CMU
Oct'14
biblio
The power of interoperability: why objects are inevitable
Submitted by Jamie Presken on Wed, 12/07/2016 - 10:20am
CMU
Object-oriented programming; frameworks; interoperability; service abstractions
CMU
biblio
Type-directed, whitespace-delimited parsing for embedded DSLs
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:35am
CMU
CMU
biblio
Wyvern: a simple, typed, and pure object-oriented language
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:30am
CMU
first-class classes
object-oriented
static type checking
CMU
biblio
How Does Your Password Measure Up? The Effect of Strength Meters on Password Creation
Submitted by Jamie Presken on Wed, 12/07/2016 - 9:22am
CMU
CMU
biblio
Risk Compensation in Home-User Computer Security Behavior: A Mixed-Methods Exploratory Study
Submitted by Jamie Presken on Wed, 12/07/2016 - 8:52am
CMU
July'16
security; usable security; risk homeostasis theory; risk compensation
CMU
July'16
biblio
Crisis Mapping: Big Data from a Dynamic Network Analytic Perspective
Submitted by Jamie Presken on Wed, 12/07/2016 - 8:07am
CMU
CMU
biblio
Building the security behavior observatory: an infrastructure for long-term monitoring of client machines
Submitted by Jamie Presken on Tue, 12/06/2016 - 1:57pm
CMU
July'14
CMU
July'14
biblio
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor
Submitted by Jamie Presken on Tue, 12/06/2016 - 1:42pm
CMU
Oct'16
CMU
Oct'16
biblio
Evaluating Trade-offs of Human Involvement in Self-adaptive Systems
Submitted by Jamie Presken on Tue, 12/06/2016 - 11:23am
Adaptive Autonomy
Apr'16
CMU
human-in-the-loop
Self-Adaptation
Trade-Offs
CMU
Apr'16
« first
‹ previous
…
5
6
7
8
9
10
11
12
13
…
next ›
last »