Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
An efficient general iterative algorithm for dataflow analysis
Acta Informatica
Stubborn sets for reduced state generation
APN 90 Proceedings on Advances in Petri nets 1990
What are race conditions?: Some issues and formalizations
ACM Letters on Programming Languages and Systems (LOPLAS)
Compile-time analysis of parallel programs that share memory
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Data flow equations for explicitly parallel programs
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Optimal code motion: theory and practice
ACM Transactions on Programming Languages and Systems (TOPLAS)
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Analyzing Programs with Explicit Parallelism
Proceedings of the Fourth International Workshop on Languages and Compilers for Parallel Computing
Semantic Analysis of Communicating Sequential Processes (Shortened Version)
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Data Structures for Optimizing Programs with Explicit Parallelism
Proceedings of the First International ACPC Conference on Parallel Computation
Parallelism for free: efficient and optimal bitvector analyses for parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Exploiting global optimizations for openmp programs in the openuh compiler
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
| Hi-index | 0.00 |