SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
Abstract elided by the publisher.
783 papers · page 20 of 40
Relational Analysis of Correlation
Abstract elided by the publisher.
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
Abstract elided by the publisher.
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
Abstract elided by the publisher.
Transforming Abstract Interpretations by Abstract Interpretation
Abstract elided by the publisher.
Flow Analysis, Linearity, and PTIME
Flow analysis is a ubiquitous and much-studied component of compiler technology--and its variations abound. Amongst the most well known is Shivers' 0CFA; however, the best known algorithm for 0CFA requires time cubic in the size of the analyzed program and is unlikely to be impro…
Language Strength Reduction
Abstract elided by the publisher.
Solving Multiple Dataflow Queries Using WPDSs
Abstract elided by the publisher.
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
Abstract elided by the publisher.
Convex Hull of Arithmetic Automata
Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to represent the whole set of solutions of complex linear constraints combining both integral and real variables. I…
Reflections on the Role of Static Analysis in Cooperative Bug Isolation
Abstract elided by the publisher.
Heap Decomposition for Concurrent Shape Analysis
Abstract elided by the publisher.
A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
Abstract elided by the publisher.
Modal Abstractions of Concurrent Behaviour
Abstract elided by the publisher.
Quantum Entanglement Analysis Based on Abstract Interpretation
Entanglement is a non local property of quantum states which has no classical counterpart and plays a decisive role in quantum information theory. Several protocols, like the teleportation, are based on quantum entangled states. Moreover, any quantum algorithm which does not crea…
Reasoning about Control Flow in the Presence of Transient Faults
Abstract elided by the publisher.
Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
Abstract elided by the publisher.
Hiding Software Watermarks in Loop Structures
Abstract elided by the publisher.
Protocol Inference Using Static Path Profiles
Abstract elided by the publisher.
Typing Linear Constraints for Moding CLP() Programs
Abstract elided by the publisher.