The Interprocedural Express-Lane Transformation
Abstract elided by the publisher.
Related papers
- Precise Interprocedural Dataflow Analysis via Graph Reachability POPL 1995
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- Automated soundness proofs for dataflow analyses and transformations via local rules POPL 2005
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Interprocedural query extraction for transparent persistence OOPSLA 2008
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Interprocedural Conditional Branch Elimination PLDI 1997
- Jigsaw: Toward Conflict-free Vectorized Stencil Computation by Tessellating Swizzled Registers PPoPP 2025