Found 21 results
Separating Functional and Parallel Correctness using Nondeterministic Sequential Speciﬁcations. 2nd USENIX Workshop on Hot Topics in Parallelism (HotPar '10).(2010).
DETERMIN: Inferring Likely Deterministic Speciﬁcations of Multithreaded Programs. 32nd International Conference on Software Engineering (ICSE'10).(2010).
WISE: Automated Test Generation for Worst-Case Complexity. Proc. 31st International Conference on Software Engineering (ICSE'09). 463-473.(2009).
A View of the Parallel Computing Landscape. Communications of the ACM. 52,(2009).
Asserting and Checking Determinism for Multithreaded Programs. 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium.(2009).
Effective Static Deadlock Detection. 31st International Conference on Software Engineering, Vancouver (ICSE 09).(2009).