Interprocedural analysis of asynchronous programs

DOI10.1145/1190216.1190266MaRDI QIDQ3189813zbMATH OpenOpenAlexFDO

Authors Ranjit Jhala, Rupak Majumdar

Publication date 12 September 2014

Published in Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1190216.1190266

zbMATH Keywords

dataflow analysisasynchronous (event-driven) programming

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Synchronizing the asynchronous
• Data flow analysis of asynchronous systems using infinite abstract domains
• Verifiable design of asynchronous software
• scientific article; zbMATH DE number 1538033
• Interprocedural Analysis of Concurrent Programs Under a Context Bound

Cited in

(25)

• Backwards type analysis of asynchronous method calls
• On the sequential nature of interprocedural program-analysis problems
• scientific article; zbMATH DE number 7561313 (Why is no real title available?)
• General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
• Synchronizing the asynchronous
• Summarization for termination: No return!
• On the Reachability Analysis of Acyclic Networks of Pushdown Systems
• Bounded phase analysis of message-passing programs
• Analysis of asynchronous programs with event-based synchronization
• Automated synthesis of asynchronizations
• Deciding branching time properties for asynchronous programs
• Verification of asynchronous programs with nested locks
• Verifiable design of asynchronous software
• Verification, Model Checking, and Abstract Interpretation
• General decidability results for asynchronous shared-memory programs: higher-order and beyond
• Analyzing Real-Time Event-Driven Programs
• Verifying asynchronous event-driven programs using partial abstract transformers
• Interprocedural analyses: a comparison
• Analyzing Asynchronous Programs with Preemption
• Context-Bounded Analysis of Concurrent Queue Systems
• Interprocedural analysis and optimization
• Coupling asynchrony and interrupts: Place Chart Nets
• Verifying liveness for asynchronous programs
• Data flow analysis of asynchronous systems using infinite abstract domains
• Reasoning about threads with bounded lock chains

This page was built for publication: Interprocedural analysis of asynchronous programs

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