SAS
2015
Springer
8 years 21 days ago
2015
Springer
We present a novel static analysis to infer the parallel cost of distributed systems. Parallel cost differs from the standard notion of serial cost by exploiting the truly concurr...
SAS
2015
Springer
8 years 21 days ago
2015
Springer
Early work in implicit information flow detection applied only to flat, procedureless languages with structured control-flow (e.g., if statements, while loops). These techniques...