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
