Stem alias$ (all stems)

51 papers:

ICML-2015-WeissN #alias #learning

Learning Parametric-Output HMMs with Two Aliased States (RW, BN), pp. 635–644.

OOPSLA-2015-BrandauerCW #alias #fine-grained

Disjointness domains for fine-grained aliasing (SB, DC, TW), pp. 898–916.

ICPR-2014-LinnerS #alias #anti #distance #graph #implementation

A Graph-Based Implementation of the Anti-aliased Euclidean Distance Transform (EL, RS), pp. 1025–1030.

PLDI-2013-GordonEG #alias #refinement

Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.

ICSE-2013-PotaninDN #alias #cost analysis

Are your incoming aliases really necessary? counting the cost of object ownership (AP, MD, JN), pp. 742–751.

ASPLOS-2013-AhnDT #alias #named #using

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

ECOOP-2012-Wrigstad #alias

Structured Aliasing (TW), p. 232.

PASTE-2007-QianXM #alias #analysis #data flow #dependence

Interstatement must aliases for data dependence analysis of heap locations (JQ, BX, HM), pp. 17–24.

ICALP-2007-LeePP #alias #source code

Aliased Register Allocation for Straight-Line Programs Is NP-Complete (JKL, JP, FMQP), pp. 680–691.

OOPSLA-2007-BierhoffA #alias #composition #type system

Modular typestate checking of aliased objects (KB, JA), pp. 301–320.

OOPSLA-2007-MaF #alias #encapsulation #java

Inferring aliasing and encapsulation properties for java (KKM, JSF), pp. 423–440.

POPL-2007-NaikA #alias #concurrent #detection

Conditional must not aliasing for static race detection (MN, AA), pp. 327–338.

FASE-2006-RamanathanJG #alias #memory management

Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.

FSE-2006-HackettA #alias #how #question

How is aliasing used in systems software? (BH, AA), pp. 69–80.

ISSTA-2006-FinkYDRG #alias #effectiveness #type system #verification

Effective typestate verification in the presence of aliasing (SJF, EY, ND, GR, EG), pp. 133–144.

ICFP-2005-BergerHY #alias #analysis #higher-order #imperative #logic

A logical analysis of aliasing in imperative higher-order functions (MB, KH, NY), pp. 280–293.

SAS-2004-BozgaIL #alias #logic #on the

On Logics of Aliasing (MB, RI, YL), pp. 344–360.

ECOOP-2004-AldrichC #alias #policy

Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.

SAC-PL-J-2004-Jorgensen #alias #component #independence #integration #multi

Integration of Independently Developed Components through Aliased Multi-Object Type Widening (BNJ), pp. 55–76.

PLDI-2003-AikenFKT #alias

Checking and inferring local non-aliasing (AA, JSF, JK, TT), pp. 129–140.

ASIA-PEPM-2002-Heintze #alias #analysis #c

Aliasing analysis for a million lines of C (NH), pp. 47–49.

LOPSTR-2002-AmatoS #alias #framework #towards

A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties (GA, FS), pp. 52–70.

PLDI-2001-HeintzeT01a #alias #analysis #c #using

Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second (NH, OT), pp. 254–263.

SVIS-2001-Noble #abstraction #alias #encapsulation #visualisation

Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership (JN), pp. 58–72.

AdaEurope-2001-GellerichP #ada #alias

Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.

PPDP-2000-CalcagnoIO #alias #analysis #hoare #logic #pointer #semantics

Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic351292 (CC, SSI, PWO), pp. 190–201.

HPCA-2000-PatilE #alias #branch #predict

Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing (HP, JSE), pp. 251–262.

AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation

Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.

ICSE-1999-YurRL #alias #analysis #incremental #pointer

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis (JSY, BGR, WL), pp. 442–451.

ESOP-1998-RossS #alias #dependence #pointer

Building a Bridge between Pointer Aliases and Program Dependences (JLR, SS), pp. 221–235.

PASTE-1998-ZhangRL #alias #analysis #pointer

Experiments with Combined Analysis for Pointer Aliasing (SZ, BGR, WL), pp. 11–18.

SAS-1998-Volpe #alias #first-order #logic programming #source code

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs (PV), pp. 184–199.

AdaEurope-1997-GellerichP #alias #problem

: Parameter-Induced Aliasing and Related Problems can be Avoided (WG, EP), pp. 161–172.

FSE-1996-ZhangRL #alias #analysis #composition #pointer #towards

Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses (SZ, BGR, WL), pp. 81–92.

CC-1996-ChowCLLS #alias #effectiveness #memory management #representation

Effective Representation of Aliases and Indirect Memory Operations in SSA Form (FCC, SC, SML, RL, MS), pp. 253–267.

CHI-1995-NicholsR #alias #automation #generative #motivation

A Theoretically Motivated Tool for Automatically Generating Command Aliases (SN, FER), pp. 393–400.

ALP-1994-Marchiori94a #alias #logic programming #source code

A Logic for Variable Aliasing in Logic Programs (EM), pp. 287–304.

PLDI-1993-LandiRZ #alias #analysis #interprocedural #pointer

Interprocedural Side Effect Analysis With Pointer Aliasing (WL, BGR, SZ), pp. 56–67.

POPL-1993-ChoiBC #alias #interprocedural #performance #pointer

Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.

PLDI-1992-LandiR #algorithm #alias #approximate #interprocedural #pointer

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing (WL, BGR), pp. 235–248.

Best-of-PLDI-1992-LandiR92a #algorithm #alias #approximate #interprocedural #pointer

A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) (WL, BGR), pp. 473–489.

OOPSLA-1991-Hogg #alias #named #object-oriented

Islands: Aliasing Protection in Object-Oriented Languages (JH), pp. 271–285.

POPL-1991-LandiR #alias #classification #pointer #problem

Pointer-Induced Aliasing: A Problem Classification (WL, BGR), pp. 93–103.

ICLP-1991-CodishDY #algorithm #alias #analysis #safety #unification

Derivation and Safety of an Abstract Unification Algorithm for Groundness and Aliasing Analysis (MC, DD, EY), pp. 79–93.

PLILP-1990-Bourdoncle #abstract interpretation #alias #interprocedural

Interprocedural Abstract Interpretation of Block Structured Languages with Nested Procedures, Aliasing and Recursivity (FB), pp. 307–323.

POPL-1990-Deutsch #alias #functional #higher-order #on the #specification

On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications (AD), pp. 157–168.

NACLP-1989-JacobsL #alias #approximate #logic programming #performance #source code

Accurate and Efficient Approximation of Variable Aliasing in Logic Programs (DJ, AL), pp. 154–165.

POPL-1987-NeirynckPD #alias #set

Computation of Aliases and Support Sets (AN, PP, AJD), pp. 274–283.

POPL-1985-Cooper #alias #parametricity

Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.

POPL-1985-LamportS #alias #approach #constraints #named #type system

Constraints: A Uniform Approach to Aliasing and Typing (LL, FBS), pp. 205–216.

POPL-1979-Banning #alias #performance

An Efficient Way to Find Side Effects of Procedure Calls and Aliases of Variables (JB), pp. 29–41.