Stem alia$ (all stems)

43 papers:

LCTES-2015-GhoshPR #alias #performance

Enabling Efficient Alias Speculation (SG, YP, AR), p. 10.

OOPSLA-2014-ZhangXZYS #alias #analysis #c #performance

Efficient subcubic alias analysis for C (QZ, XX, CZ, HY, ZS), pp. 829–845.

PLDI-2013-ZhangLYS #algorithm #alias #analysis #performance

Fast algorithms for Dyck-CFL-reachability with applications to alias analysis (QZ, MRL, HY, ZS), pp. 435–446.

ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault

Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.

ASPLOS-2013-AhnDT #alias #named #using

DeAliaser: alias speculation using atomic region support (WA, YD, JT), pp. 167–180.

SCAM-2012-GauthierM #alias #php

Alias-Aware Propagation of Simple Pattern-Based Properties in PHP Applications (FG, EM), pp. 44–53.

SIGIR-2012-JiangWLAW #alias #approach #detection #learning #similarity #string #towards

Towards alias detection without string similarity: an active learning based approach (LJ, JW, PL, NA, MW), pp. 1155–1156.

TOOLS-EUROPE-J-2011-BockischSYMA12

An In-Depth Look at ALIA4J (CB, AS, HY, MM, MA), pp. 1–28.

SCAM-2011-PavluSK #alias #analysis #comparison #graph #precise #set

Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision (VP, MS, AK), pp. 25–34.

TOOLS-EUROPE-2011-BockischSMA #bibliography #execution

An Overview of ALIA4J — An Execution Model for Advanced-Dispatching Languages (CB, AS, MM, MA), pp. 131–146.

CC-2011-NaeemL #alias #analysis #performance #set #summary #using

Faster Alias Set Analysis Using Summaries (NAN, OL), pp. 82–103.

ISSTA-2011-YanXR #alias #analysis #java

Demand-driven context-sensitive alias analysis for Java (DY, G(X, AR), pp. 155–165.

FM-2009-SeidlVV #alias #analysis #linear #polynomial

A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis (HS, VV, VV), pp. 644–659.

ECOOP-2009-XuRS #alias #analysis #points-to #scalability #using

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis (G(X, AR, MS), pp. 98–122.

ISMM-2009-NaeemL #alias #analysis #performance #set #using

Efficient alias set analysis using SSA form (NAN, OL), pp. 79–88.

PLDI-2008-Kahlon #alias #analysis #named #pointer #scalability

Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis (VK), pp. 249–259.

POPL-2008-ZhengR #alias #analysis #c

Demand-driven alias analysis for C (XZ, RR), pp. 197–208.

PLDI-2006-DhurjatiKA #alias #analysis #named

SAFECode: enforcing alias analysis for weakly typed languages (DD, SK, VSA), pp. 144–157.

ICSE-2005-ChinKQPN #alias #policy #safety #verification

Verifying safety policies with size properties and alias controls (WNC, SCK, SQ, CP, HHN), pp. 186–195.

PLDI-2004-WhaleyL #alias #analysis #diagrams #pointer #using

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (JW, MSL), pp. 131–144.

CC-2004-ChowdhuryDCBM #alias #analysis #optimisation

The Limits of Alias Analysis for Scalar Optimizations (RAC, PD, BC, JHB, KSM), pp. 24–38.

PEPM-2003-BozgaIL #alias #logic #semantics

Storeless semantics and alias logic (MB, RI, YL), pp. 55–65.

VLDB-2002-SarawagiBKM #alias #interactive #learning #named

ALIAS: An Active Learning led Interactive Deduplication System (SS, AB, AK, CM), pp. 1103–1106.

SAS-2002-Venet #alias #analysis #array #data type #recursion

Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.

OOPSLA-2002-AldrichKC #alias #comprehension

Alias annotations for program understanding (JA, VK, CC), pp. 311–330.

CC-2001-MartenaP #alias #analysis #model checking

Alias Analysis by Means of a Model Checker (VM, PSP), pp. 3–19.

ESOP-2000-SmithWM #alias

Alias Types (FS, DW, JGM), pp. 366–381.

TOOLS-PACIFIC-1999-NobleCP #alias

Object Ownership for Dynamic Alias Protection (JN, DGC, JP), pp. 176–187.

PLDI-1998-DiwanMM #alias #analysis #type system

Type-Based Alias Analysis (AD, KSM, JEBM), pp. 106–117.

SAS-1998-HindP #alias #analysis #pointer

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses (MH, AP), pp. 57–81.

ECOOP-1998-NobleVP #alias #flexibility

Flexible Alias Protection (JN, JV, JP), pp. 158–185.

OOPSLA-1998-ClarkePN #alias #flexibility

Ownership Types for Flexible Alias Protection (DGC, JP, JN), pp. 48–64.

POPL-1998-DebrayMW #alias #analysis #execution

Alias Analysis of Executable Code (SKD, RM, MW), pp. 12–24.

POPL-1998-JagannathanTWW #alias #analysis #higher-order

Single and Loving It: Must-Alias Analysis for Higher-Order Languages (SJ, PT, SW, AKW), pp. 329–341.

SAS-1996-Venet #alias #analysis #source code

Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs (AV), pp. 366–382.

ECOOP-1996-Minsky #alias #pointer #towards

Towards Alias-Free Pointers (NHM), pp. 189–209.

ISSTA-1996-HarroldR #alias #reuse

Separate Computation of Alias Information for Reuse (MJH, GR), pp. 107–120.

PLDI-1995-Ruf #alias #analysis

Context-Insensitive Alias Analysis Reconsidered (ER), pp. 13–22.

POPL-1995-AltucherL #alias #analysis

An Extended Form of Must Alias Analysis for Dynamic Allocation (RA, WL), pp. 74–84.

PLDI-1994-Deutsch #alias #analysis #interprocedural #pointer

Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (AD), pp. 230–241.

PLDI-1993-CytronG #alias #performance

Efficient Accomodation of May-Alias Information in SSA Form (RC, RG), pp. 36–45.

POPL-1989-CooperK #alias #analysis #interprocedural #performance

Fast Interprocedural Alias Analysis (KDC, KK), pp. 49–59.

POPL-1986-Coutant #alias #analysis

Retargetable High-Level Alias Analysis (DSC), pp. 110–118.