Constraint-based inter-procedural analysis of parallel programs

Authors:
Helmut Seidl;Bernhard Steffen
Affiliations:
FB IV- Informatik Universität Trier, D-54286 Trier Germany;Lehrstuhl für Programmiersysteme Universität Dortmund Baroper Straße 301, D-44221 Dortmund Germany
Venue:
Nordic Journal of Computing
Year:
2000

Citing 9
Cited 7

Parallelism for free: efficient and optimal bitvector analyses for parallel programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient algorithms for pre* and post* on interprocedural parallel flow graphs

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Global optimization by suppression of partial redundancies

Communications of the ACM
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Flow Analysis of Computer Programs

Flow Analysis of Computer Programs
Parallel Constant Propagation

Euro-Par '98 Proceedings of the 4th International Euro-Par Conference on Parallel Processing
Generation of Efficient Interprocedural Analyzers with PAG

SAS '95 Proceedings of the Second International Symposium on Static Analysis
Property-Oriented Expansion

SAS '96 Proceedings of the Third International Symposium on Static Analysis
The Interprocedural Coincidence Theorem

CC '92 Proceedings of the 4th International Conference on Compiler Construction

Precise interprocedural analysis through linear algebra

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Precise interprocedural dependence analysis of parallel programs

Theoretical Computer Science
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Reachability Analysis of Synchronized PA Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Join-lock-sensitive forward reachability analysis for concurrent programs with dynamic process creation

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Weighted dynamic pushdown networks

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Precise fixpoint-based analysis of programs with thread-creation and procedures

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place.We present this both as a "design pattern" for writing C-code in a functional style and as a compilation process from linearly typed ...