Alias analysis of executable code

Type-based alias analysis

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation

Data Dependence Analysis of Assembly Code

International Journal of Parallel Programming - Special issue on instruction-level parallelism and parallelizing compilation, part 2

Using types to analyze and optimize object-oriented programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Combining Global Code and Data Compaction

OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems

Speculative Alias Analysis for Executable Code

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques

The Impact of Alias Analysis on VLIW Scheduling

ISHPC '02 Proceedings of the 4th International Symposium on High Performance Computing

Load Redundancy Elimination on Executable Code

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing

Static program analysis of embedded executable assembly code

Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems

HOIST: a system for automatically deriving static analyzers for embedded systems

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems

Practical and Accurate Low-Level Pointer Analysis

Proceedings of the international symposium on Code generation and optimization

System-wide compaction and specialization of the linux kernel

LCTES '05 Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems

Link-time binary rewriting techniques for program compaction

ACM Transactions on Programming Languages and Systems (TOPLAS)

String analysis for x86 binaries

PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Intermediate-representation recovery from low-level code

Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Eliminating stack overflow by abstract interpretation

ACM Transactions on Embedded Computing Systems (TECS)

Bidirectional liveness analysis, or how less than half of the alpha's registers are used

Journal of Systems Architecture: the EUROMICRO Journal

JIST: Just-In-Time scheduling translation for parallel processors

Scientific Programming

Automated reduction of the memory footprint of the Linux kernel

ACM Transactions on Embedded Computing Systems (TECS) - Special Section LCTES'05

Securing software by enforcing data-flow integrity

OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation

WYSINWYX: What You See Is Not What You eXecute

Verified Software: Theories, Tools, Experiments

Compiler Support for Code Size Reduction Using a Queue-Based Processor

Transactions on High-Performance Embedded Architectures and Compilers II

Inferred call path profiling

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Context-sensitive analysis of obfuscated x86 executables

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation

WYSINWYX: What you see is not what you eXecute

ACM Transactions on Programming Languages and Systems (TOPLAS)

DIVINE: discovering variables in executables

VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation

Verification across intellectual property boundaries

CAV'07 Proceedings of the 19th international conference on Computer aided verification

Improved memory-access analysis for x86 executables

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction

A system for generating static analyzers for machine instructions

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction

Interval analysis of microcontroller code using abstract interpretation of hardware and software

Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems

Side-effect analysis of assembly code

SAS'11 Proceedings of the 18th international conference on Static analysis

Context-sensitive analysis without calling-context

Higher-Order and Symbolic Computation

A next-generation platform for analyzing executables

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems

CodeSurfer/x86—A platform for analyzing x86 executables

CC'05 Proceedings of the 14th international conference on Compiler Construction

Framework for safe reuse of software binaries

ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology

Improving the performance of GCC by exploiting IA-64 architectural features

ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture

Dynamic register promotion of stack variables

CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization

Verification across Intellectual Property Boundaries

ACM Transactions on Software Engineering and Methodology (TOSEM)

SMARQ: Software-Managed Alias Register Queue for Dynamic Optimizations

MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture

Abstract interpretation of microcontroller code: Intervals meet congruences

Science of Computer Programming

Obfuscation resilient binary code reuse through trace-oriented programming

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security