BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analysi (54)
flow (25)
program (18)
data (18)
pointer (12)

Stem interprocedur$ (all stems)

121 papers:

OOPSLAOOPSLA-2015-FengWDL #control flow #interprocedural
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties (YF, XW, ID, CL), pp. 520–534.
POPLPOPL-2015-ChatterjeePV #analysis #interprocedural
Quantitative Interprocedural Analysis (KC, AP, YV), pp. 539–551.
ESOPESOP-2014-MangalNY #analysis #interprocedural
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join (RM, MN, HY), pp. 513–533.
SCAMSCAM-2014-AbadiF #algorithm #interprocedural #on-demand #parallel
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators (AA, YAF), pp. 235–244.
PLDIPLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down
Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.
LATALATA-2014-SeidlK #analysis #data flow #interprocedural #xml
Interprocedural Information Flow Analysis of XML Processors (HS, MK), pp. 34–61.
IFMIFM-2014-AsavoaeAR #interprocedural #semantics #slicing #towards
Towards a Formal Semantics-Based Technique for Interprocedural Slicing (IMA, MA, AR), pp. 291–306.
ICSEICSE-2014-LeP #control flow #graph #interprocedural #multi #verification
Patch verification via multiversion interprocedural control flow graphs (WL, SDP), pp. 1047–1058.
ICSEICSE-2014-NguyenNNN #interprocedural #javascript #mining #web
Mining interprocedural, data-oriented usage patterns in JavaScript web applications (HVN, HAN, ATN, TNN), pp. 791–802.
ICPCICPC-2012-IshioEI #data flow #interprocedural #lightweight #source code #visualisation
A lightweight visualization of interprocedural data-flow paths for source code reading (TI, SE, KI), pp. 37–46.
PLDIPLDI-2012-AlbarghouthiKNR #analysis #interprocedural #top-down
Parallelizing top-down interprocedural analyses (AA, RK, AVN, SKR), pp. 217–228.
SEKESEKE-2012-QiXW #concurrent #graph #interprocedural #reachability #slicing #source code
Slicing Concurrent Interprocedural Programs Based on Program Reachability Graphs (XQ, XX, PW), pp. 293–298.
CCCC-2012-PetersenG #garbage collection #interprocedural
GC-Safe Interprocedural Unboxing (LP, NG), pp. 165–184.
ESOPESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack
Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.
ECOOPECOOP-2011-PrabhuMBIG #analysis #c++ #exception #interprocedural
Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.
PASTEPASTE-2010-CalmanZ #analysis #induction #information retrieval #interprocedural
Interprocedural induction variable analysis based on interprocedural SSA form IR (SC, JZ), pp. 37–44.
SASSAS-2010-JensenMT #analysis #interprocedural #lazy evaluation
Interprocedural Analysis with Lazy Propagation (SHJ, AM, PT), pp. 320–339.
ICSEICSE-2010-TorlakC #detection #effectiveness #interprocedural
Effective interprocedural resource leak detection (ET, SC), pp. 535–544.
FoSSaCSFoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
SASSAS-2009-CalmanZ #interprocedural
Increasing the Scope and Resolution of Interprocedural Static Single Assignment (SC, JZ), pp. 154–170.
SEFMSEFM-2009-Jeannet #concurrent #interprocedural #relational #source code #verification
Relational Interprocedural Verification of Concurrent Programs (BJ), pp. 83–92.
ICSEICSE-2009-NandaS #analysis #interprocedural #java
Accurate Interprocedural Null-Dereference Analysis for Java (MGN, SS), pp. 133–143.
TACASTACAS-2008-LalTKR #analysis #bound #concurrent #interprocedural #source code
Interprocedural Analysis of Concurrent Programs Under a Context Bound (AL, TT, NK, TWR), pp. 282–298.
OOPSLAOOPSLA-2008-WiedermannIC #interprocedural #persistent #query
Interprocedural query extraction for transparent persistence (BW, AI, WRC), pp. 19–36.
CCCC-2008-KhedkerK #analysis #data flow #interprocedural #performance #precise #string
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method (UPK, BK), pp. 213–228.
ESOPESOP-2007-GulwaniT #analysis #interprocedural #summary
Computing Procedure Summaries for Interprocedural Analysis (SG, AT), pp. 253–267.
ESOPESOP-2007-SeidlFP #difference #linear
Interprocedurally Analysing Linear Inequality Relations (HS, AF, MP), pp. 284–299.
ICSMEICSM-2007-BernardiL #aspect-oriented #control flow #graph #interprocedural #maintenance
An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems (MLB, GADL), pp. 435–444.
WCREWCRE-2007-StaigerVKW #interprocedural
Interprocedural Static Single Assignment Form (SS, GV, SK, EW), pp. 1–10.
POPLPOPL-2007-JhalaM #analysis #interprocedural #source code
Interprocedural analysis of asynchronous programs (RJ, RM), pp. 339–350.
ISSTAISSTA-2007-TombBV #detection #fault #interprocedural #program analysis #runtime
Variably interprocedural program analysis for runtime error detection (AT, GPB, WV), pp. 97–107.
FATESTestCom-FATES-2007-ConstantJJ #automation #generative #interprocedural #specification #testing
Automatic Test Generation from Interprocedural Specifications (CC, BJ, TJ), pp. 41–57.
DATEDATE-2006-ScharwachterHLAM #hardware #interprocedural #multi #network #optimisation #thread #using
An interprocedural code optimization technique for network processors using hardware multi-threading support (HS, MH, RL, GA, HM), pp. 919–924.
SASSAS-2006-GotsmanBC #abstraction #analysis #interprocedural
Interprocedural Shape Analysis with Separated Heap Abstractions (AG, JB, BC), pp. 240–260.
CCCC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability
Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.
CCCC-2006-TokGL #analysis #data flow #interprocedural #performance #pointer
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers (TBT, SZG, CL), pp. 17–31.
ESOPESOP-2005-Muller-OlmSS #interprocedural
Interprocedural Herbrand Equalities (MMO, HS, BS), pp. 31–45.
SASSAS-2005-Muller-OlmS #analysis #framework #interprocedural
A Generic Framework for Interprocedural Analysis of Numerical Properties (MMO, HS), pp. 235–250.
SASSAS-2005-RinetzkySY #analysis #interprocedural #source code
Interprocedural Shape Analysis for Cutpoint-Free Programs (NR, MS, EY), pp. 284–302.
ECOOPECOOP-2005-PistoiaFKS #analysis #detection #interprocedural
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection (MP, RJF, LK, VCS), pp. 362–386.
POPLPOPL-2005-GulwaniN #analysis #interprocedural #precise #random #using
Precise interprocedural analysis using random interpretation (SG, GCN), pp. 324–337.
SCAMSCAM-2004-Gallagher #interprocedural #slicing
Some Notes on Interprocedural Program Slicing (KBG), pp. 36–42.
SASSAS-2004-JeannetLRS #analysis #approach #interprocedural #relational
A Relational Approach to Interprocedural Shape Analysis (BJ, AL, TWR, SS), pp. 246–264.
POPLPOPL-2004-Muller-OlmS #algebra #analysis #interprocedural #linear #precise
Precise interprocedural analysis through linear algebra (MMO, HS), pp. 330–341.
DACDAC-2003-ZhangCKK #embedded #interprocedural #optimisation #performance
Interprocedural optimizations for improving data cache performance of array-intensive embedded applications (WZ, GC, MTK, MK), pp. 887–892.
SCAMSCAM-2003-KissJLG #bytecode #interprocedural #slicing
Interprocedural Static Slicing of Binary Executables (ÁK, JJ, GL, TG), p. 118–?.
SASSAS-2003-RepsSJ #analysis #automaton #data flow #interprocedural
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.
POPLPOPL-2003-GheorghioiuSR #analysis #interprocedural
Interprocedural compatibility analysis for static object preallocation (OG, AS, MCR), pp. 273–284.
ESEC-FSEESEC-FSE-2003-SyD #consistency #generative #interprocedural #testing
Consistency techniques for interprocedural test data generation (NTS, YD), pp. 108–117.
CCCC-2003-MelskiR #interprocedural
The Interprocedural Express-Lane Transformation (DM, TWR), pp. 200–216.
SCAMSCAM-2002-HarmanHMZDDO #interprocedural #slicing
An Interprocedural Amorphous Slicer for WSL (MH, LH, MM, XZ, SD, MD, LO), pp. 105–114.
WCREWCRE-2002-OuarbyaDDHF #interprocedural #slicing
A Denotational Interprocedural Program Slicer (LO, SD, MD, MH, CF), p. 181–?.
PASTEPASTE-2001-BallR #data flow #interprocedural #named
Bebop: a path-sensitive interprocedural dataflow engine (TB, SKR), pp. 97–103.
SASSAS-2001-LiangH #analysis #interprocedural #performance #pointer
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses (DL, MJH), pp. 279–298.
OOPSLAOOPSLA-2001-PechtchanskiS #analysis #framework #interprocedural
Dynamic Optimistic Interprocedural Analysis: A Framework and an Application (IP, VS), pp. 195–210.
SACSAC-2001-ChangJYC #analysis #exception #interprocedural #java
Interprocedural exception analysis for Java (BMC, JWJ, KY, KMC), pp. 620–625.
CCCC-2001-RinetzkyS #analysis #interprocedural #recursion #source code
Interprocedural Shape Analysis for Recursive Programs (NR, SS), pp. 133–149.
PLDIPLDI-2000-ChengH #analysis #composition #design #evaluation #implementation #interprocedural #pointer #using
Modular interprocedural pointer analysis using access paths: design, implementation, and evaluation (BCC, WmWH), pp. 57–69.
PLDIPLDI-2000-GhemawatRS #analysis #interprocedural #low cost
Field analysis: getting useful and low-cost interprocedural information (SG, KHR, DJS), pp. 334–344.
PLDIPLDI-2000-SreedharBC #framework #interprocedural #optimisation
A framework for interprocedural optimization in the presence of dynamic class loading (VCS, MGB, JDC), pp. 196–207.
POPLPOPL-2000-EsparzaP #algorithm #graph #interprocedural #parallel #performance
Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs (JE, AP), pp. 1–11.
ESOPESOP-1999-NielsonN #analysis #control flow #interprocedural
Interprocedural Control Flow Analysis (FN, HRN), pp. 20–39.
FoSSaCSFoSSaCS-1999-EsparzaK #analysis #approach #data flow #interprocedural
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis (JE, JK), pp. 14–30.
ICSMEICSM-1999-LiangH #interprocedural #pointer #recursion #slicing
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion (DL, MJH), p. 421–?.
AdaEuropeAdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation
Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.
ICSEICSE-1999-SinhaHR #control flow #interprocedural #slicing #source code
System-Dependence-Graph-Based Slicing of Programs with Arbitrary Interprocedural Control Flow (SS, MJH, GR), pp. 432–441.
CCCC-1999-Martin #analysis #comparison #functional #interprocedural #string
Experimental Comparison of call string and functional Approaches to Interprocedural Analysis (FM), pp. 63–75.
CCCC-1999-MelskiR #interprocedural #profiling
Interprocedural Path Profiling (DM, TWR), pp. 47–62.
PPoPPPPoPP-1999-LiaoDBGL #interactive #interprocedural
SUIF Explorer: An Interactive and Interprocedural Parallelizer (SWL, AD, RPBJ, AMG, MSL), pp. 37–48.
POPLPOPL-1998-DeFouwGC #analysis #interprocedural #performance
Fast Interprocedural Class Analysis (GD, DG, CC), pp. 222–236.
ICSEICSE-1998-HarroldC #interprocedural #slicing
Reuse-Driven Interprocedural Slicing (MJH, NC), pp. 74–83.
ISSTAISSTA-1998-HarroldRS #dependence #interprocedural
Computation of Interprocedural Control Dependence (MJH, GR, SS), pp. 11–20.
PLDIPLDI-1997-BodikGS #branch #interprocedural
Interprocedural Conditional Branch Elimination (RB, RG, MLS), pp. 146–158.
PLDIPLDI-1997-Goodwin #analysis #data flow #execution #interprocedural
Interprocedural Dataflow Analysis in an Executable Optimizer (DWG), pp. 122–133.
WPCWPC-1996-BlazyF #analysis #comprehension #interprocedural
Interprocedural analysis for program comprehension by specialization (SB, PF), p. 133–?.
AdaEuropeAdaEurope-1996-BirusCS #interprocedural #optimisation
Interprocedural Call Optimization (TB, CC, DS), pp. 319–329.
POPLPOPL-1996-KurlanderF #interprocedural
Minimum Cost Interprocedural Register Allocation (SMK, CNF), pp. 230–241.
ICLPJICSLP-1996-Neumerkel #interprocedural #text-to-text
Interprocedural Register Allocation for the WAM based on Source to Source Transformations (UN), pp. 127–141.
PLDIPLDI-1995-AgrawalSD #compilation #distributed #interprocedural #memory management
Interprocedural Partial Redundancy Elimination and its Application to Distributed Memory Compilation (GA, JHS, RD), pp. 258–269.
PLDIPLDI-1995-CariniH #constant #interprocedural
Flow-Sensitive Interprocedural Constant Propagation (PRC, MH), pp. 23–31.
SASSAS-1995-AltM #generative #interprocedural #performance
Generation of Efficient Interprocedural Analyzers with PAG (MA, FM), pp. 33–50.
FPCAFPCA-1995-Boquist #functional #interprocedural #lazy evaluation
Interprocedural Register Allocation for Lazy Functional Languages (UB), pp. 270–281.
POPLPOPL-1995-DuesterwaldGS #data flow #interprocedural
Demand-driven Computation of Interprocedural Data Flow (ED, RG, MLS), pp. 37–48.
POPLPOPL-1995-RepsHS #analysis #data flow #graph #interprocedural #precise #reachability
Precise Interprocedural Dataflow Analysis via Graph Reachability (TWR, SH, SS), pp. 49–61.
FSEFSE-1995-HorwitzRS #analysis #data flow #interprocedural
Demand Interprocedural Dataflow Analysis (SH, TWR, SS), pp. 104–115.
FSEFSE-1995-RepsR #interprocedural #precise
Precise Interprocedural Chopping (TWR, GR), pp. 41–52.
ESOPESOP-J-1992-Larcheveque94 #interprocedural #object-oriented
Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 257–282.
PLDIPLDI-1994-Deutsch #alias #analysis #interprocedural #pointer
Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (AD), pp. 230–241.
PLDIPLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.
POPLPOPL-1994-BosschereDGK #interprocedural #optimisation
Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages (KDB, SKD, DG, SK), pp. 409–420.
CCCC-1994-Binkley #constant #data flow #dependence #graph #interprocedural #using
Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model (DB), pp. 374–388.
CCCC-1994-Reps #analysis #interprocedural #problem
Solving Demand Versions of Interprocedural Analysis Problems (TWR), pp. 389–403.
ICSMECSM-1993-KamkarFS #how #interprocedural #slicing #testing
Interprocedural Dynamic Slicing Applied to Interprocedural Data How Testing (MK, PF, NS), pp. 386–395.
PLDIPLDI-1993-GroveT #case study #constant #implementation #interprocedural
Interprocedural Constant Propagation: A Study of Jump Function Implementations (DG, LT), pp. 90–99.
PLDIPLDI-1993-LandiRZ #alias #analysis #interprocedural #pointer
Interprocedural Side Effect Analysis With Pointer Aliasing (WL, BGR, SZ), pp. 56–67.
POPLPOPL-1993-ChoiBC #alias #interprocedural #performance #pointer
Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.
POPLPOPL-1993-YiH #analysis #automation #generative #interprocedural
Automatic Generation and Management of Interprocedural Program Analyses (KY, WLHI), pp. 246–259.
ESOPESOP-1992-Larcheveque #interprocedural #object-oriented
Interprocedural Type Propagation for Object-Oriented Languages (JML), pp. 321–340.
PEPMPEPM-1992-DehboneiJ #analysis #evaluation #interprocedural #semantics #symbolic computation
Semantical Interprocedural Analysis by Partial Symbolic Evaluation (BD, PJ), pp. 14–20.
PLDIPLDI-1992-LandiR #algorithm #alias #approximate #interprocedural #pointer
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing (WL, BGR), pp. 235–248.
PLDIBest-of-PLDI-1992-LandiR92a #algorithm #alias #approximate #interprocedural #pointer
A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) (WL, BGR), pp. 473–489.
PPDPPLILP-1992-KamkarSF #interprocedural #slicing
Interprocedural Dynamic Slicing (MK, NS, PF), pp. 370–384.
CCCC-1992-KnoopS #interprocedural #theorem
The Interprocedural Coincidence Theorem (JK, BS), pp. 125–140.
CCCC-1992-SudholtS #analysis #data flow #interprocedural #object-oriented #on the
On Interprocedural Data Flow Analysis for Object Oriented Languages (MS, CS), pp. 156–162.
ISSTATAV-1991-PandeL #c #interprocedural #source code
Interprocedural Def-Use Associations in C Programs (HDP, WL), pp. 139–153.
PPDPPLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural
Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.
POPLPOPL-1989-CooperK #alias #analysis #interprocedural #performance
Fast Interprocedural Alias Analysis (KDC, KK), pp. 49–59.
PLDIPLDI-1988-Callahan #analysis #data flow #graph #interprocedural #summary
The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis (DC), pp. 47–56.
PLDIPLDI-1988-CooperK #analysis #interprocedural #linear
Interprocedural Side-Effect Analysis in Linear Time (KDC, KK), pp. 57–66.
PLDIPLDI-1988-HorwitzRB #dependence #graph #interprocedural #slicing #using
Interprocedural Slicing Using Dependence Graphs (SH, TWR, DB), pp. 35–46.
PLDIBest-of-PLDI-1988-CooperK88a #analysis #interprocedural #linear
Interprocedural side-effect analysis in linear time (with retrospective) (KDC, KK), pp. 217–228.
PLDIBest-of-PLDI-1988-HorwitzRB88a #dependence #graph #interprocedural #slicing #using
Interprocedural slicing using dependence graphs (with retrospective) (SH, TWR, DB), pp. 229–243.
PPoPPPPEALS-1988-LiY #analysis #interprocedural #parallel #performance
Efficient Interprocedural Analysis for Program Parallelization and Restructuring (ZL, PCY), pp. 85–99.
PLDIBest-of-PLDI-1986-BurkeC #analysis #dependence #interprocedural #parallel
Interprocedural dependence analysis and parallelization (with retrospective) (MGB, RC), pp. 139–154.
PLDIBest-of-PLDI-1986-CallahanCKT #constant #interprocedural
Interprocedural constant propagation (with retrospective) (DC, KDC, KK, LT), pp. 155–166.
PLDISCC-1984-CooperK #interprocedural #performance #summary
Efficient computation of flow insensitive interprocedural summary information (KDC, KK), pp. 247–258.
POPLPOPL-1982-JonesM #analysis #approach #data flow #data type #flexibility #interprocedural #recursion #source code
A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures (NDJ, SSM), pp. 66–74.
POPLPOPL-1981-Myers #algorithm #data flow #interprocedural #precise
A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.
POPLPOPL-1980-Weihl #analysis #data flow #interprocedural #pointer
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables (WEW), pp. 83–94.
POPLPOPL-1977-Barth #algorithm #analysis #data flow #interprocedural
An Interprocedural Data Flow Analysis Algorithm (JMB), pp. 119–131.
ICSEICSE-1976-FosdickO #data flow #detection #interprocedural
The Detection of Anomalous Interprocedural Data Flow (LDF, LJO), pp. 624–628.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.