Rinard

释义

[人名] 里纳德；[地名] [美国] 里纳德；

Taint-based directed whitebox fuzzing
Quality of service profiling
Software analysis: a roadmap
Generalized typestate checking using set interfaces and pluggable analyses
Heterogeneous parallel programming in Jade
Heterogeneous parallel programming in Jade
Concurrent constraint programming
Ownership types for safe programming:preventing data races and deadlocks
Ownership types for safe programming
The semantic foundations of concurrent constraint programming