Analysis of multithreaded programs

MaRDI QIDQ4779111zbMATH OpenFDO

Authors Martin C. Rinard

Publication date 24 November 2002

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
• A concept of portable monitoring of multithreaded programs
• scientific article; zbMATH DE number 2117132
• Atomizer: A dynamic atomicity checker for multithreaded programs
• Atomizer: a dynamic atomicity checker for multithreaded programs

Cited in

(16)

• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Precise interprocedural dependence analysis of parallel programs
• Dead code elimination based pointer analysis for multithreaded programs
• Verification of Boolean programs with unbounded thread creation
• Runtime checking of multithreaded applications with visual threads
• Program analysis to support concurrent programming in declarative languages
• Analyzing Asynchronous Programs with Preemption
• Calculating statically maximum log memory used by multi-threaded transactional programs
• scientific article; zbMATH DE number 5623990 (Why is no real title available?)
• A model checking-based approach for security policy verification of mobile systems
• Deadlock checking by data race detection
• A concept of portable monitoring of multithreaded programs
• scientific article; zbMATH DE number 2117132 (Why is no real title available?)
• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model

This page was built for publication: Analysis of multithreaded programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4779111)