Semantics-Based Transformation of Arithmetic Expressions
Abstract elided by the publisher.
783 papers · page 22 of 40
Optimal Abstraction on Real-Valued Programs
Abstract elided by the publisher.
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract elided by the publisher.
A Framework for End-to-End Verification and Evaluation of Register Allocators
Abstract elided by the publisher.
Magic-Sets Transformation for the Analysis of Java Bytecode
Abstract elided by the publisher.
Program Analysis Using Symbolic Ranges
Abstract elided by the publisher.
Compositional Verification and 3-Valued Abstractions Join Forces
Abstract elided by the publisher.
Taming the Wrapping of Integer Arithmetic
Abstract elided by the publisher.
Refactoring Using Type Constraints
Abstract elided by the publisher.
A New Algorithm for Identifying Loops in Decompilation
Abstract elided by the publisher.
Static Analysis of String Manipulations in Critical Embedded C Programs
Abstract elided by the publisher.
Beyond Iteration Vectors: Instancewise Relational Abstract Domains
Abstract elided by the publisher.
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding
Abstract elided by the publisher.
Cryptographically-Masked Flows
Abstract elided by the publisher.
Recency-Abstraction for Heap-Allocated Storage
Abstract elided by the publisher.
Certificate Translation for Optimizing Compilers
Abstract elided by the publisher.
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems
Abstract elided by the publisher.
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
Abstract elided by the publisher.
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
Abstract elided by the publisher.
Analysis of Low-Level Code Using Cooperating Decompilers
Abstract elided by the publisher.