A query language for data parallel programming: invited talk

LiteRace: effective sampling for lightweight data-race detection

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

Distributed data-parallel computing using a high-level programming language

Proceedings of the 2009 ACM SIGMOD International Conference on Management of data

GAMBIT: effective unit testing for concurrency libraries

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

DryadLINQ: a system for general-purpose distributed data-parallel computing using a high-level language

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation

Finding and reproducing Heisenbugs in concurrent programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation

PQL: a purely-declarative java extension for parallel programming

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming