A type and effect system for deterministic parallel Java
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Memory models: a case for rethinking parallel languages and hardware
Communications of the ACM
Proceedings of the 37th annual international symposium on Computer architecture
How to miscompile programs with "benign" data races
HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Abstraction in hardware system design
Communications of the ACM
Abstraction in Hardware System Design
Queue - Data
Application of Deadlock Risk Evaluation of Architectural Models
Software—Practice & Experience
Position paper: nondeterminism is unavoidable, but data races are pure evil
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability
Parallelizing data race detection
Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems
Efficient and flexible GUI test execution via test merging
Proceedings of the 2013 International Symposium on Software Testing and Analysis
| Hi-index | 48.23 |