Mechanized Semantics for Compiler Verification
Abstract elided by the publisher.
613 papers · page 15 of 31
JATO: Native Code Atomicity for Java
Abstract elided by the publisher.
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis
Abstract elided by the publisher.
A Dynamic Interpretation of the CPS Hierarchy
Abstract elided by the publisher.
Scalable Formal Machine Models
Abstract elided by the publisher.
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
Abstract elided by the publisher.
Types and Access Controls for Cross-Domain Security in Flash
Abstract elided by the publisher.
Concurrent Test Generation Using Concolic Multi-trace Analysis
Abstract elided by the publisher.
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks
Abstract elided by the publisher.
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection
Abstract elided by the publisher.
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming
Abstract elided by the publisher.
Cost Analysis of Concurrent OO Programs
Abstract elided by the publisher.
Soundness of Data Flow Analyses for Weak Memory Models
Abstract elided by the publisher.
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy
Abstract elided by the publisher.
Engineering Theories with Z3
Abstract elided by the publisher.
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs
Abstract elided by the publisher.
Towards a General Theory of Barbs, Contexts and Labels
Abstract elided by the publisher.
Compiler Backend Generation for Application Specific Instruction Set Processors
Abstract elided by the publisher.
Constructing List Homomorphisms from Proofs
Abstract elided by the publisher.
Template-Based Unbounded Time Verification of Affine Hybrid Automata
Abstract elided by the publisher.